{"entities":{"Q4764268":{"pageid":6793848,"ns":120,"title":"Item:Q4764268","lastrevid":46363779,"modified":"2025-12-24T15:38:29Z","type":"item","id":"Q4764268","labels":{"en":{"language":"en","value":"<i>Theoretical Pearl</i> Yet yet a counterexample for \u03bb+SP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 750654"}},"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":"Q4764268$EDFAA27F-B97D-4C1E-9DDC-B16C3C62D413","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7ff276c9a6ac4fa01397dcd9b4e1da9aaae251c","datavalue":{"value":{"text":"<i>Theoretical Pearl</i> Yet yet a counterexample for \u03bb+SP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4764268$5EE345F0-B4CD-421F-A758-55AF35122DC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce5872e228b6caf7a8b126a50215cc2dfcd735e2","datavalue":{"value":"0821.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764268$B906D981-7B6F-4C8A-AF30-733C46294A4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aabb203d9e5bf2fb2afbc714daaca42f38ccd2fe","datavalue":{"value":"10.1017/S0956796800000976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764268$2D67B93F-357E-4824-A7BE-06698E079701","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb313c50586523a1a82ffb573c59952e4111e32","datavalue":{"value":{"entity-type":"item","numeric-id":418199,"id":"Q418199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764268$45F2250E-8E4B-4076-A6E7-26FCE9B49E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c50f42ac443d41828b557f6076f88056505c203d","datavalue":{"value":{"entity-type":"item","numeric-id":918955,"id":"Q918955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764268$22F43F51-F4A8-4F28-B99E-D74B6293ABF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764268$38E9AC19-4230-44C7-9B73-EDC9896652B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"409ba1216875b3d2fe2760f521e9b8d4dc80e88e","datavalue":{"value":{"time":"+1995-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4764268$E5D3C90D-CA2F-4A56-9CD5-CE8E8814C168","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764268$AFB47531-D0A4-429A-B323-980A22242198","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba4d9be268c5092733bd1c74b3e626f236343a08","datavalue":{"value":"750654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764268$07AD0AC4-E7A6-43B3-B77E-710B14A916C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764268$4D99503A-C5B0-4ECD-B451-0FA79C1FC27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c80ea59eb0c4f37436fd77052ab8df29738387c","datavalue":{"value":"non-confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764268$676675CC-BA31-4778-9F2C-4B78B82B0E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ba35aed28fdd505f6dd0554af8e2030fc532dc2","datavalue":{"value":"lambda-calculus with surjective pairing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4764268$9D4F35C3-F1DB-47FA-9230-2F48DECBA21F","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":"Q4764268$0A8A64A7-6AAF-4DA8-ABEF-804950799B74","rank":"normal"}],"P223":[{"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":"Q4764268$8D9A97A7-8B59-4F34-B44F-781D0C5D9BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39a720b69b73a77620c7218acc700c3c632bdb8a","datavalue":{"value":{"entity-type":"item","numeric-id":918956,"id":"Q918956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764268$618F0269-D4C2-4640-8B8A-972AC0B8F69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764268$A78935E1-CBEA-4E91-A046-65D4E7E2711B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764268$18B98E49-A02C-4104-81BC-C8A4B68D56DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be24cdd22233f88b1b261cc3254ad41ccbe6a5db","datavalue":{"value":{"entity-type":"item","numeric-id":1080843,"id":"Q1080843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4764268$37BEC26D-EC38-4645-907A-2DE9C95126A0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"93ea018f4be97c1f99d495314ddd93ab1eb12ab6","datavalue":{"value":"Q125055437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4764268$7E65B743-C6ED-43DF-A61A-CEEB5C2C0DC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f22ef031c5dadbca802afcd77dce902017e11e90","datavalue":{"value":{"entity-type":"item","numeric-id":1080843,"id":"Q1080843"},"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":"Q4764268$655A351A-4A27-44B4-BFAC-6A744E2786B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c943241e45854b49b5a5c170bbc096a70e68bc59","datavalue":{"value":{"entity-type":"item","numeric-id":4327834,"id":"Q4327834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7243642d691bfa566a584e3ff0ec297f2b6de35d","datavalue":{"value":{"amount":"+0.7875005602836609","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":"Q4764268$7EEFA146-1185-453C-BD84-32F74ED16DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0990d888ded5d1fc5e1aecc39c558235d6385ee0","datavalue":{"value":{"entity-type":"item","numeric-id":1021568,"id":"Q1021568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b3c78911ea20a683606e01df6ff07b94958b6b","datavalue":{"value":{"amount":"+0.7613576650619507","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":"Q4764268$30C249A9-FF33-41FE-8103-785CF9A00DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a671a6a27aa1ad9bdc9d53fb368583d8c7c6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1117204,"id":"Q1117204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4956272d74e7d78179a93ff1f98aaa9e8b63a3f4","datavalue":{"value":{"amount":"+0.7558637261390686","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":"Q4764268$5A052914-3424-4454-8540-A54C89348314","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4764268","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4764268"}}}}}