Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Zeroth-order_logic> ?p ?o }
Showing triples 1 to 34 of
34
with 100 triples per page.
- Zeroth-order_logic abstract "Zeroth-order logic is first-order logic without variables or quantifiers. Some authors use the phrase "zeroth-order logic" as a synonym for the propositional calculus, but an alternative definition extends propositional logic by adding constants, operations, and relations on non-Boolean values. Every zeroth-order theory in this broader sense is complete and compact.".
- Zeroth-order_logic wikiPageID "14677737".
- Zeroth-order_logic wikiPageLength "1464".
- Zeroth-order_logic wikiPageOutDegree "8".
- Zeroth-order_logic wikiPageRevisionID "659592687".
- Zeroth-order_logic wikiPageWikiLink Category:Propositional_calculus.
- Zeroth-order_logic wikiPageWikiLink Category:Systems_of_formal_logic.
- Zeroth-order_logic wikiPageWikiLink Compactness_theorem.
- Zeroth-order_logic wikiPageWikiLink Completeness_(logic).
- Zeroth-order_logic wikiPageWikiLink First-order_logic.
- Zeroth-order_logic wikiPageWikiLink Propositional_calculus.
- Zeroth-order_logic wikiPageWikiLink Quantifier_(logic).
- Zeroth-order_logic wikiPageWikiLink Variable_(mathematics).
- Zeroth-order_logic wikiPageWikiLinkText "Zeroth-order logic".
- Zeroth-order_logic wikiPageWikiLinkText "zeroth-order logic".
- Zeroth-order_logic wikiPageWikiLinkText "zeroth-order".
- Zeroth-order_logic hasPhotoCollection Zeroth-order_logic.
- Zeroth-order_logic wikiPageUsesTemplate Template:Logic.
- Zeroth-order_logic wikiPageUsesTemplate Template:Portal.
- Zeroth-order_logic wikiPageUsesTemplate Template:Reflist.
- Zeroth-order_logic subject Category:Propositional_calculus.
- Zeroth-order_logic subject Category:Systems_of_formal_logic.
- Zeroth-order_logic hypernym Logic.
- Zeroth-order_logic type Article.
- Zeroth-order_logic type Article.
- Zeroth-order_logic comment "Zeroth-order logic is first-order logic without variables or quantifiers. Some authors use the phrase "zeroth-order logic" as a synonym for the propositional calculus, but an alternative definition extends propositional logic by adding constants, operations, and relations on non-Boolean values. Every zeroth-order theory in this broader sense is complete and compact.".
- Zeroth-order_logic label "Zeroth-order logic".
- Zeroth-order_logic sameAs Klasyczny_rachunek_zdań.
- Zeroth-order_logic sameAs m.09x6yj.
- Zeroth-order_logic sameAs Q8069651.
- Zeroth-order_logic sameAs Q8069651.
- Zeroth-order_logic sameAs 零阶逻辑.
- Zeroth-order_logic wasDerivedFrom Zeroth-order_logic?oldid=659592687.
- Zeroth-order_logic isPrimaryTopicOf Zeroth-order_logic.