{"entities":{"Q3707988":{"pageid":5737894,"ns":120,"title":"Item:Q3707988","lastrevid":80989292,"modified":"2026-05-06T17:27:48Z","type":"item","id":"Q3707988","labels":{"en":{"language":"en","value":"Church-Rosser theorem for typed functional systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3933029"}},"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":"Q3707988$A93EB4BE-51C6-40E8-8750-A0B8D4E89895","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e99c22ba4c07967a41429fce0b6c8e920bdbab6","datavalue":{"value":{"text":"Church-Rosser theorem for typed functional systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3707988$E44F2C8D-3907-469F-9D5F-E60A0627E65F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"953843aad26b4972f3fd6ab5e95f6061bc5a951a","datavalue":{"value":"0583.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707988$23B988FF-A779-4D17-97C3-43F55942B804","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96cfb6fa1fccb14040976f83b3907fdac2fa77bb","datavalue":{"value":"10.2307/2274330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707988$859F2FD2-1E3D-43E1-947B-6CCE2B5D1771","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3988f98b05642e3bc187c3dafb8ec055c3d6c0c1","datavalue":{"value":{"entity-type":"item","numeric-id":2276942,"id":"Q2276942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3707988$9C024077-6E44-489C-904E-1A341580A1E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3707988$9BCA73FB-0DE1-4985-86A1-7EEFB140F0C6","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":"Q3707988$6CA9EAB7-AEC6-422E-8B47-C4A1E75CA9C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707988$8B16F434-9938-4C6F-B0D0-9DB01B1A9418","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f5bb31b6cf612e42b20ab60e9982b4144913769","datavalue":{"value":"3933029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707988$20CEB368-AB4D-4E66-B7FA-9924899DC08E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707988$4E25D9AB-D55C-42BC-B3B8-988C2FEB282C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707988$D6A7BAD9-E995-4CAB-B458-06FF4232B6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"442c2c188071186033b95071dc1b8957f1a8a2e8","datavalue":{"value":"infinitely long terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707988$B7F4D73F-1D72-4F7A-AB71-9A0813CCF67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4effcfe99ff8de6116e8b7907b5499c364260db","datavalue":{"value":"recursion operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707988$BF5BFFBA-B634-45D8-B5AB-0C66DDE67BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bddc11c58001a7e08a1c1be72c4126dabbba9b5b","datavalue":{"value":"functional system of Girard","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707988$38E9FD12-8B67-42AB-BD79-CAC963AB31E4","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":"Q3707988$22481B98-55AF-4030-AADB-09CEEE8B8203","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d45563cdef2fc302afe71711559624e83656846","datavalue":{"value":"https://doi.org/10.2307/2274330","type":"string"},"datatype":"url"},"type":"statement","id":"Q3707988$5D51F94A-8389-4D3F-AB69-4C27042850E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92ecd01e5194842262bdb52c1c11cc7aae9ec536","datavalue":{"value":"W2031805453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707988$4E5E509B-FE4F-491E-9D4D-20FBF61EC9BE","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":"a2aea062896eb68a95702cfa77bd088532bc03c6","datavalue":{"value":{"amount":"+0.8234751224517822","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":"Q3707988$49997F90-8481-4D8B-B2D0-3B0A6F40C68A","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":"228bcb53161bfc1fd24a5d39e777fc5c18fc3a6c","datavalue":{"value":{"amount":"+0.8049089312553406","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":"Q3707988$9AA02BCB-2D75-414F-B577-7A1F19FC1573","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":"0c02e1ec728b0bb120c6cb74b8f954dfbb45d94d","datavalue":{"value":{"amount":"+0.8022318482398987","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":"Q3707988$D21B6E5B-BFC9-4A09-B71E-D688AC0E33F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7618e6f66afcf96a1e28494fa6a03f1bb69c1306","datavalue":{"value":{"entity-type":"item","numeric-id":3629238,"id":"Q3629238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d8d1f4088028c1bde3a82ecb56b0c1420752e7","datavalue":{"value":{"amount":"+0.8008811473846436","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":"Q3707988$D47032AB-13CB-4E54-92F6-621980BBF934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd71fa11f9fced18872ab16188e420f6e1ac9c4d","datavalue":{"value":{"entity-type":"item","numeric-id":2276943,"id":"Q2276943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbb31cfbad30e1c0998be0f6034152b1929a24e3","datavalue":{"value":{"amount":"+0.8000468611717224","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":"Q3707988$9A2DCF93-7F3C-4DF9-9AB0-8F54C1AE7BBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Church-Rosser theorem for typed functional systems","badges":[]}}}}}