| dbo:description
|
- mathematischer Satz (de)
- theorem (en)
- théorème de logique (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:author
| |
| dbp:authorFirst
| |
| dbp:authorLast
| |
| dbp:id
|
- Sequent_calculus&oldid=11707 (en)
|
| dbp:title
|
- Cut Elimination Theorem (en)
- Sequent calculus (en)
|
| dbp:urlname
|
- CutEliminationTheorem (en)
|
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:label
|
- Cut-elimination theorem (en)
- Gentzenscher Hauptsatz (de)
- Teorema de corte-eliminación (es)
- Théorème d'élimination des coupures (fr)
- カット除去定理 (ja)
- Teorema di eliminazione del taglio (it)
- 자름-제거 정리 (ko)
- Teorema da eliminação do corte (pt)
- Устранимость сечений (ru)
- 切消定理 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:knownFor
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:knownFor
of | |
| is foaf:primaryTopic
of | |
