Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Herbrands_theorem> ?p ?o }
Showing triples 1 to 60 of
60
with 100 triples per page.
- Herbrands_theorem wikiPageExternalLink herbrandtheorem.
- Herbrands_theorem wikiPageID "2518328".
- Herbrands_theorem wikiPageLength "5120".
- Herbrands_theorem wikiPageOutDegree "25".
- Herbrands_theorem wikiPageRevisionID "542408662".
- Herbrands_theorem wikiPageWikiLink Category:Metatheorems.
- Herbrands_theorem wikiPageWikiLink Category:Proof_theory.
- Herbrands_theorem wikiPageWikiLink Category:Theorems_in_the_foundations_of_mathematics.
- Herbrands_theorem wikiPageWikiLink Compactness_theorem.
- Herbrands_theorem wikiPageWikiLink Cut-elimination.
- Herbrands_theorem wikiPageWikiLink Cut-elimination_theorem.
- Herbrands_theorem wikiPageWikiLink Expansion-tree_proof.
- Herbrands_theorem wikiPageWikiLink Expansion-tree_proofs.
- Herbrands_theorem wikiPageWikiLink First-order_logic.
- Herbrands_theorem wikiPageWikiLink Gentzen.
- Herbrands_theorem wikiPageWikiLink Gerhard_Gentzen.
- Herbrands_theorem wikiPageWikiLink Herbrand_interpretation.
- Herbrands_theorem wikiPageWikiLink Herbrand_structure.
- Herbrands_theorem wikiPageWikiLink Herbrand_universe.
- Herbrands_theorem wikiPageWikiLink Herbrandization.
- Herbrands_theorem wikiPageWikiLink Higher-order_logic.
- Herbrands_theorem wikiPageWikiLink Higher-order_logics.
- Herbrands_theorem wikiPageWikiLink Jacques_Herbrand.
- Herbrands_theorem wikiPageWikiLink Mathematical_logic.
- Herbrands_theorem wikiPageWikiLink Prenex_form.
- Herbrands_theorem wikiPageWikiLink Prenex_normal_form.
- Herbrands_theorem wikiPageWikiLink Propositional_calculus.
- Herbrands_theorem wikiPageWikiLink Propositional_logic.
- Herbrands_theorem wikiPageWikiLink Sequent_calculus.
- Herbrands_theorem wikiPageWikiLink Springer-Verlag.
- Herbrands_theorem wikiPageWikiLink Springer_Science+Business_Media.
- Herbrands_theorem wikiPageWikiLink Substitution_(logic).
- Herbrands_theorem wikiPageWikiLink Substitution_instance.
- Herbrands_theorem wikiPageWikiLink Tautology_(logic).
- Herbrands_theorem wikiPageWikiLink Term_algebra.
- Herbrands_theorem wikiPageWikiLinkText "Herbrand's theorem".
- Herbrands_theorem hasPhotoCollection Herbrands_theorem.
- Herbrands_theorem wikiPageUsesTemplate Template:Citation.
- Herbrands_theorem wikiPageUsesTemplate Template:Distinguish.
- Herbrands_theorem wikiPageUsesTemplate Template:Reflist.
- Herbrands_theorem subject Category:Metatheorems.
- Herbrands_theorem subject Category:Proof_theory.
- Herbrands_theorem subject Category:Theorems_in_the_foundations_of_mathematics.
- Herbrands_theorem type Thing.
- Herbrands_theorem label "Herbrand's theorem".
- Herbrands_theorem differentFrom Herbrand–Ribet_theorem.
- Herbrands_theorem differentFrom Ramification_group.
- Herbrands_theorem sameAs Satz_von_Herbrand.
- Herbrands_theorem sameAs Théorème_de_Herbrand.
- Herbrands_theorem sameAs エルブランの定理.
- Herbrands_theorem sameAs Twierdzenie_Herbranda.
- Herbrands_theorem sameAs Teorema_de_Herbrand.
- Herbrands_theorem sameAs m.07kf4p.
- Herbrands_theorem sameAs Теорема_Эрбрана_о_дедукции.
- Herbrands_theorem sameAs Теорема_Ербрана.
- Herbrands_theorem sameAs Q1930577.
- Herbrands_theorem sameAs Q1930577.
- Herbrands_theorem sameAs 埃尔布朗定理.
- Herbrands_theorem wasDerivedFrom Herbrands_theoremoldid=542408662.
- Herbrands_theorem isPrimaryTopicOf Herbrands_theorem.