Matches in Wikidata for { <http://www.wikidata.org/entity/Q1308502> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- Q1308502 description "mathematischer Satz" @default.
- Q1308502 description "theorem that, when applying reduction rules to terms in some variants of the lambda calculus, the ordering in which the reductions are chosen does not make a difference to the eventual result" @default.
- Q1308502 name "Church-Rosserov teorem" @default.
- Q1308502 name "Church–Rosser læresætning" @default.
- Q1308502 name "Church–Rosser theorem" @default.
- Q1308502 name "Satz von Church-Rosser" @default.
- Q1308502 name "Teorema de Church-Rosser" @default.
- Q1308502 name "Twierdzenie Churcha-Rossera" @default.
- Q1308502 name "propriété de Church-Rosser" @default.
- Q1308502 name "teorema de Church-Rosser" @default.
- Q1308502 name "teoremo de Church-Rosser" @default.
- Q1308502 name "Định lý Church–Rosser" @default.
- Q1308502 name "Теорема Чёрча — Россера" @default.
- Q1308502 name "チャーチ・ロッサーの定理" @default.
- Q1308502 name "처치-로서 정리" @default.
- Q1308502 type Item @default.
- Q1308502 label "Church-Rosserov teorem" @default.
- Q1308502 label "Church–Rosser læresætning" @default.
- Q1308502 label "Church–Rosser theorem" @default.
- Q1308502 label "Satz von Church-Rosser" @default.
- Q1308502 label "Teorema de Church-Rosser" @default.
- Q1308502 label "Twierdzenie Churcha-Rossera" @default.
- Q1308502 label "propriété de Church-Rosser" @default.
- Q1308502 label "teorema de Church-Rosser" @default.
- Q1308502 label "teoremo de Church-Rosser" @default.
- Q1308502 label "Định lý Church–Rosser" @default.
- Q1308502 label "Теорема Чёрча — Россера" @default.
- Q1308502 label "チャーチ・ロッサーの定理" @default.
- Q1308502 label "처치-로서 정리" @default.
- Q1308502 prefLabel "Church-Rosserov teorem" @default.
- Q1308502 prefLabel "Church–Rosser læresætning" @default.
- Q1308502 prefLabel "Church–Rosser theorem" @default.
- Q1308502 prefLabel "Satz von Church-Rosser" @default.
- Q1308502 prefLabel "Teorema de Church-Rosser" @default.
- Q1308502 prefLabel "Twierdzenie Churcha-Rossera" @default.
- Q1308502 prefLabel "propriété de Church-Rosser" @default.
- Q1308502 prefLabel "teorema de Church-Rosser" @default.
- Q1308502 prefLabel "teoremo de Church-Rosser" @default.
- Q1308502 prefLabel "Định lý Church–Rosser" @default.
- Q1308502 prefLabel "Теорема Чёрча — Россера" @default.
- Q1308502 prefLabel "チャーチ・ロッサーの定理" @default.
- Q1308502 prefLabel "처치-로서 정리" @default.
- Q1308502 P138 q1308502-555713ea-4dc7-58ec-b59d-c0547eb97beb @default.
- Q1308502 P138 q1308502-d4746374-4119-4314-5437-bd1b2db76974 @default.
- Q1308502 P2812 Q1308502-A675A100-71EA-44EB-92F2-3D8D67FAB174 @default.
- Q1308502 P31 Q1308502-ED99F5A6-C10D-44F2-ADDE-E773C55CA291 @default.
- Q1308502 P6104 Q1308502-28910495-391A-4220-81D9-D02D0B5050EC @default.
- Q1308502 P6366 Q1308502-F7170172-D187-4A7D-9682-132A9896D5E3 @default.
- Q1308502 P646 Q1308502-C92FA6A4-5879-4C6D-BD10-F8D99B0C817F @default.
- Q1308502 P6366 34222182 @default.
- Q1308502 P138 Q332905 @default.
- Q1308502 P138 Q92741 @default.
- Q1308502 P2812 "Church-RosserTheorem" @default.
- Q1308502 P31 Q65943 @default.
- Q1308502 P6104 Q8487137 @default.
- Q1308502 P6366 "34222182" @default.
- Q1308502 P646 "/m/0139k0" @default.