{"entities":{"Q2883086":{"pageid":2893811,"ns":120,"title":"Item:Q2883086","lastrevid":51464210,"modified":"2026-01-18T09:06:22Z","type":"item","id":"Q2883086","labels":{"en":{"language":"en","value":"Tight semantics for logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033339"}},"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":"Q2883086$08B1BE53-7BAB-4EC3-8017-0F9F7A90BEF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a5fa32322e1c8342927c56b138eabd64c9ea044","datavalue":{"value":"1237.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883086$C18BA942-827C-42AA-A7B3-733A1E30BAEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ed3d8ab05233f431dcdbad1e0687426441c617b","datavalue":{"value":{"entity-type":"item","numeric-id":421475,"id":"Q421475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883086$DF502B2C-4D2E-4F76-92BD-989280021546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd2f3dd484b33394d0aa4600dbd29383d0f6102d","datavalue":{"value":{"entity-type":"item","numeric-id":2829936,"id":"Q2829936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883086$037055D9-956B-475B-9162-6EFD45D5226A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2883086$FDBEBC2B-F5D4-49AE-8629-531CE3195BC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb2afe1fdb124eed9a3a11dfc52df204b17b31bb","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_fa61.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2883086$351F87EE-623A-4E4E-8AAA-370E05CE3674","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883086$DC2025AC-0A4E-4ADF-B3A4-34D0C2B3D427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883086$6DEAC87D-ACC7-43CF-A36F-6CBE51A9C3D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0283c6b57216fe4800688a82b4a7cd8ce6ddaf0b","datavalue":{"value":"6033339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883086$BAE4C08A-837A-4384-AA7E-D8F412B1B051","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90cee9fd01e4d52e97dfa03cc5edc822f7d84920","datavalue":{"value":"normal logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883086$DBD26CC1-E85B-4533-A57A-B2CDEC57493F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ed98149e09fcb227a2507e4c376757d4ccf51b8","datavalue":{"value":"relevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883086$90CDB7CA-4BE6-42C7-B693-3A57FC93E5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10f0e5c37150563d1954fc00c5345e0fa968dcb8","datavalue":{"value":"cumulativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883086$5E68FF5A-F16A-4A8A-B95E-0690E2DCB991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883086$CE0B5CB9-B52B-415D-B8AA-D8083690CE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883086$DB0C4F46-47AA-4545-BAD4-1A01ED8E9C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9abc4dca35cdc4c97e5a346cef992d8c42f95a4c","datavalue":{"value":"program remainder","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883086$27FDEB41-DD3F-4AA1-95DC-90CE65B0689D","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":"Q2883086$9B2B5E95-A8AD-42D5-8EA9-B1BEBBB26440","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27a68563475bcf60b3c9e07ea6ba366befddd44d","datavalue":{"value":"W1534321109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883086$39A2342C-8846-4814-87BF-6945CD3442CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27dae9d1f704195c5052f32799c34b550d4fb956","datavalue":{"value":"10.4230/LIPICS.ICLP.2010.134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883086$A1C0030F-64CE-4016-A984-F046F04D02E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6404368086206f77d042d866a9c7ca50b834d1bd","datavalue":{"value":{"text":"Tight semantics for logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883086$3E492E1B-6B5B-4456-A0E3-E33BDEC4EF2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86bb84870d00c37a5a2a73f098d13bcaba97e468","datavalue":{"value":{"entity-type":"item","numeric-id":4815031,"id":"Q4815031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5e3edbe1661e7fafb1fb6411b317cf58fa04e3","datavalue":{"value":{"amount":"+0.793239951133728","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":"Q2883086$CE5680F0-4F0E-402D-8516-1A8360151FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8e28e78041c57fdb47dd660f84f78a36a8f808","datavalue":{"value":{"entity-type":"item","numeric-id":4036289,"id":"Q4036289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03587c4e87cb3b7cbc9d21101af41f4253093a0","datavalue":{"value":{"amount":"+0.79315185546875","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":"Q2883086$A66A52D1-6377-4659-8EDA-8E6CE9F5FA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f89ae176d732d6fee29c2e267d7757dc151483","datavalue":{"value":{"entity-type":"item","numeric-id":5930853,"id":"Q5930853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03587c4e87cb3b7cbc9d21101af41f4253093a0","datavalue":{"value":{"amount":"+0.79315185546875","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":"Q2883086$725CBD9E-5CBE-438B-B2FB-724E5146476C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee51c5b56a5aac84a6e446473373c1edc02f8c6","datavalue":{"value":{"entity-type":"item","numeric-id":1823724,"id":"Q1823724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35911a8374b0bcf6af8703fe2e3f7411b1adfd19","datavalue":{"value":{"amount":"+0.7715791463851929","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":"Q2883086$03F3D1B3-94EE-4FC5-9CCA-7A7CA3917757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3a38e78f6a156ca29efc1a7eef2d172e6e013d","datavalue":{"value":{"entity-type":"item","numeric-id":3821633,"id":"Q3821633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efb5c8af090c2d3e13f3a5f5e06d868fa7149466","datavalue":{"value":{"amount":"+0.7580016255378723","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":"Q2883086$B0C74B3D-A5B4-46DA-ADE8-3AC47CE854AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2883086","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2883086"}}}}}