Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Two-variable_logic> ?p ?o }
Showing triples 1 to 36 of
36
with 100 triples per page.
- Two-variable_logic abstract "In mathematical logic and computer science, two-variable logic is the fragment of first-order logic where formulae can be written using only two different variables. This fragment is usually studied without function symbols.".
- Two-variable_logic wikiPageID "43571383".
- Two-variable_logic wikiPageLength "1670".
- Two-variable_logic wikiPageOutDegree "17".
- Two-variable_logic wikiPageRevisionID "662183365".
- Two-variable_logic wikiPageWikiLink Category:Model_theory.
- Two-variable_logic wikiPageWikiLink Category:Systems_of_formal_logic.
- Two-variable_logic wikiPageWikiLink Computational_complexity_theory.
- Two-variable_logic wikiPageWikiLink Computer_science.
- Two-variable_logic wikiPageWikiLink Counting_quantification.
- Two-variable_logic wikiPageWikiLink Decidability_(logic).
- Two-variable_logic wikiPageWikiLink Description_logic.
- Two-variable_logic wikiPageWikiLink First-order_logic.
- Two-variable_logic wikiPageWikiLink Fragment_(logic).
- Two-variable_logic wikiPageWikiLink Functional_predicate.
- Two-variable_logic wikiPageWikiLink Mathematical_logic.
- Two-variable_logic wikiPageWikiLink Satisfiability.
- Two-variable_logic wikiPageWikiLink Uniqueness_quantification.
- Two-variable_logic wikiPageWikiLink Variable_(mathematics).
- Two-variable_logic wikiPageWikiLink Well-formed_formula.
- Two-variable_logic wikiPageWikiLinkText "two-variable logic".
- Two-variable_logic wikiPageWikiLinkText "two-variable logic#Counting_quantifiers".
- Two-variable_logic wikiPageUsesTemplate Template:Comp-sci-stub.
- Two-variable_logic wikiPageUsesTemplate Template:Logic-stub.
- Two-variable_logic wikiPageUsesTemplate Template:Ref_improve.
- Two-variable_logic subject Category:Model_theory.
- Two-variable_logic subject Category:Systems_of_formal_logic.
- Two-variable_logic hypernym Fragment.
- Two-variable_logic type Place.
- Two-variable_logic comment "In mathematical logic and computer science, two-variable logic is the fragment of first-order logic where formulae can be written using only two different variables. This fragment is usually studied without function symbols.".
- Two-variable_logic label "Two-variable logic".
- Two-variable_logic sameAs Q18355323.
- Two-variable_logic sameAs m.011q93nn.
- Two-variable_logic sameAs Q18355323.
- Two-variable_logic wasDerivedFrom Two-variable_logic?oldid=662183365.
- Two-variable_logic isPrimaryTopicOf Two-variable_logic.