Search by property
Jump to navigation
Jump to search
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- File:Image33.png + (17:34:52, 29 May 2016)
- File:Capeta.png + (17:35:48, 29 May 2016)
- File:Captura de tela de 2016-05-29 20-22-52.png + (00:32:14, 30 May 2016)
- File:Captura de tela de 2016-05-29 20-23-27.png + (00:32:46, 30 May 2016)
- File:Captura de tela de 2016-05-29 20-24-41.png + (00:33:11, 30 May 2016)
- File:Captura de tela de 2016-05-29 20-25-21.png + (00:33:32, 30 May 2016)
- File:Captura de tela de 2016-05-29 20-25-36.png + (00:33:53, 30 May 2016)
- Fundamentos Matemáticos da Computação 2 + (12:38:56, 30 May 2016)
- Árvores + (18:04:49, 1 June 2016)
- Relações + (12:08:38, 1 June 2016)
- Álgebra Booleana + (12:38:22, 3 June 2016)
- Indução e Recursão Matemática + (02:37:24, 18 June 2016)
- File:Q1.jpg + (01:40:22, 18 June 2016)
- File:Q2.jpg + (02:36:58, 18 June 2016)
- File:Lolita logo.png + (22:39:16, 18 August 2020)
- File:Lolita.gif + (22:46:19, 18 August 2020)
- File:Wiki.png + (23:10:08, 18 August 2020)
- File:Faltre.jpeg + (23:41:50, 18 August 2020)
- Criação de Curso + (03:25:02, 20 August 2020)
- File:Falsetrue.jpeg + (03:26:59, 20 August 2020)
- Editing tricks + (21:43:39, 21 August 2020)
- File:Negate-conditional-equivalent-with-truth-table.png + (18:19:13, 21 August 2020)
- smw/schema:Group:Schema properties + (00:39:30, 23 August 2020)
- Property:Foaf:knows + (00:39:31, 23 August 2020)
- Property:Foaf:name + (00:39:32, 23 August 2020)
- Property:Foaf:homepage + (00:39:32, 23 August 2020)
- Property:Owl:differentFrom + (00:39:33, 23 August 2020)
- Fundamentos Matemáticos da Computação 1 + (04:25:37, 23 August 2020)
- Graphs with Mermaid + (00:51:11, 24 August 2020)
- Fundamentos Matemáticos da Computação 3 + (16:42:54, 15 September 2020)
- Assinatura de primeira ordem + (16:26:31, 6 October 2020)
- Correção e completude para a Lógica Proposicional Clássica + (16:26:31, 6 October 2020)
- Dedução Natural para a Lógica Proposicional Clássica + (16:26:31, 6 October 2020)
- Estratégias de demonstração + (16:26:31, 6 October 2020)
- Exercícios de semântica formal para a Lógica Proposicional Clássica + (16:26:31, 6 October 2020)
- Fórmulas de primeira ordem + (16:26:31, 6 October 2020)
- Lógica proposicional + (16:26:31, 6 October 2020)
- Poder expressivo dos operadores clássicos + (16:26:31, 6 October 2020)
- Sintaxe (lógica) + (16:26:31, 6 October 2020)
- Termos de primeira ordem + (16:26:31, 6 October 2020)
- Acarretamento + (20:10:53, 7 October 2020)
- Lógica de primeira ordem + (20:59:35, 7 October 2020)
- Sintaxe da lógica de primeira ordem + (00:11:07, 9 October 2020)
- Correção e completude + (20:58:35, 12 October 2020)
- Modelos (lógica) + (23:19:42, 15 October 2020)
- Semântica formal para a lógica proposicional + (23:30:39, 15 October 2020)
- Semântica formal para a lógica de primeira ordem + (23:37:04, 15 October 2020)
- Relação de consequência + (23:38:52, 15 October 2020)
- Sintaxe da lógica proposicional + (23:41:29, 15 October 2020)
- Definição recursiva da linguagem proposicional + (23:43:25, 15 October 2020)
- Formalismos dedutivos + (23:49:58, 15 October 2020)
- Quantificadores + (23:56:50, 15 October 2020)
- Dedução Natural + (23:59:11, 15 October 2020)
- Dedução Natural para a Lógica de Primeira Ordem Intuicionista + (00:01:07, 16 October 2020)
- Dedução Natural para a Lógica de Primeira Ordem Clássica + (00:02:51, 16 October 2020)
- Correção e completude para a Lógica de Primeira Ordem Clássica + (05:14:45, 16 October 2020)
- Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica + (13:48:35, 17 October 2020)
- Semântica formal para a Lógica de Primeira Ordem Clássica + (18:45:52, 22 October 2020)
- Semântica formal para a Lógica Proposicional Clássica + (22:15:32, 28 October 2020)
- Dedução Natural para a Lógica Proposicional Intuicionista + (19:58:44, 1 March 2021)
