{"entities":{"Q2016071":{"pageid":2026813,"ns":120,"title":"Item:Q2016071","lastrevid":73977618,"modified":"2026-04-14T17:55:46Z","type":"item","id":"Q2016071","labels":{"en":{"language":"en","value":"A simplified proof of the Church-Rosser theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6305279"}},"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":"Q2016071$548FB68E-A13A-4B6C-B1CE-90DCAD90DFD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23612e854dfbd580b69121b26bca1d01062130cf","datavalue":{"value":{"text":"A simplified proof of the Church-Rosser theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2016071$BC834C63-D931-450C-B0DB-0C8AE910F0E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"293a5f6ed3056cf8dd9fa1829bcff81552a97832","datavalue":{"value":"1338.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016071$1DE5CA3F-7420-40D1-BB71-DE7E044336B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"284b349575b4cf80ae5ff7dbd50dcd981e4aa70a","datavalue":{"value":{"entity-type":"item","numeric-id":1089329,"id":"Q1089329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016071$CFD588A2-DEAF-42ED-8277-F643E4D674B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0a93f19c4cc0c20d021d0666ee26e24957f36a0","datavalue":{"value":{"entity-type":"item","numeric-id":897479,"id":"Q897479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016071$B40E5220-AC1E-4D92-AE6E-59ED53F0BB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a3b777703d9100a7add0ae01c37499435f0a699","datavalue":{"value":{"entity-type":"item","numeric-id":2016070,"id":"Q2016070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016071$5666A7C5-2D50-46A9-B699-6A0BD2AE68C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016071$94116B62-888D-448C-88F2-BDAF0ABC6936","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"837e229c4712445d21ddb3419ca34ef7a9a006d4","datavalue":{"value":{"time":"+2014-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2016071$26041636-D0B5-4692-9BCC-543309AEF788","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016071$E03DD215-A3B9-413B-BA91-D98EEF80A015","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46720200cc98d780df7444e99ccef4553ec4d497","datavalue":{"value":"6305279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016071$39D7FBA4-1ACB-4FFB-86EF-A0557DB6777F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016071$1960F9D0-A7DF-4E3F-8CEA-A5247D8C5950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd59d671c70179e50aa218d3fbd15ae36808d8dd","datavalue":{"value":"Church-Rosser theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016071$26115158-043A-48CD-98F2-832F09383455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00f5b9b8eadc77aaea1cbcc8037d515537ce8302","datavalue":{"value":"confluence theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016071$E844BCA3-03C9-4F2C-A141-A3EF118507D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c17f116b4bf156ca0273689fa9cb22ef1958b00b","datavalue":{"value":"parallel reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016071$07165628-4669-4E46-A5F0-21B19723214D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42215834732e91b5e428b4d4beb0fcb81fee3d0a","datavalue":{"value":"Takahashi translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2016071$C8A06A41-8CEA-4B1F-A3E4-859D2563439D","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":"Q2016071$4F1FC92A-D7EC-4EB2-B721-8E786563D076","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9aec755c025dcd05658aa42081c16eef763d162","datavalue":{"value":"https://doi.org/10.1007/s11225-013-9470-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2016071$11D0F477-C689-4B32-A7D5-EBFD1277B372","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08890be36534183cbe65637b5133d396df3ac0fe","datavalue":{"value":"W2054680866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016071$7902BEE4-A3C0-4CFA-AC0F-A6B52603A714","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016071$068810BC-C55D-464A-A974-835C91726DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9b6c837d9448bc2b136325c331db8629ab4909","datavalue":{"value":{"entity-type":"item","numeric-id":3522248,"id":"Q3522248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016071$BB3E3DA1-5AD6-4045-930E-9B7F1C37DC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016071$45265318-85CC-4A31-A1DC-EF982BE80EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5e8926cf4c76489d22094514896f7168cc77887","datavalue":{"value":{"entity-type":"item","numeric-id":5903814,"id":"Q5903814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2016071$6AC2534A-A499-4CBF-97A8-87188FA1E520","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a0ed24d1eb2f80f15d5cd03013585ab2003a7dd","datavalue":{"value":"10.1007/S11225-013-9470-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2016071$0E803941-EE3F-48E2-B453-6342A92D0F0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc20c0392397f580a2d4ce740056210eca74cccf","datavalue":{"value":{"entity-type":"item","numeric-id":3000279,"id":"Q3000279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d16ad120b746fe63bc311c6a273eb9e16b01be1","datavalue":{"value":{"amount":"+0.836924135684967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2016071$EF18B301-E325-4C59-80C5-4A5C9145059D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"005232520771134680058c7ddbb399f79fb1a12f","datavalue":{"value":{"entity-type":"item","numeric-id":4647561,"id":"Q4647561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec1a6e0eed2310233bd8a7c4a06ff1a547d4b498","datavalue":{"value":{"amount":"+0.7888521552085876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2016071$8D469F35-7BD2-4DA3-9502-2E2458452EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c088ac95ac906727b69fc2484e544561c6a0758c","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c0cf6a87fe30ae8bd052505b868c6d5d23f02d","datavalue":{"value":{"amount":"+0.7880427241325378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2016071$BB993F52-19FE-4079-81E1-89CA362D7C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f29af4044ceb1ddebebc183cb78a28de1c32e5","datavalue":{"value":{"entity-type":"item","numeric-id":3478392,"id":"Q3478392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61151e6b6a03917f686fc0c304d2722168c7365b","datavalue":{"value":{"amount":"+0.7868711352348328","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2016071$6442847E-EB5B-4C22-88BE-E4108AAF4414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81bce5a2e732ce4597f77ee4cd8a8ee5be58f7a","datavalue":{"value":{"entity-type":"item","numeric-id":1595924,"id":"Q1595924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f478b8c31c4f11a5ce5808f3b0b8960610e577ce","datavalue":{"value":{"amount":"+0.783189058303833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2016071$1B27FBF3-18B8-4911-82F3-FFC46F719D79","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simplified proof of the Church-Rosser theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simplified_proof_of_the_Church-Rosser_theorem"}}}}}