About: Proof theory

An Entity of Type: academic subject, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Branch of mathematical logic

Property Value
dbo:description
  • Deelgebitt vun der Mathematescher Logik (lb)
  • Teilgebiet der mathematischen Logik (de)
  • branche de la logique mathématique (fr)
  • dział logiki matematycznej (pl)
  • သင်္ချာယုတ္တိဗေဒ၏ ဘာသာခွဲတစ်ခု (my)
  • branch of mathematical logic (en)
  • fako de matematika logiko (eo)
  • matemaatilise loogika valdkond (et)
  • rama de la lógica matemática (es)
  • ramură a logicii matematice (ro)
  • ענף בלוגיקה מתמטית (iw)
  • раздел математической логики (ru)
  • গাণিতিক যুক্তির শাখা (bn)
  • 数理論理学の一分野であり、証明を数学的対象として形式的に表して数学的解析を施す分野 (ja)
dbo:wikiPageExternalLink
dbo:wikiPageWikiLink
dbp:b
  • 1 (xsd:integer)
  • 2 (xsd:integer)
dbp:id
  • p/p075430 (en)
dbp:p
  • 1 (xsd:integer)
  • 2 (xsd:integer)
dbp:title
  • Proof theory (en)
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdf:type
rdfs:label
  • Proof theory (en)
  • نظرية البرهان (ar)
  • Teoria de la demostració (ca)
  • Teoría de la demostración (es)
  • Pruvteorio (eo)
  • Beweistheorie (de)
  • Théorie de la démonstration (fr)
  • Teoria della dimostrazione (it)
  • 証明論 (ja)
  • 증명 이론 (ko)
  • Teoria dowodu (pl)
  • Bewijstheorie (nl)
  • Teoria da prova (pt)
  • Bevisteori (sv)
  • Теорія доведення (uk)
  • Теория доказательств (ru)
  • 证明论 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:academicDiscipline of
is dbo:knownFor of
is dbo:mainInterest of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:field of
is dbp:knownFor of
is dbp:mainInterests of
is rdfs:seeAlso of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International