{"entities":{"Q2915102":{"pageid":2925822,"ns":120,"title":"Item:Q2915102","lastrevid":85099004,"modified":"2026-06-03T05:52:37Z","type":"item","id":"Q2915102","labels":{"en":{"language":"en","value":"A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084976"}},"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":"Q2915102$856D8C70-F974-45C7-841E-1481E9D84B00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8312045ec3b2ec518c8b17ff001f7ec08b20238a","datavalue":{"value":{"text":"A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915102$19A541A0-33C0-4884-887B-6F9198C852BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"071a043b37cd466d4b23c0ad175696ee4feb26b9","datavalue":{"value":"1362.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915102$8DC7C2E0-7CBB-4E72-B0EB-9B6926CA6118","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20b9a9d97e4d85912f3881fa595b70a9adb3a58c","datavalue":{"value":"10.1007/978-3-642-32943-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915102$65370855-8342-4DA8-8970-D6ED261422CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2272e221182fa71b60e883e3d39f8f79d34f3cfa","datavalue":{"value":{"entity-type":"item","numeric-id":2915101,"id":"Q2915101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915102$CAE62D10-F4A1-43C2-982B-2D5CD990AC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2032103717cbf2021d3708fe44e074f8682155a1","datavalue":{"value":{"entity-type":"item","numeric-id":2850666,"id":"Q2850666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915102$B834AC2A-5AAA-4719-9CE0-278AF2721B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2d297affa64fbc90a1b9457e40afa82a74d61c3","datavalue":{"value":{"entity-type":"item","numeric-id":2736354,"id":"Q2736354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915102$FBE12789-5948-46EE-B3F6-B46B8E232A68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5d26dfabd2a1eaea8344d31d26120815afdf182","datavalue":{"value":{"entity-type":"item","numeric-id":2915093,"id":"Q2915093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915102$0182AC37-A82B-4F35-A2CF-9979E01B3A18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915102$55BA781E-0885-4639-819E-BAAF9E92AF6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915102$8746E522-75EC-4C29-8DC1-F980A1CED8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915102$6D4AD747-1857-435F-8D5D-F2FA1128C5E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b273b3312d20ce305a4a6428d9143a7a8fd2e02d","datavalue":{"value":"6084976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915102$15F50ED9-07BF-4C26-A67B-4179D8AE5563","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":"Q2915102$19D14A3A-C7FC-430D-9671-B5B1FEC982EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4628f7bc384e0e84a63ed47bd7e2c47852fb0b3d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32943-2_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915102$E4972AC7-B94C-4D8B-91FC-C989FFB6A7E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"489bef47ac592d5139f8d26d0ddb56281e97cafa","datavalue":{"value":"W114142161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915102$6800D27A-DB14-4F87-BB68-46D3E438C04C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e81445323b9a8495011f06221e6407fe19001d8","datavalue":{"value":{"entity-type":"item","numeric-id":4577822,"id":"Q4577822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b352e89eb3fa870bd4eca475e80f2e18fb62b43","datavalue":{"value":{"amount":"+0.9046369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915102$9C4F2A31-BFF8-43B6-ABF2-4A32F67AC600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3882ff7008f8a2a77db25d40e34b6d087042c0b2","datavalue":{"value":{"entity-type":"item","numeric-id":5204341,"id":"Q5204341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0349f3233ce057cbb3cbe69f27b1a86e0ede5c3","datavalue":{"value":{"amount":"+0.8568509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915102$6AE73A12-C66E-4197-852B-52FDAD02DCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29d851e188e9650f65295675c057839464e861a","datavalue":{"value":{"entity-type":"item","numeric-id":1124368,"id":"Q1124368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5790ff23cbf286f9ef2a302442e6871e2e68c562","datavalue":{"value":{"amount":"+0.851818","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915102$DADA5828-3B97-4332-B32E-021E11603CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed07d71a6bdb6a364c295858fefc0a1085c03d0","datavalue":{"value":{"entity-type":"item","numeric-id":4720773,"id":"Q4720773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567f6dc8ca1b31deaea140a96bd043446b253989","datavalue":{"value":{"amount":"+0.85152113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915102$E9C65EE6-6D18-4411-8397-0F0A00CCCD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f815cd0ba97dc90aa8672fcfab1d1b78493c2d","datavalue":{"value":{"entity-type":"item","numeric-id":1126266,"id":"Q1126266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31700dc164d17ec0d94e34dc634a8c21120ab4fe","datavalue":{"value":{"amount":"+0.8482212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915102$0C7AD572-9FF1-49EE-B202-25B02F468105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"816a20fe5e0736455c2a046b00419290e35e41ea","datavalue":{"value":{"entity-type":"item","numeric-id":4446264,"id":"Q4446264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5695b9154021d356bc8504b66d96da9bcb49ef3","datavalue":{"value":{"amount":"+0.8451525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915102$620A72C9-A52B-43D0-8814-528D2F855FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4cd70b73bbce82e8865028090460a9aee77c7bc","datavalue":{"value":{"entity-type":"item","numeric-id":1264462,"id":"Q1264462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a50294245acd74390bb25382a5366d027229c18c","datavalue":{"value":{"amount":"+0.8406251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915102$5185C5A9-3C13-411E-9A0F-5469FB0D9B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03d506613f8ff0866bdecf248c764798c328d11a","datavalue":{"value":{"entity-type":"item","numeric-id":2943366,"id":"Q2943366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0670044420310983eaf1ddde8554880c68fc5b42","datavalue":{"value":{"amount":"+0.8404449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915102$E225695D-985B-4ADE-AC45-2B6059824831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14d0e49573e95b9898f6a7cc159234409fdc527","datavalue":{"value":{"entity-type":"item","numeric-id":5699561,"id":"Q5699561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"295f4166de3e736da03a9612b70f087d1ed95a92","datavalue":{"value":{"amount":"+0.8372416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2915102$6D6275A5-9DFE-47BA-A793-873F8985DB55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Locally_Nameless_Representation_for_a_Natural_Semantics_for_Lazy_Evaluation"}}}}}