{"entities":{"Q6488533":{"pageid":14067302,"ns":120,"title":"Item:Q6488533","lastrevid":103340783,"modified":"2026-06-06T07:12:01Z","type":"item","id":"Q6488533","labels":{"en":{"language":"en","value":"Encoding a dependent-type \u03bb-calculus in a logic programming language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680809"}},"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":"Q6488533$4370DCE5-5BEF-46DC-A5E0-E6A4B1CCC418","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b49350868d2365816901bd103f478272ffc3a52","datavalue":{"value":{"text":"Encoding a dependent-type \u03bb-calculus in a logic programming language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488533$89D4CD74-180A-43E9-9433-DAEF4B911094","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e66ceb60025439983dc8443769a20f621840b54","datavalue":{"value":"1509.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488533$C98FE135-A85C-44D3-BC57-8533ACDD1DE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25ef018deefaee0d8e7339672a44887b4ca49587","datavalue":{"value":"10.1007/3-540-52885-7_90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488533$EEB9A692-F1F4-41C8-B1D9-7983082BCC12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3098c31aaa054039cc5414efb85f4a6bce38102","datavalue":{"value":{"entity-type":"item","numeric-id":590551,"id":"Q590551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488533$441A3B2C-CF17-4FFD-88A7-4919D6E50170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488533$C6CA9DCA-1E71-4143-8764-1FD41FFB8125","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488533$4C703A9B-D11D-4BFC-B5F6-E5E1D0C39036","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488533$D984EA35-1B41-4876-A972-51685CE96CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488533$C08FBB01-BE57-4491-8CAE-E3D68E50011E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488533$780C5752-0FD5-48C4-8ED0-A2DE095460D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488533$AC0E9BE5-F425-44F4-B68B-27A5852C73B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488533$42135FFA-3445-49DC-B82F-99A2BF5C0FC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14c2ea14e4354d28a08517df68197441a4878305","datavalue":{"value":"7680809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488533$4CB41C11-8DE7-4582-8A2C-14409EBBC16F","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":"Q6488533$47E76A2E-7463-4C02-8270-D7C09F40CBBD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488533$2261E4F3-23AB-451B-9AC5-6D1FE6F4BD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488533$956D2DBB-88C4-43D4-8EBA-DD96CD6365B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c1ddaf98f8b97a1ba13c21f0f2993ec78ec6ede","datavalue":{"value":{"entity-type":"item","numeric-id":6488533,"id":"Q6488533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488533$99C0AA82-52EA-4D1C-88E8-EF1CD7EEC322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488533$91A6228F-B33E-4C27-861F-881B4CE55724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488533$F9E2181C-0D0C-4363-9975-CD01B41B639A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488533$62FC2954-E046-48A3-A430-47DA2149DA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488533$E33BC662-0375-4EFE-A31E-EF254AEB01EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ffb78e1862447c8ce655b5a67759e1a1fa39b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3204068,"id":"Q3204068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488533$69F70DBE-FCFF-46A5-B7DF-0672EFA10B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488533$E260A733-A88B-4A64-BA97-E662D74CE54B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9d59bdc6ae437ece8127a1d514a0d68e56907a","datavalue":{"value":{"entity-type":"item","numeric-id":3491030,"id":"Q3491030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c491273fff6e20c9ee11bfb747839ef816a6889","datavalue":{"value":{"amount":"+0.9448716044425964","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":"Q6488533$3F147C17-DD67-472A-96E8-306B6A418FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3bdcc336d3cbaf72159e278f1acc8157aa3b24","datavalue":{"value":{"entity-type":"item","numeric-id":2883111,"id":"Q2883111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b037add0bf7daa7d12fa2974c12e7c175c5064","datavalue":{"value":{"amount":"+0.9097273349761964","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":"Q6488533$31AABF1A-37A8-4B39-A7D6-16336076AEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90fbc8e2b2495cf799cfd99e80095a31f4948e4e","datavalue":{"value":{"entity-type":"item","numeric-id":4012881,"id":"Q4012881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99b0a12e52a364c8fd3445b04b203265d99882d2","datavalue":{"value":{"amount":"+0.8934298753738403","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":"Q6488533$B3DD58EF-6823-43B0-86D5-1D4920CBD6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0474a820aa477245d719307dd6b245e63ef2e649","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8b0972faae1092123104d2e0e515dc63adebe02","datavalue":{"value":{"amount":"+0.8919005990028381","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":"Q6488533$B7DD4EDA-58F4-4D9A-B4C8-C6920A197358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c9af094cb20226c99db0cb8ff7bed51d584eaa7","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1224177d9285c11a720afb5fa9c5e41685980c9e","datavalue":{"value":{"amount":"+0.8171570301055908","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":"Q6488533$7302DB3B-2939-400E-A055-C8A1F833C5DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Encoding a dependent-type \u03bb-calculus in a logic programming language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Encoding_a_dependent-type_%CE%BB-calculus_in_a_logic_programming_language"}}}}}