{"entities":{"Q1080843":{"pageid":1091595,"ns":120,"title":"Item:Q1080843","lastrevid":66850494,"modified":"2026-04-12T13:16:44Z","type":"item","id":"Q1080843","labels":{"en":{"language":"en","value":"An extension of Klop's counterexample to the Church-Rosser property to \\(\\lambda\\)-calculus with other ordered pair combinators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3968559"}},"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":"Q1080843$1B795368-65A2-46E1-AE9F-C7F3356248D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f7d2dbedb28a231c3ab1653b8980a6f699e2158","datavalue":{"value":{"text":"An extension of Klop's counterexample to the Church-Rosser property to \\(\\lambda\\)-calculus with other ordered pair combinators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1080843$A232A640-C8D7-4168-8502-BEA4EF46F613","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d24f73bada5b1e96d78678d1a9dfcf1976d91b2","datavalue":{"value":"0601.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080843$B5C1E09E-E59D-4E38-8625-0A9B327B00F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce73b24ee192f71ea094d89dbc1a76f4d859436e","datavalue":{"value":"10.1016/0304-3975(85)90149-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080843$F7CAE086-6BED-4278-932D-EA56DD80DD02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080843$BD5BD524-5C8E-47AB-8028-27F4C0E738B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1080843$B77D5B37-5672-4192-9A4B-267D4595AE79","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f41ddb8966830beef1bb738cbdcdae1181f340c","datavalue":{"value":"The author presents an extension of Klop's counterexample to the Church- Rosser Property to lambda calculus with ordered pair combinators. The proof is very simple and it allows the counterexamples to work also for other formal systems with different forms of ordered pair combinators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080843$A3BBDE34-9C6B-4CB1-9874-ED344B4917DF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0952533bb8ddf126d68f7cc4b1c2c4ed19555944","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080843$7ACC1FC9-9640-441B-A301-A45F2D94800B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080843$D8C8BE5A-E8EE-4B22-9FA7-187406E8BEA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"896a7b43db6da586f0921ce1362e03a2202037a9","datavalue":{"value":"3968559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080843$BD4E69D3-6855-4807-9B0F-3B962DF3EC04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080843$227D8B55-F057-4F5D-BC56-4761CF52D0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"051c73235cac5745b3fb9565eca463c0630cc0c1","datavalue":{"value":"ordered pair combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080843$B86185CC-7DF2-4910-BDC2-479A8DC6CCAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d7a7742b54ec2d03c259f24892f02db2125d6a2","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080843$B211B905-9612-4CB6-832E-9E6EFB69E628","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":"Q1080843$6297E031-C615-42E9-8F5F-914A0F82034E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b402b2635948c127e944c61b9092b09e850a5950","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90149-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1080843$4D6FC314-3EFE-4C5A-BE01-DCC1B9F8EB60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2d3761f4b8f2b95b33212388c7979676368a29c","datavalue":{"value":"W1994695840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080843$23E9A2F7-0688-4A79-9F1E-C667F31C0368","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6efb6927d78370e148883c59e4f7314d6c12bb2a","datavalue":{"value":"Q124829606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080843$76BFBD1C-1728-48AD-8F6D-391FC0435B00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60d026dc1078f48ca30763402632c21939645d6","datavalue":{"value":{"entity-type":"item","numeric-id":5680100,"id":"Q5680100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080843$15E46DED-485F-4E47-8380-3D547245D79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080843$EC602943-C009-409F-8212-FF4AE97F8196","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab97ec4d3ff596e396cd7f9ca646223a1e3b887d","datavalue":{"value":{"entity-type":"item","numeric-id":4764268,"id":"Q4764268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4362f3c6ff95d1c673e68ad15df89a1719465ba1","datavalue":{"value":{"amount":"+0.8108781576156616","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":"Q1080843$66408146-AC7A-468C-BB11-D1603AD80D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"544383bc481d9622f34863057a064ed0a98ebba6","datavalue":{"value":{"entity-type":"item","numeric-id":3201045,"id":"Q3201045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda7063a3584dd543872e5dd0312a9b52529814c","datavalue":{"value":{"amount":"+0.8070283532142639","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":"Q1080843$5C00F668-D9D8-49BB-811A-94C7B2853272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f6daf9b12b0069434512e194445697b0ffad16","datavalue":{"value":{"entity-type":"item","numeric-id":1185009,"id":"Q1185009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fccacca9da1fbfd22da7c8f6418f0bed85d864e1","datavalue":{"value":{"amount":"+0.806316077709198","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":"Q1080843$71245BBE-B223-4326-9F12-7CB8E25943DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0c1fb9e9faf442b00d73c7d597ffd692849bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1765154,"id":"Q1765154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a743baceb3a1cf6e99fdd41f37a40f3840ffe835","datavalue":{"value":{"amount":"+0.8036813139915466","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":"Q1080843$051FA93B-987B-4897-94D8-3BA0AC262676","rank":"normal"},{"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":"88e84e6498fb1361fcb40d6c0ee2615d4281bdc0","datavalue":{"value":{"amount":"+0.7971357107162476","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":"Q1080843$4F34B4B2-5D61-4D1D-BEC8-8152D8D42212","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An extension of Klop's counterexample to the Church-Rosser property to \\(\\lambda\\)-calculus with other ordered pair combinators","badges":[]}}}}}