Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Büchi_arithmetic> ?p ?o }
Showing triples 1 to 34 of
34
with 100 triples per page.
- Büchi_arithmetic wikiPageID "36262566".
- Büchi_arithmetic wikiPageLength "3132".
- Büchi_arithmetic wikiPageOutDegree "15".
- Büchi_arithmetic wikiPageRevisionID "703775699".
- Büchi_arithmetic wikiPageWikiLink Addition.
- Büchi_arithmetic wikiPageWikiLink Automata_theory.
- Büchi_arithmetic wikiPageWikiLink Automatic_sequence.
- Büchi_arithmetic wikiPageWikiLink Category:Formal_theories_of_arithmetic.
- Büchi_arithmetic wikiPageWikiLink Category:Logic_in_computer_science.
- Büchi_arithmetic wikiPageWikiLink Category:Model_theory.
- Büchi_arithmetic wikiPageWikiLink Category:Proof_theory.
- Büchi_arithmetic wikiPageWikiLink Decidability_(logic).
- Büchi_arithmetic wikiPageWikiLink First-order_logic.
- Büchi_arithmetic wikiPageWikiLink Julius_Richard_Büchi.
- Büchi_arithmetic wikiPageWikiLink Natural_number.
- Büchi_arithmetic wikiPageWikiLink Peano_axioms.
- Büchi_arithmetic wikiPageWikiLink Presburger_arithmetic.
- Büchi_arithmetic wikiPageWikiLink Signature_(logic).
- Büchi_arithmetic wikiPageWikiLinkText "Büchi arithmetic".
- Büchi_arithmetic wikiPageUsesTemplate Template:Cite_journal.
- Büchi_arithmetic wikiPageUsesTemplate Template:Cite_web.
- Büchi_arithmetic wikiPageUsesTemplate Template:Reflist.
- Büchi_arithmetic subject Category:Formal_theories_of_arithmetic.
- Büchi_arithmetic subject Category:Logic_in_computer_science.
- Büchi_arithmetic subject Category:Model_theory.
- Büchi_arithmetic subject Category:Proof_theory.
- Büchi_arithmetic type Proof.
- Büchi_arithmetic type Theory.
- Büchi_arithmetic label "Büchi arithmetic".
- Büchi_arithmetic sameAs Q5005255.
- Büchi_arithmetic sameAs m.0k2cxlr.
- Büchi_arithmetic sameAs Q5005255.
- Büchi_arithmetic wasDerivedFrom Büchi_arithmetic?oldid=703775699.
- Büchi_arithmetic isPrimaryTopicOf Büchi_arithmetic.