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
- 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: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)
- Correção e completude para a Lógica de Primeira Ordem Clássica + (05:14:45, 16 October 2020)
- Dedução Natural + (05:14:45, 16 October 2020)
- Dedução Natural para a Lógica de Primeira Ordem Clássica + (05:14:45, 16 October 2020)
- Dedução Natural para a Lógica de Primeira Ordem Intuicionista + (05:14:45, 16 October 2020)
- Definição recursiva da linguagem proposicional + (05:14:45, 16 October 2020)
- Formalismos dedutivos + (05:14:45, 16 October 2020)
- Modelos (lógica) + (05:14:45, 16 October 2020)
- Quantificadores + (05:14:45, 16 October 2020)
- Relação de consequência + (05:14:45, 16 October 2020)
- Semântica formal para a lógica de primeira ordem + (05:14:45, 16 October 2020)
- Semântica formal para a lógica proposicional + (05:14:45, 16 October 2020)
- Sintaxe da lógica proposicional + (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)