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:Imagem24.png  + (16:41:39, 29 May 2016)
• File:Imagem25.png  + (16:41:39, 29 May 2016)
• File:Imagem26.png  + (16:41:39, 29 May 2016)
• File:Imagem27.png  + (16:41:39, 29 May 2016)
• File:Imagem28.png  + (16:41:40, 29 May 2016)
• File:Imagem29.png  + (16:41:40, 29 May 2016)
• 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)

• Property:Foaf:homepage  + (00:39:30, 23 August 2020)
• Property:Foaf:knows  + (00:39:30, 23 August 2020)
• Property:Foaf:name  + (00:39:30, 23 August 2020)
• Fundamentos Matemáticos da Computação 1  + (00:39:30, 23 August 2020)
• smw/schema:Group:Schema properties  + (00:39:30, 23 August 2020)
• Property:Owl:differentFrom  + (00:39:30, 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)
• 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)