{"entities":{"Q1015388":{"pageid":1017236,"ns":120,"title":"Item:Q1015388","lastrevid":69822126,"modified":"2026-04-13T10:35:20Z","type":"item","id":"Q1015388","labels":{"en":{"language":"en","value":"A provably correct translation of the \\(\\lambda \\)-calculus into a mathematical model of C++"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5552176"}},"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":"Q1015388$14EB5B11-6B41-402D-BBA3-6D60906CA005","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddec17be1722f44a8c04aa899a8f38d708b66676","datavalue":{"value":{"text":"A provably correct translation of the \\(\\lambda \\)-calculus into a mathematical model of C++","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1015388$DEF41E37-C0DC-41EE-87B3-0EC6537D2893","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c95b92bdc661d328ad12443348daa95585e10666","datavalue":{"value":"1166.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015388$E6E6BFD3-667B-49E6-BAE5-FC657E735B7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0820047d61ae26185cccc5a2b09478f3e8d20ed7","datavalue":{"value":{"entity-type":"item","numeric-id":1015387,"id":"Q1015387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015388$83071B8F-1520-46AD-BB1A-6FCF1ADBF959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015388$829972EA-D061-49CA-8F9B-2F23969B0F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"726d6d17ffd7097481aaa7acac69959461b65139","datavalue":{"value":{"entity-type":"item","numeric-id":587965,"id":"Q587965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015388$C59ABFF9-9BC1-4B87-ABF8-E4CB03075B5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015388$7C32F671-13A3-4DA9-B0C1-B939462F394C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0cec347d54f050ae0dec1dd3bc541b9e6406b282","datavalue":{"value":{"time":"+2009-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1015388$07F4383C-1A7F-4EFE-A808-2E40CCF1A6F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d30c061fb85d295ef567daa8b2f55add354f9c1","datavalue":{"value":"https://cronfa.swan.ac.uk/Record/cronfa135","type":"string"},"datatype":"url"},"type":"statement","id":"Q1015388$9CE64D79-6BA3-4785-80FA-348686194193","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015388$ED9A53AA-E87B-404E-9894-9BAC579067E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015388$72BDD5A3-9C4F-4439-A72B-E329A461F192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015388$1CCE2F28-B231-4B41-BF7D-7F61D5B66B82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba2881f894f2bd9422f93eb4108475e57d98d877","datavalue":{"value":"5552176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015388$CE6D1776-7FDB-4897-BDD8-642FF564BBB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015388$55172A75-4F18-4312-BB4B-ADD825B8BA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891cd55f24c8089def7f1a2a11129046e965fead","datavalue":{"value":"object-oriented programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015388$CAAA5F4A-81E2-442D-8D91-93CEF2E502F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b73c90f6f116dd86bc5c4449efab40b66490c894","datavalue":{"value":"inheritance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015388$176A5705-98F0-4AA0-9BB1-D2CADA3BA1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86e893a4a7addf8e22f8e3fcc6df8ecc660c5c40","datavalue":{"value":"simply typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015388$024BE2DF-9E58-4DC5-B900-5EAD0BD81DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015388$BBB81A4E-7242-43DD-93DF-DD21A065BE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87946158bc4d4eb73c185243d101de964085e74b","datavalue":{"value":"Kripke-style logical relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015388$AB5A677C-5234-46CB-AAC1-653F4E7E49A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e634ac60c989b0da26c5d4a1a4e9e7acbbc435","datavalue":{"value":"correctness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1015388$985A5CF2-8D9C-4276-B293-026283251F13","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea42592d88b0dc0335528708fc0459f05c2f670","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015388$E8C0F8D0-0002-455E-853B-46E055DD3FA7","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":"Q1015388$24C9BFBF-86F1-4269-9DF7-9E8D63E7E34D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc7d1287324665e7120b695a1b60e09fcf9441b6","datavalue":{"value":"W2017076981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015388$BC09EC2B-40F8-4AD1-BE4C-AAEF550E84B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64008b4c107ef7e4a7969f67350470b1da25942a","datavalue":{"value":{"entity-type":"item","numeric-id":3686011,"id":"Q3686011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015388$DCAFA5ED-1BA7-4329-8160-D5A990ED07BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a4b5661a5916327a3b59228ffabafa1a1c6c6a5","datavalue":{"value":{"entity-type":"item","numeric-id":4411847,"id":"Q4411847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015388$F7E6F9A0-07D0-423C-BA11-A77C3CBC9F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a86a2916d0db0c2fd5d3c89f43e0f228fe085b","datavalue":{"value":{"entity-type":"item","numeric-id":4281477,"id":"Q4281477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015388$F13BBEBA-7BDA-4205-AA23-C0577348BC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015388$1062F51E-4D56-41DB-9873-2DF768C09FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015388$4D854B4C-D3CA-4A1C-AE3E-3CCBA7A12659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b47c85558b5faaed5c516671e61165169563b","datavalue":{"value":{"entity-type":"item","numeric-id":2742791,"id":"Q2742791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015388$8A4867DA-DC9C-43A6-B80F-DDA4DE26B22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015388$7165743D-641A-4748-A261-735C78C72B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015388$64FBB50B-FA90-4472-B997-30EC7C09C6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1015388$B44C1AF8-BC8B-46F0-BC40-490B0F22E186","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f9356e2036a5aa48e544ce179b9bf6635108b74","datavalue":{"value":"10.1007/S00224-007-9062-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1015388$127ED13F-8ABE-4FB5-9CA5-6BF888A0CCB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d7908f7cf8e9df9b08b8ceb17b68df2a197db4","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a18e6aeba6607cc9278d3ed41b3e3e1df7c5307d","datavalue":{"value":{"amount":"+0.7192296981811523","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":"Q1015388$F1978B60-B374-47F4-A51A-DD5711C64F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1ca4040b354cdf0d9ff0e3012f34bdce31cc5c","datavalue":{"value":{"entity-type":"item","numeric-id":4954443,"id":"Q4954443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d02f3e28c595d023f492a0460af746a9af8c563","datavalue":{"value":{"amount":"+0.7160446047782898","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":"Q1015388$6DFD26DF-D983-45F1-B863-76E72EA84123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ee1c02d1468c2d7f9a9a9c554d4d08625f6982","datavalue":{"value":{"entity-type":"item","numeric-id":4621210,"id":"Q4621210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5fe9308bf82b803f9e076d06e5af898a2b7c3da","datavalue":{"value":{"amount":"+0.7111713290214539","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":"Q1015388$237B0F5E-D58F-4D79-B2FD-FD39C53A9FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07fe073296063aa06c61c49bb27cf3b69653d61","datavalue":{"value":{"entity-type":"item","numeric-id":5055881,"id":"Q5055881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccacce48b2fdb00c0053907e9802c115cdbc2bdd","datavalue":{"value":{"amount":"+0.7100321650505066","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":"Q1015388$5A1B6289-5834-455B-B1F7-576090913035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f19e19a4a72c2189645907ab007786a8647c8c4","datavalue":{"value":{"entity-type":"item","numeric-id":4236754,"id":"Q4236754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b01b3fc913dd8e9219ab373cf512bdf09438ead","datavalue":{"value":{"amount":"+0.7060756087303162","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":"Q1015388$2B5CEE09-344B-4442-B7A2-E3EAE8E4584D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A provably correct translation of the \\(\\lambda \\)-calculus into a mathematical model of C++","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_provably_correct_translation_of_the_%5C(%5Clambda_%5C)-calculus_into_a_mathematical_model_of_C%2B%2B"}}}}}