Matches in Wikidata for { <http://www.wikidata.org/entity/Q376166> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- Q376166 description "mathematischer Satz" @default.
- Q376166 description "theorem" @default.
- Q376166 name "Cut-eliminatiestelling" @default.
- Q376166 name "Gentzenscher Hauptsatz" @default.
- Q376166 name "Teorema de corte-eliminación" @default.
- Q376166 name "Teorema di eliminazione del taglio" @default.
- Q376166 name "cut-elimination" @default.
- Q376166 name "teorema da eliminação do corte" @default.
- Q376166 name "teoremo de forigo de tranĉoj" @default.
- Q376166 name "théorème d'élimination des coupures" @default.
- Q376166 name "Теорема Генцена об устранении сечения" @default.
- Q376166 name "カット除去定理" @default.
- Q376166 name "切消定理" @default.
- Q376166 name "切消定理" @default.
- Q376166 name "切消定理" @default.
- Q376166 name "切消定理" @default.
- Q376166 name "切消定理" @default.
- Q376166 name "切消定理" @default.
- Q376166 name "切消定理" @default.
- Q376166 name "자름-제거 정리" @default.
- Q376166 type Item @default.
- Q376166 label "Cut-eliminatiestelling" @default.
- Q376166 label "Gentzenscher Hauptsatz" @default.
- Q376166 label "Teorema de corte-eliminación" @default.
- Q376166 label "Teorema di eliminazione del taglio" @default.
- Q376166 label "cut-elimination" @default.
- Q376166 label "teorema da eliminação do corte" @default.
- Q376166 label "teoremo de forigo de tranĉoj" @default.
- Q376166 label "théorème d'élimination des coupures" @default.
- Q376166 label "Теорема Генцена об устранении сечения" @default.
- Q376166 label "カット除去定理" @default.
- Q376166 label "切消定理" @default.
- Q376166 label "切消定理" @default.
- Q376166 label "切消定理" @default.
- Q376166 label "切消定理" @default.
- Q376166 label "切消定理" @default.
- Q376166 label "切消定理" @default.
- Q376166 label "切消定理" @default.
- Q376166 label "자름-제거 정리" @default.
- Q376166 altLabel "Cut-elimination theorem" @default.
- Q376166 altLabel "Cut-elimination" @default.
- Q376166 altLabel "Schnittsatz" @default.
- Q376166 altLabel "Teorema de corte-eliminacion" @default.
- Q376166 prefLabel "Cut-eliminatiestelling" @default.
- Q376166 prefLabel "Gentzenscher Hauptsatz" @default.
- Q376166 prefLabel "Teorema de corte-eliminación" @default.
- Q376166 prefLabel "Teorema di eliminazione del taglio" @default.
- Q376166 prefLabel "cut-elimination" @default.
- Q376166 prefLabel "teorema da eliminação do corte" @default.
- Q376166 prefLabel "teoremo de forigo de tranĉoj" @default.
- Q376166 prefLabel "théorème d'élimination des coupures" @default.
- Q376166 prefLabel "Теорема Генцена об устранении сечения" @default.
- Q376166 prefLabel "カット除去定理" @default.
- Q376166 prefLabel "切消定理" @default.
- Q376166 prefLabel "切消定理" @default.
- Q376166 prefLabel "切消定理" @default.
- Q376166 prefLabel "切消定理" @default.
- Q376166 prefLabel "切消定理" @default.
- Q376166 prefLabel "切消定理" @default.
- Q376166 prefLabel "切消定理" @default.
- Q376166 prefLabel "자름-제거 정리" @default.
- Q376166 P10283 Q376166-3DB9379D-B3AF-45EE-8339-DC336820E01D @default.
- Q376166 P2812 Q376166-3E14D553-5404-49FE-BC66-BCBDFC25251F @default.
- Q376166 P31 Q376166-CF013136-EE67-4026-A1B6-6DBEF99DF9B7 @default.
- Q376166 P6104 Q376166-8E59E7E9-5CEA-4023-ADC1-9A26BDE21CF1 @default.
- Q376166 P6366 Q376166-5D9D38FB-9901-413F-BE4D-662B12A24149 @default.
- Q376166 P646 Q376166-8997303D-27FD-4E21-B295-566E7185C508 @default.
- Q376166 P6366 111404639 @default.
- Q376166 P10283 "C111404639" @default.
- Q376166 P2812 "CutEliminationTheorem" @default.
- Q376166 P31 Q65943 @default.
- Q376166 P6104 Q8487137 @default.
- Q376166 P6366 "111404639" @default.
- Q376166 P646 "/m/03p1l3" @default.