{"entities":{"Q2802497":{"pageid":2813235,"ns":120,"title":"Item:Q2802497","lastrevid":52515788,"modified":"2026-01-22T20:46:19Z","type":"item","id":"Q2802497","labels":{"en":{"language":"en","value":"Classical by-need"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6573786"}},"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":"Q2802497$154BEE41-1561-4689-B436-06DDC5B8A49D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"285d1f3f3a8ae78ede545d2ebf21cfb200dec8dd","datavalue":{"value":{"text":"Classical By-Need","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2802497$8427E2BE-0478-4BA7-9331-005F83EF5D8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c25b8efd471af365b9ccb923f50bafba81d32247","datavalue":{"value":"1335.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802497$3197DC7B-134F-45ED-8AB7-7FD1C01158AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95e1c98bb33f806af388be2a7ca1c42aa0e9ce20","datavalue":{"value":"10.1007/978-3-662-49498-1_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802497$C72C4C4B-4C3C-4A49-AD07-F726CCA1FCE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc41d0e76ffa6ff7041ee6fd8d06b5a6f8e90a9f","datavalue":{"value":{"entity-type":"item","numeric-id":2323975,"id":"Q2323975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802497$FC67F477-5A63-4B8B-ACA8-090F2E05947E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802497$D4FEE06B-E74D-4EEA-A5FA-F1EC625DF869","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802497$5C536A53-2358-4615-B2F8-6B74A9709518","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86bb9394e061bedbe680055bcc3d946b9049a265","datavalue":{"value":{"time":"+2016-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2802497$BA13B03A-A75D-4D24-89B6-02FED6776725","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802497$A74B066B-6D6C-4F90-9113-4DDFB958CDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802497$9388B253-4C3F-469D-B7FA-1D46C9A6A3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802497$37FEE038-74E8-414D-A15D-FB954E607788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802497$5566F1F8-D9B7-4228-9E28-A7205FE9F799","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b22980f4db8ab56119587ac6ea9c7240f113675","datavalue":{"value":"6573786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802497$A0678E26-3EBD-465A-85BC-44504BFD6A5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"306babe488cfa3a591cfd4ed12d529826135f187","datavalue":{"value":"call-by-need","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802497$94FBAF8D-3762-40B1-B35D-1EF170AD757C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802497$F4C1CCC5-63CE-47DF-9634-33869DC8BC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216ace9210b8a9445f836b5d7843000108085251","datavalue":{"value":"control operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802497$E543AC3B-DFEC-49D5-824C-EE2E34EBAFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802497$283F3A04-8E2B-4664-98D6-0DC7B3490959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"435bc946df3f2b0612afd84e24d9bee53851843e","datavalue":{"value":"lambda-mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802497$7B55CBAE-BFE8-4807-B583-5F6961633C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b21d58c4afcd9e47493de8b658e7b2c4c12cdcf1","datavalue":{"value":"lazy evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802497$4B755F31-A1EE-4666-981D-1B6902957B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44c6ed5e47d27eb6a2981715c81b779d5d519b6e","datavalue":{"value":"linear head reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802497$1FD058F8-B939-4108-A815-5DA398BA2292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802497$ECF66F86-5A31-4376-8A29-D305B010E5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdf301d03cd250deff26499557f902bec927016c","datavalue":{"value":"Krivine abstract machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802497$497F0A11-EFEA-4A73-B49C-A16C71E89893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8146c63d4bc51cd06453d3989600f396728fdd34","datavalue":{"value":"sigma equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2802497$C3A27ED4-1572-4008-859C-A0B45DB470AC","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":"Q2802497$A77E189C-A6A0-4B10-9CDF-AB96435C3ED4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25d720f1fa895761c2a3d0ec5d46ad5ce4c9d519","datavalue":{"value":"https://doi.org/10.1007/978-3-662-49498-1_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q2802497$C979221B-2D6A-4977-8EBA-8BC9CCB30A94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76af1c94e58f65594cd7c369739e027b573005c0","datavalue":{"value":"W2498111426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802497$4A3E1A62-BA0A-46DD-A145-5F570B60A36B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802497$F785B59F-F9CD-47F9-BF8E-1B50B88C8979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e207e093bc0b7d07405b2cf42890588e429e43","datavalue":{"value":{"entity-type":"item","numeric-id":2819700,"id":"Q2819700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802497$9BB020CF-6B96-4A3A-B4DE-7BCD8CDC821A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736b927b44af9ef59d1147d2f70b5fea094590b5","datavalue":{"value":{"entity-type":"item","numeric-id":5408457,"id":"Q5408457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802497$9C37C4E7-4457-4EA5-BA4F-1E93A7F11798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62652dd62ec51af26d1f57df547887590f807f50","datavalue":{"value":{"entity-type":"item","numeric-id":3586054,"id":"Q3586054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802497$31824300-CC8E-4368-B2B2-9D46547BEEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884ff47e3131a2ae77eac9b93d6ec7e48620fea3","datavalue":{"value":{"entity-type":"item","numeric-id":2891437,"id":"Q2891437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802497$0A7E7AAA-5827-429A-8196-7EACE03804E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4cec3adab929cf6aae81987582e38a2192f7ac8","datavalue":{"value":{"entity-type":"item","numeric-id":2794671,"id":"Q2794671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802497$99F8A826-D948-4A45-931B-315DDC923AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"584f4f206002c9520f158b2e2ddbe1cc325c8234","datavalue":{"value":{"entity-type":"item","numeric-id":2900256,"id":"Q2900256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802497$AC04DF2E-A210-4C67-952A-1EFF17779ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc937e27d5d0efb7afbe95dc3a7e3d054e3183c1","datavalue":{"value":{"entity-type":"item","numeric-id":4358458,"id":"Q4358458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802497$EE87CBF3-48AE-48FC-BBB3-6DAC6A09907A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adb4919030f27499ae4d3ebb471fc834fbd5a1b","datavalue":{"value":{"entity-type":"item","numeric-id":3007655,"id":"Q3007655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802497$C0F25C70-F3BB-4D1E-9FB6-D7BCDD27AF0E","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":"Q2802497$6BD5AED9-E728-4734-8A7B-1F4DCE26ECB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005baad930b53b4b7c4ecb57dc1bdc4e57fc5b95","datavalue":{"value":{"entity-type":"item","numeric-id":2892724,"id":"Q2892724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802497$D95C639E-7EA7-4C56-9443-1FFB6903755D","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":"Q2802497$BB812373-D5F1-464C-9882-20EC8295FCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516c671ee95ef6bfec15deec3f47e74365c3420d","datavalue":{"value":{"entity-type":"item","numeric-id":3558342,"id":"Q3558342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802497$5C834CF8-845F-49F6-8DE0-DF34D192627A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802497$434BCF82-42A0-4DBB-9B52-F291CCA0ED7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802497$D786F21F-E87E-4227-BD90-7B10F0D9778E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442937e7a92071855338b0012339d681574f358b","datavalue":{"value":{"entity-type":"item","numeric-id":2464723,"id":"Q2464723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802497$6EB657C5-BAA0-4C3D-93E0-3D853AD37CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfe4964a46d9b5ae61ca298ddf701e390f98625","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802497$FE34396D-F6AE-4AEB-B5E0-5DBC5DAC21C8","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":"Q2802497$A507D94F-A4E7-4415-85FF-FCECAB4FBBD3","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":"Q2802497$AA0A5693-9EF4-4408-AD43-F8F6DB2A71E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7629881c3e7bd88e597d7e4f26d7cbdf6a97ce","datavalue":{"value":{"entity-type":"item","numeric-id":4240152,"id":"Q4240152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802497$2E8E701D-7773-403C-B4AB-BA35A7EA6C5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91080846a0262f81cf0638b524b232b8398e9f17","datavalue":{"value":{"entity-type":"item","numeric-id":3007655,"id":"Q3007655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5de063d5157964330448b600ecb8c7ba1d42c601","datavalue":{"value":{"amount":"+0.8973789215087891","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":"Q2802497$5B12C98F-C06D-4939-899F-C926659BC44F","rank":"normal"},{"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":"6e8130958f271b87736a50f1a8b4f2d0bb2da3b2","datavalue":{"value":{"amount":"+0.8064074516296387","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":"Q2802497$6EE6F846-B726-41D3-AEE0-BAE784D80E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615205a820ea49605a4feddfbfe6164836c5fc6f","datavalue":{"value":{"entity-type":"item","numeric-id":4222771,"id":"Q4222771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab97c26f00f297e8d32c20f2dc867e3e9b54939","datavalue":{"value":{"amount":"+0.8032480478286743","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":"Q2802497$8FA7B332-3509-4CF6-AF17-AE0479919968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3990ddbb99bb2d44d04f9e4faa256d5f9dc307ec","datavalue":{"value":{"entity-type":"item","numeric-id":1575882,"id":"Q1575882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdc60bf1c987e22e1d2bb95b6aa877946c0af864","datavalue":{"value":{"amount":"+0.7959457635879517","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":"Q2802497$45AB5BFE-0451-48DE-B178-86734189FC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd76517bd3b26fcc1777a212772ef67994f70a8c","datavalue":{"value":{"entity-type":"item","numeric-id":2892724,"id":"Q2892724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a9a2fb4ecb2050f9c4dbf8db085cdb358a72407","datavalue":{"value":{"amount":"+0.786534309387207","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":"Q2802497$C3271DDD-FD4C-4172-92AE-A82BA653CA06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2802497","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2802497"}}}}}