{"entities":{"Q3801105":{"pageid":5831011,"ns":120,"title":"Item:Q3801105","lastrevid":81136367,"modified":"2026-05-06T17:48:50Z","type":"item","id":"Q3801105","labels":{"en":{"language":"en","value":"A mechanical proof of the Church-Rosser theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4068333"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3801105$ACF3A9BA-A596-49F0-A4BD-9F526B1CBC7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e7ad0c3685d57167193707116bd5069711083f0","datavalue":{"value":{"text":"A mechanical proof of the Church-Rosser theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3801105$5D2D7710-E221-4C76-9E3C-D161E8A4DB87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2db31c6d44c5f979b0ec88ccc8ca7b38e07d3a7","datavalue":{"value":"0654.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801105$90F46358-96D8-4B76-8C0F-521D0FCE0C9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b157ed2a674b0f7751dccc9984c266c1f9880515","datavalue":{"value":"10.1145/44483.44484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801105$05103FAF-AABC-401A-A2D6-C8A02968AC58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3801105$87954898-0F92-46F6-B9CC-138A4BF48EB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3801105$ADC93111-ABD2-44EF-8778-2EE65A5A6B8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801105$DFE40603-5BBF-472A-9004-4C298BD01111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801105$751E4C0B-1B38-4A21-BC56-C4D664E2E815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801105$1BA24D4B-A3B4-4EFC-B53B-A0ACF222543B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a9c15b53ba9e134a46ad44efc9b8399a37e92f8","datavalue":{"value":"4068333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801105$2EB8E1FB-2A95-4370-87A5-9036718289DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67935c9745e86097c5a009e8bb47d5846729f37a","datavalue":{"value":"Boyer-Moore theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801105$F1F6376F-A2BF-4EF1-B935-0304711E0D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a614927b0caf638748bb51c0de92c1b49104311","datavalue":{"value":"proof checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801105$A956751B-BF30-4B3A-8E61-7EA14CD38652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd59d671c70179e50aa218d3fbd15ae36808d8dd","datavalue":{"value":"Church-Rosser theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801105$F835764A-0905-41FA-BFB5-DD74CCE89A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3801105$9D390718-17B0-4035-A21F-1B13AAEB3320","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3801105$A9306936-FDD9-4210-98BE-0E4726D46600","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2851948f6f2b27819e8e1a2f93763e7e08cb5e9d","datavalue":{"value":"https://doi.org/10.1145/44483.44484","type":"string"},"datatype":"url"},"type":"statement","id":"Q3801105$BF65941A-140F-4D46-ABA4-34E8D8661049","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cfac1399537bb6fc2edb13714b57282678eceed5","datavalue":{"value":"W2007471348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3801105$4A2483E1-C953-462F-991E-22FDA8A4FAEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39bb720b7c1477bdd9fa3da132be1b604f98822c","datavalue":{"value":{"entity-type":"item","numeric-id":2721238,"id":"Q2721238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"555335ba7ecc132d6b1fc1753d0df36289c26e89","datavalue":{"value":{"amount":"+0.81391174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3801105$2D4FC2CA-A0E1-41AB-9DBA-2BFDC9722309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf8124ff86b0561d7e3d91b38332044514d7d11e","datavalue":{"value":{"entity-type":"item","numeric-id":2819703,"id":"Q2819703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ee4b324e500eee7374f8f1c1d3a3174bf4440b","datavalue":{"value":{"amount":"+0.8065058","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3801105$C4FBBA42-657A-4223-9EFF-FA1B4E0E5A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2d156d27ba4ac79a032d9500aa1accdc2c7720","datavalue":{"value":{"entity-type":"item","numeric-id":4296962,"id":"Q4296962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be95c0090444d20b75ae3abecd3173df6a5e9599","datavalue":{"value":{"amount":"+0.80469066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3801105$C82D0866-3CC8-4497-B0C0-22122B2B528D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da20494199f6d38d8eb66f6d66f31ec651ac3b4","datavalue":{"value":{"entity-type":"item","numeric-id":5951524,"id":"Q5951524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0589fea03d4a7461596e39e27e325f770fa2cd4c","datavalue":{"value":{"amount":"+0.80401605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3801105$B903F90E-F07A-45BD-A9CA-88C4BE464E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc5eb68999c3412297b5ef52f0fb23f5595c190c","datavalue":{"value":{"entity-type":"item","numeric-id":3804236,"id":"Q3804236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8948a58a54dec69d86de17055b719f3cf3fa9c03","datavalue":{"value":{"amount":"+0.80365247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3801105$92CC8DFF-7585-4908-908A-A1171AFC270B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cda481b541398e1a99f4b5d3ef12a328b1ce13e","datavalue":{"value":{"entity-type":"item","numeric-id":6488518,"id":"Q6488518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1202ae02f50c46ab4977b7cee1b5ed13053e139c","datavalue":{"value":{"amount":"+0.8010597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3801105$D53F404F-59D9-4AAF-A088-F448FD55B742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b692fc79596a979bd00961137e3d3df5ae9a89e3","datavalue":{"value":{"entity-type":"item","numeric-id":1098335,"id":"Q1098335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9089ccee83aa3dcb5c7a245ace7386fb8b6498cb","datavalue":{"value":{"amount":"+0.8001079","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3801105$148B46CF-A43C-437D-B7BF-870EF5B10F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16053aace68649c794760ce4ef92c7682971b50d","datavalue":{"value":{"entity-type":"item","numeric-id":3978317,"id":"Q3978317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76428511eb2c1d0b6b32fd176304de0c7e015051","datavalue":{"value":{"amount":"+0.7991105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3801105$8ACB0694-4423-48AB-83FC-C550E2BD92A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e433c6a346e3ac77941faf692168d5189f57b2","datavalue":{"value":{"entity-type":"item","numeric-id":3335722,"id":"Q3335722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f3aab37e0574f9aa3f7d1eddd528a6077098f42","datavalue":{"value":{"amount":"+0.79690206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3801105$88FD591E-453E-4F48-8980-4FF5C880A579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"414b60ff6a16349d68ff5ed5e9ca8178c6f6629f","datavalue":{"value":{"entity-type":"item","numeric-id":3134859,"id":"Q3134859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"766402cde342e7cf01cf6e1826e98e4310e2a0b7","datavalue":{"value":{"amount":"+0.791612","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3801105$6A5B07E6-F226-4FE5-8FA2-23408ED13D3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A mechanical proof of the Church-Rosser theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_mechanical_proof_of_the_Church-Rosser_theorem"}}}}}