Search by property
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: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)
- Sintaxe (lógica) + (16:02:03, 6 October 2020)
- Lógica proposicional + (16:14:06, 6 October 2020)
- Poder expressivo dos operadores clássicos + (16:19:31, 6 October 2020)
- Dedução Natural para a Lógica Proposicional Clássica + (16:22:17, 6 October 2020)
- Correção e completude para a Lógica Proposicional Clássica + (16:22:51, 6 October 2020)
- Assinatura de primeira ordem + (16:25:07, 6 October 2020)
- Termos de primeira ordem + (16:25:25, 6 October 2020)
- Fórmulas de primeira ordem + (16:26:31, 6 October 2020)
- Estratégias de demonstração + (16:45:13, 6 October 2020)
- Exercícios de semântica formal para a Lógica Proposicional Clássica + (16:47:45, 6 October 2020)
- Acarretamento + (20:10:53, 7 October 2020)
- Lógica de primeira ordem + (20:10:53, 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)
- Main Page + (14:03:33, 23 July 2021)
- Introdução Computacional à Lógica Matemática + (14:05:51, 23 July 2021)
- Exercícios de Dedução Natural + (14:07:54, 23 July 2021)