{"entities":{"Q5958611":{"pageid":8135413,"ns":120,"title":"Item:Q5958611","lastrevid":47755291,"modified":"2026-01-02T14:53:26Z","type":"item","id":"Q5958611","labels":{"en":{"language":"en","value":"On the construction of stable models of untyped \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715640"}},"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":"Q5958611$8D7AB1D3-4AF3-443D-A923-D25EB424CD66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8668b6b26e5041d41b221bc96facd764e56a252","datavalue":{"value":{"text":"On the construction of stable models of untyped \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958611$4A952805-9930-49F6-84B3-D1FC58339047","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc3988833b025af1d9187c2b3879ba860ec50314","datavalue":{"value":"0992.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958611$105174C0-2B3B-491C-BF66-2288929B2C6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a85363edc66a20e0a9a5433e1a108346aced5ff9","datavalue":{"value":"10.1016/S0304-3975(00)00371-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958611$A3584C9F-26A3-453D-8F8D-D0F59AAE3C72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"201ddb3ef9ba2b1e09d8c8b0d7f7d7a4deb45f0a","datavalue":{"value":{"entity-type":"item","numeric-id":236443,"id":"Q236443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$9970FE9F-2465-452D-BAD5-6CF60FE6FD64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$2BB884D6-4833-44AE-AB4D-E280E8982840","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958611$BAFAEF8A-5594-47EF-A014-05E405A71378","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958611$528A0BB6-7F22-4958-B8B1-ED066CB6DBD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2b3e6a2e8298467b87890e75c990c9969df4798","datavalue":{"value":"1715640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958611$6E7E6ABE-E4A1-4FC3-898F-770E3E44AAC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db6d957d91ef03efb279b574e0523c3609dd7cde","datavalue":{"value":"calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958611$56DA083D-D537-4F4A-A8BF-D02E8602EA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f330fb0a96988399b2cad6e13eaac2b7823f0d","datavalue":{"value":"stable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958611$D8F99349-7222-4582-8190-9814834A263A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69ef7cce84924782a17f07be880c90be2c642cc3","datavalue":{"value":"sensibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958611$065D00A3-7FB5-4180-8FAF-2243F76F36F6","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":"Q5958611$2F0B8BC6-798C-4CBE-AC8A-9676FAC6D984","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa4f6773fb1d7dcfe9dddb68be9519eaeba7e70","datavalue":{"value":{"entity-type":"item","numeric-id":3206926,"id":"Q3206926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$59F7F494-2C8B-4265-B0B6-4E2E4937C6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"497e8d671416665b8bbf70dde157f700456c28e2","datavalue":{"value":{"entity-type":"item","numeric-id":4194931,"id":"Q4194931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$79778CAE-AF62-4639-BAA4-8C790EC20883","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":"Q5958611$451AE39B-B3CE-4B77-92B0-1BE4EB2E935A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a73ee02c35fe3fe449415ecdac2fc2d99d06a639","datavalue":{"value":{"entity-type":"item","numeric-id":4263864,"id":"Q4263864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$220521D8-6EC9-4E3A-BC4A-F952293A3DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$67850B67-2FBD-4E9B-B5B0-087E01EDA548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a946d393eaba17b2489f9c72b865aa3a82d6f7","datavalue":{"value":{"entity-type":"item","numeric-id":3900018,"id":"Q3900018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$B4AE6E19-97CF-4D08-A481-23A0C673E1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f3675aa47b918434ec5f9640beb8a18a4bf26a","datavalue":{"value":{"entity-type":"item","numeric-id":4260372,"id":"Q4260372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$3E901A43-36B1-4036-AA30-96FA9BAB4DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1775004b2ef708218318beb1e1a2a046b6ebba24","datavalue":{"value":{"entity-type":"item","numeric-id":3816053,"id":"Q3816053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$172EEC94-F9D1-40B8-9442-D72A9CFBF395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"275e60b67d8e0098a021d3b0b6f886f17d528e8e","datavalue":{"value":{"entity-type":"item","numeric-id":1198661,"id":"Q1198661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$980D1A3E-8D85-46C2-9286-3082479AA73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c401e46239dabb51683570f5525fdcd2a90e5d","datavalue":{"value":{"entity-type":"item","numeric-id":4094853,"id":"Q4094853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$63EFA107-B776-4E61-8F0F-2383AECE8777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d857b76069b4262b1e49c8d71e9d936817db9a4","datavalue":{"value":{"entity-type":"item","numeric-id":1580649,"id":"Q1580649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$AA6DC79F-B9CE-4F4B-9602-CE10173938E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75d9225d3cd6d3b588c2102a4d2d660fd28f0929","datavalue":{"value":{"entity-type":"item","numeric-id":4254697,"id":"Q4254697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$5A752AE7-E31D-4807-90FE-ACC782813113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec40fea262e0a469ec50d15c64f3d94f0cd7c4b2","datavalue":{"value":{"entity-type":"item","numeric-id":698623,"id":"Q698623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$2E3082A8-C91A-4435-9504-0CC0C51C9866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$FA6EDF55-3A22-42F9-9ED6-A5D347F23E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e7e43f784716a014f37546d3a4d6870aa0b11fe","datavalue":{"value":{"entity-type":"item","numeric-id":4744243,"id":"Q4744243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$9B450B13-82D7-4F84-9438-FF41F1EEAD90","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":"Q5958611$E40D74E2-A774-4E35-9F49-8E179DE6A6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$6DF402F6-9992-4158-8D6F-9761CACE082F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd6f704c9882b94a0096a4e5e8362c1c7adb4954","datavalue":{"value":{"entity-type":"item","numeric-id":1214887,"id":"Q1214887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$E517F704-4F5E-4B7B-ACC2-ECA87B9B25F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$E11D23B5-0DD6-4D76-B350-4DAFA9D5A98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$D01DF08E-F28A-44E5-B838-979549113C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ae43f93fd7654342456e10d2e58a80da316a09","datavalue":{"value":{"entity-type":"item","numeric-id":4193435,"id":"Q4193435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958611$01F35119-A854-4D33-9545-C9D2CC1B5155","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63001cfdc0106cfa5ad69b1242ee93419d2d4158","datavalue":{"value":{"entity-type":"item","numeric-id":1125063,"id":"Q1125063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bece946225c95ad4d2a316b08244b07c0ae9b252","datavalue":{"value":{"amount":"+0.8307711482048035","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":"Q5958611$4BC653F0-5F45-46BF-BF5A-ECFC34712316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab827eeac03a5dcda83e79f62427aa0e8a77606","datavalue":{"value":{"entity-type":"item","numeric-id":698623,"id":"Q698623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5239d3ffe9e62d8941d9e5fdad92fca8bebb9e1c","datavalue":{"value":{"amount":"+0.8219601511955261","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":"Q5958611$F4189E0E-B1F6-468F-92CF-A68F8ED168E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f397c23b62469b6edce0aed520e748f2f9c3d40","datavalue":{"value":{"entity-type":"item","numeric-id":3643360,"id":"Q3643360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5239d3ffe9e62d8941d9e5fdad92fca8bebb9e1c","datavalue":{"value":{"amount":"+0.8219601511955261","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":"Q5958611$7A70AAA4-B828-427A-84B6-B8F654732A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37827e46ff4f4975a87a25a10e14cb616c1c40e3","datavalue":{"value":{"entity-type":"item","numeric-id":4886631,"id":"Q4886631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8682f42712d64bfef3e14905547c5d37fd205a2","datavalue":{"value":{"amount":"+0.806571900844574","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":"Q5958611$A9F1B24F-CFFF-4345-8391-39E23691753C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e967a0844032208c812c6af595f22ba3bbcb523a","datavalue":{"value":{"entity-type":"item","numeric-id":3608418,"id":"Q3608418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54986cb41aa4ec18afd55b454c1ca6bd5dbb9722","datavalue":{"value":{"amount":"+0.7896397113800049","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":"Q5958611$609FEA53-403C-4149-BAF0-51914250B1B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958611","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958611"}}}}}