{"entities":{"Q3637192":{"pageid":5667098,"ns":120,"title":"Item:Q3637192","lastrevid":87476075,"modified":"2026-06-04T11:46:39Z","type":"item","id":"Q3637192","labels":{"en":{"language":"en","value":"An Operational Account of Call-by-Value Minimal and Classical \u03bb-Calculus in \u201cNatural Deduction\u201d Form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576325"}},"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":"Q3637192$894ED9D7-A7A9-482F-A658-7C4E0101773A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aabeb785f3378488bb0241b1b2f47d16a31e3891","datavalue":{"value":{"text":"An Operational Account of Call-by-Value Minimal and Classical \u03bb-Calculus in \u201cNatural Deduction\u201d Form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637192$C961D095-CEA3-47E2-80B6-9988FB874725","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0aa10fd8374226e5625390a94c4d2ed58b673be7","datavalue":{"value":"1246.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637192$EEDEC572-2ABE-47F6-B7C7-93287A21CE48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82296c75da7c3b5239735b6246a1d04d357adc2c","datavalue":{"value":"10.1007/978-3-642-02273-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637192$65E206B7-03E0-4AD3-BF6E-C616D9D04BBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efed21e9824a359c8d3282e3ffda49b99e5e2e03","datavalue":{"value":{"entity-type":"item","numeric-id":636370,"id":"Q636370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637192$7D08A928-797F-4673-8A4A-FF253F61ACF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56d932bfc00f4cd10c6ef9e1271641b8a4996be6","datavalue":{"value":{"entity-type":"item","numeric-id":3637191,"id":"Q3637191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637192$AEC4382E-7331-4EED-A0D6-487A2A102A34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637192$DF43842E-F282-44CB-A9EB-46D28B108818","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637192$1F24068B-6C33-4F01-9071-2BCC36830C51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637192$112F1C65-161D-4340-A508-964C6F4091B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637192$08AED9BD-367F-4F66-A405-686BEB34FACB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d24da721e3d93b1213ee20fd574dab7756016f5f","datavalue":{"value":"5576325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637192$B34372F5-7B37-4227-AB8F-4D23CBB35FFB","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":"Q3637192$2E4DD6DB-DE5F-4FB5-8161-4023625C3AF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf0619af6b0f236fb6c8297019454b91a1394138","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02273-9_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637192$C0E9AED4-A12B-4FC2-A1AB-2158DF96EF9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a89941e4370ee2640bb4ad44e2a816c32764c25","datavalue":{"value":"W1839102226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637192$A9E6A737-DC4C-4B5A-B827-74E7C4FB7212","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637192$B353B86D-5E65-4BD6-B32F-BC2000041D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637192$880AD050-241C-41F4-99EE-B853178E789B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"194a40413ca3307ac571256f8d43587a3148fbc2","datavalue":{"value":{"entity-type":"item","numeric-id":4882487,"id":"Q4882487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637192$10082393-ACCE-4E5B-A7AF-6D59E3920FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1472d66d79f56cf3c8418c5934119ddb925a923","datavalue":{"value":{"entity-type":"item","numeric-id":4916172,"id":"Q4916172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637192$4F5B6137-CD0B-4591-B0D1-23E4E725680D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637192$8999E223-0758-48F4-9D7E-E05E4D61C40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637192$E6698422-67AB-4B26-8CA4-E29B3482E8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ad066144a6504bc489d20ac28205d89300b341","datavalue":{"value":{"entity-type":"item","numeric-id":1322165,"id":"Q1322165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637192$986CC962-1299-4E3F-BC4F-81AD3C7E81E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1edee203e7a439bc4100ad982c678cedc9b35d2","datavalue":{"value":{"entity-type":"item","numeric-id":2817680,"id":"Q2817680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637192$7485A8AC-42FD-467F-84E5-FEA09B2C6D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc587db8295afb5c732c91736b853bd7114c6237","datavalue":{"value":{"entity-type":"item","numeric-id":3503192,"id":"Q3503192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637192$E6C2F5EE-96A1-42D0-A750-1547C34E53E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1ed148ff66b406057a98235839d96140aebe76","datavalue":{"value":{"entity-type":"item","numeric-id":2732290,"id":"Q2732290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637192$894BC8CB-F7C8-4AF2-8048-08E417F628F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb7522e68507b50e361e96f29d7c73bb4c21563","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07af8b873ee669a284c04fa0b3b9cdd8bd023e09","datavalue":{"value":{"amount":"+0.8140850067138672","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":"Q3637192$37AFC1D2-FFFF-465A-B693-1E26F7526701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56ce5f5bf93bdc994251d2810fee66f8f426f5f","datavalue":{"value":{"entity-type":"item","numeric-id":5277841,"id":"Q5277841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ac86f4ba1898beb3b294d61343c724396a3430","datavalue":{"value":{"amount":"+0.8046927452087402","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":"Q3637192$EE250708-AF60-4129-984F-4101DB63C34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fc789f5df3f6de9f6cf402bd0e027775430294d","datavalue":{"value":{"entity-type":"item","numeric-id":5240183,"id":"Q5240183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd54a2f90b6028b5861880768c9f15b4571da1e6","datavalue":{"value":{"amount":"+0.8045186400413513","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":"Q3637192$AC9C37E5-1191-45BB-8124-9116A83FD9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f1b421b817afcf741021a408db76ee457bda8c","datavalue":{"value":{"entity-type":"item","numeric-id":4600771,"id":"Q4600771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70eaec5333c4ddcd5cd591ea97d3be863a9d149","datavalue":{"value":{"amount":"+0.8031125068664551","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":"Q3637192$5DC511B1-29A9-414D-8A89-44E4C86544C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f01918a548a806393a334af6e6e25fff258fb8","datavalue":{"value":{"entity-type":"item","numeric-id":4986734,"id":"Q4986734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188b52da281bddf34faf20cc40fd6c4f7209c291","datavalue":{"value":{"amount":"+0.8012140989303589","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":"Q3637192$E48573A8-428A-4321-8785-FE0CF85B08F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Operational Account of Call-by-Value Minimal and Classical \u03bb-Calculus in \u201cNatural Deduction\u201d Form","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_Operational_Account_of_Call-by-Value_Minimal_and_Classical_%CE%BB-Calculus_in_%E2%80%9CNatural_Deduction%E2%80%9D_Form"}}}}}