{"entities":{"Q6480756":{"pageid":13976884,"ns":120,"title":"Item:Q6480756","lastrevid":40260525,"modified":"2025-02-17T22:03:26Z","type":"item","id":"Q6480756","labels":{"en":{"language":"en","value":"Church\u2013Rosser theorem"},"de":{"language":"de","value":"Satz von Church-Rosser"}},"descriptions":{"en":{"language":"en","value":"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"},"de":{"language":"de","value":"mathematischer Satz"}},"aliases":{},"claims":{"P558":[{"mainsnak":{"snaktype":"value","property":"P558","hash":"6924e6e01bc0e1b1017d2796d7f6a34105522bad","datavalue":{"value":{"entity-type":"item","numeric-id":6480754,"id":"Q6480754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6480756$B70D9ECA-0974-4315-9F1C-D51683D5AAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P558","hash":"bb1a405a9085d9ff19e7b5a1e0da58ffac2ce57c","datavalue":{"value":{"entity-type":"item","numeric-id":6480755,"id":"Q6480755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6480756$46A5A6BE-24E4-4697-96B1-E4FECDD85A4B","rank":"normal"}],"P239":[{"mainsnak":{"snaktype":"value","property":"P239","hash":"fae06763053b6d4060fb9283442038a01497f87f","datavalue":{"value":"/m/0139k0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480756$CF524C19-C8A4-494D-BF39-1717D2DED14B","rank":"normal","references":[{"hash":"6499e90742e6a3b2d9cb91c8c38ff13ffd6eb773","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"765c249748dbeb69c8c4d98de780dc063f8e09cf","datavalue":{"value":{"entity-type":"item","numeric-id":56521,"id":"Q56521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P28":[{"snaktype":"value","property":"P28","hash":"ad31989710dc3c2a167cc95050bb6ea34e0bbe88","datavalue":{"value":{"time":"+2013-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P28"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"c8566a493116758818d5a26d859f86220f609b7b","datavalue":{"value":{"entity-type":"item","numeric-id":6480412,"id":"Q6480412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6480756$F0D67FB0-0706-49F0-B3B6-E8519848DB18","rank":"normal"}],"P1192":[{"mainsnak":{"snaktype":"value","property":"P1192","hash":"db618b6273b209579d0d709e409aff817a6894b3","datavalue":{"value":"Church-RosserTheorem","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480756$BE6588BE-9B7A-49F1-BEA8-8B80C99EDC5F","rank":"normal","references":[{"hash":"b220f1876c35600f17e1a6d5bcd069ae36ffd924","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"04856f0c87924b14080ec6b44129f8a4723a65b1","datavalue":{"value":{"entity-type":"item","numeric-id":56602,"id":"Q56602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]},{"mainsnak":{"snaktype":"value","property":"P1192","hash":"db618b6273b209579d0d709e409aff817a6894b3","datavalue":{"value":"Church-RosserTheorem","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"2c368b1eae7e35c7bd575be62dd0cc659b3f616e","datavalue":{"value":"Church-Rosser Theorem","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6480756$B9FE63FF-DA89-4C99-9BB0-AD06110553EE","rank":"normal","references":[{"hash":"b220f1876c35600f17e1a6d5bcd069ae36ffd924","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"04856f0c87924b14080ec6b44129f8a4723a65b1","datavalue":{"value":{"entity-type":"item","numeric-id":56602,"id":"Q56602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]}],"P373":[{"mainsnak":{"snaktype":"value","property":"P373","hash":"5090df281371099d7dea4dcc88a85ca6b15cb76f","datavalue":{"value":"34222182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480756$7A7F8E1E-0D5F-4F2C-AEAB-44F11AC35277","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"ceb72e8792937a8b01ebf71f4977ee16c1bd3b2a","datavalue":{"value":{"entity-type":"item","numeric-id":6480413,"id":"Q6480413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P34":[{"snaktype":"value","property":"P34","hash":"897e7608d12ed086dd74eb339efced091b10fb25","datavalue":{"value":{"entity-type":"item","numeric-id":56366,"id":"Q56366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P34"],"id":"Q6480756$3CE11D90-4C89-4C40-8734-A3140DDDB152","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c0fb466172fe880a2bfb3ed45795208edfde699b","datavalue":{"value":"Q1308502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480756$4D0ED971-E658-4B4A-A32B-EE7137FF9C4E","rank":"normal"}]},"sitelinks":{}}}}