{"entities":{"Q5269007":{"pageid":7298582,"ns":120,"title":"Item:Q5269007","lastrevid":58512201,"modified":"2026-04-05T13:14:55Z","type":"item","id":"Q5269007","labels":{"en":{"language":"en","value":"Clocked lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6731045"}},"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":"Q5269007$69CA252B-0BAB-4006-AFF3-48E42AE1B279","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ee14733d1ac652a303e73029681be529d1ddfbf","datavalue":{"value":{"text":"Clocked lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5269007$BD205301-D164-43CA-90C7-D81F0556856A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1225bd0d52959b126783764e99335931de603497","datavalue":{"value":"1387.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5269007$EFB10825-D846-447A-9B21-42DF2A0E8782","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b64983b026756aaf62943a9be17de45632475087","datavalue":{"value":"10.1017/S0960129515000389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5269007$E5A98568-54E9-416B-8339-F8A9E29FABDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fca1c19bbfb0afe27e2894d7aa8bc5bfdf949d86","datavalue":{"value":{"entity-type":"item","numeric-id":549183,"id":"Q549183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$7A33B3D3-098A-4B6A-88D9-8CDB7CEC0BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ca9aba1d27cc0a527c5e55e40b675c206cdc1e1","datavalue":{"value":{"entity-type":"item","numeric-id":549187,"id":"Q549187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$E4167EAC-A306-41C3-9224-DC55E71C9978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$8FF16494-0140-4738-A9AB-7CE88BAE52B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75cfcd3b65fca9dabfe6a7a0d6f510ecbd180120","datavalue":{"value":{"entity-type":"item","numeric-id":2200832,"id":"Q2200832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$A388933B-470C-41BC-890D-EA473833A844","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$0347AA38-DB12-4732-86EE-32BE72D1E919","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ddcf31b914fb89853eab25f40bb8eca88606da0","datavalue":{"value":{"time":"+2017-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5269007$48FA1A4C-8275-46EC-86D8-062988FAC401","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b6fe3a0a51368835df94e5a8b324ff826980043","datavalue":{"value":"https://arxiv.org/abs/1405.7500","type":"string"},"datatype":"url"},"type":"statement","id":"Q5269007$9EAA6396-9C38-4A1F-879F-6E8B29B0DD38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5269007$829B2318-24B0-47F1-A0A5-CB0ABC44C6E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24484ce4491de9dd3d2be7d867608d6cb93d20e9","datavalue":{"value":"6731045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5269007$884331B1-7BF2-472F-A9A0-894E5779D4A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5269007$1DC70E7A-6882-49DA-833C-461E52F27C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8442a7a4aa9bde166792df560549f38929af659e","datavalue":{"value":"B\u00f6hm trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5269007$7B55843E-801C-492B-AD6F-56B66D01D637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc0e38cd8b1c0d48c96cb0568ed61b169f72bd9b","datavalue":{"value":"clocked lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5269007$DAFAF923-7F04-41F8-A567-58CDA32C670A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$44DD114C-BEA9-4891-A27D-C148FA41B2D4","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":"Q5269007$6D749FBE-4FD8-4025-A2A2-5B053953DE29","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$4CF06200-AFF1-4A2E-837E-F97E32880A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c297cceb6694553b86f2e0bf5eeb4c9b20f57b6","datavalue":{"value":{"entity-type":"item","numeric-id":4411815,"id":"Q4411815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$2701DB90-A538-4521-8EBA-65529A6DABA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$9EA779D0-F09A-498A-AA78-3CC6A36ECAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4214ab4d69253d5ec7311d4674fb7ec94430c940","datavalue":{"value":{"entity-type":"item","numeric-id":1021568,"id":"Q1021568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$346C5B31-1D74-43EC-8D13-4C1304DC0A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebba86ed9edf4e56b67a148971a3ef285ab512b7","datavalue":{"value":{"entity-type":"item","numeric-id":4896520,"id":"Q4896520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$67EECE15-A8C0-4E51-8709-04BC09B7AE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"699c19a71ba20ac43e5ae02e95874f107dd6b0be","datavalue":{"value":{"entity-type":"item","numeric-id":1854348,"id":"Q1854348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$9AA5A225-2BCC-4AC7-AD67-49F413F73459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b0a30febc9fafd0aaf6f91ea1821651d55077e","datavalue":{"value":{"entity-type":"item","numeric-id":4764266,"id":"Q4764266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$9875895D-1CC5-4C18-A771-395DE55CAB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0425a005a3f8a3136f895463c54bf9d8fe2de4f","datavalue":{"value":{"entity-type":"item","numeric-id":5419488,"id":"Q5419488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$7F37822C-4B50-4188-A835-310DA4DE7DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43060e10068e733af70f951e1208d4d3d3dc479b","datavalue":{"value":{"entity-type":"item","numeric-id":3942370,"id":"Q3942370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$FB4F9D64-F8A8-47C1-8F56-4AEED5CE604C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f10f57fdd7acc3717c84a2dd8fd8997644ef3dbe","datavalue":{"value":{"entity-type":"item","numeric-id":1368379,"id":"Q1368379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$231A6CCD-7F11-44B8-96AF-41BEC00A753E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a5e7f94427d670644e085b2be0d1c199024796","datavalue":{"value":{"entity-type":"item","numeric-id":1392145,"id":"Q1392145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$B82EA6E7-39AA-4565-B22F-7ADD3E367A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566543c1125c8b503b0127cfcac10f578be09c76","datavalue":{"value":{"entity-type":"item","numeric-id":3401138,"id":"Q3401138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$E0F6711E-B305-4A15-BFD1-D49952237A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee0ea2ad4a38d19af1ecea93450ee560e6bbd3a","datavalue":{"value":{"entity-type":"item","numeric-id":807612,"id":"Q807612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$CEF53319-7CAE-4777-AA08-A4ACE87788F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"700e746e53063a481cc77e53bf00cb487626efde","datavalue":{"value":{"entity-type":"item","numeric-id":5055729,"id":"Q5055729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$42CB0008-06FD-48A1-9868-81F76FE74610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a9ce9c8c880aefc9d2dc9b570d0d80abecb8f2","datavalue":{"value":{"entity-type":"item","numeric-id":3042377,"id":"Q3042377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$AEDF54C4-C771-41A5-A88E-AD02B8E081CD","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":"Q5269007$B5884D11-3335-4E17-BE62-5D970DA439AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"298c345c5fd5e9751c3c32a918b118916c5b64f5","datavalue":{"value":{"entity-type":"item","numeric-id":3145858,"id":"Q3145858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$8360A63C-0B0D-464E-AD29-7762AA51AC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$09A788B9-1A07-4F7F-B11D-A0395B7E01D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b61bf22af988b8c847b78075c0e601511a9671a","datavalue":{"value":{"entity-type":"item","numeric-id":1143166,"id":"Q1143166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5269007$D340642A-9203-4BF7-B8B5-F2C78461BE78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3db0824ee75e0a0f1690b554f492a9cf00301de","datavalue":{"value":"W3104111471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5269007$F977DD16-8110-4A6F-9DD7-CAFEBAED0504","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcaaf8345e5b0fa3689aef55203ce535da8817e5","datavalue":{"value":{"entity-type":"item","numeric-id":5419488,"id":"Q5419488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"296144f195cf857fb9cafeb0da91434f42f75854","datavalue":{"value":{"amount":"+0.938685655593872","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":"Q5269007$DBDC1370-425F-4CCF-A4F4-24C57E6FC3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c41eb452518330ca9fd845d88bcebd07774a30f","datavalue":{"value":{"entity-type":"item","numeric-id":1929230,"id":"Q1929230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76c59077e7f615a1f39178ebf15f69f6ffe7b4e","datavalue":{"value":{"amount":"+0.763938844203949","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":"Q5269007$660D979B-17B2-4A3F-AD5E-BE347A5BE769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f9bb7f65a93935108fd65ca9296b4bd73e8924a","datavalue":{"value":{"entity-type":"item","numeric-id":1874272,"id":"Q1874272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99fba95328c6468d347456115a94511701feeb67","datavalue":{"value":{"amount":"+0.750370979309082","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":"Q5269007$6894CF05-F229-41BE-9806-B3F3C9D5CA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b0161e8fae7dbb8e64397139e77536b7c0df96","datavalue":{"value":{"entity-type":"item","numeric-id":5269002,"id":"Q5269002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d393e58cf57c0f7d215a5f7a75a2ede713a69a3","datavalue":{"value":{"amount":"+0.7310069799423218","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":"Q5269007$83F0DE46-8B47-4AB6-A969-AD6BA4683199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aee23b5ba0d2cd4a49fc9978e9a951047306791","datavalue":{"value":{"entity-type":"item","numeric-id":4808745,"id":"Q4808745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39d5cf95150c3c86bef6c3302e69b9b36a149fa3","datavalue":{"value":{"amount":"+0.7211446762084961","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":"Q5269007$86BD045A-0005-479F-BE4D-7AAF8F2D28D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5269007","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5269007"}}}}}