{"entities":{"Q2883081":{"pageid":2893806,"ns":120,"title":"Item:Q2883081","lastrevid":83691806,"modified":"2026-05-07T09:59:37Z","type":"item","id":"Q2883081","labels":{"en":{"language":"en","value":"Sampler programs: the stable model semantics of abstract constraint programs revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033335"}},"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":"Q2883081$5FF89489-6BDC-4058-8E40-079D6974F179","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd1891d2ea799a863e1f17c6da5e2d3732cf473a","datavalue":{"value":"1237.68206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883081$3A3980BE-287A-4E03-8225-BEB15FF07E0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b796059b3d44a405a8af15eeb705b77a871ac3","datavalue":{"value":{"entity-type":"item","numeric-id":517385,"id":"Q517385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883081$FEC300FD-BAAD-4155-94E7-515859E1C901","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":"Q2883081$68AB2F98-A5FB-4ACF-B0AD-61DA85FF114A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ccb7bfdc43418741abaff238fcfa5846c751bdb","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_7d82.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2883081$D41C2E0B-43C9-4AE9-B1E2-CB78D6691AB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883081$CB5FA31C-479F-4832-B5D4-817E90A63F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883081$18081678-E713-4D25-B131-43BF516CD5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883081$D143801C-9BA4-4995-98DD-A04D80DFDC68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe8c59d6a773384c472fa6ffcaf50a9927e87876","datavalue":{"value":"6033335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883081$1D5DDD59-292D-45C8-9802-248D971E9E0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883081$D78699B4-8C48-4464-BBD5-581CB41F1B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"209bb03ca7c5da1f4a2bc0a8f5e52d8c9d6b59a1","datavalue":{"value":"abstract constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883081$D666D235-203B-4B8D-AB2B-2FD010F9B678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940b0739632e21f0e6fb7821d4c99956c66a10e3","datavalue":{"value":"program reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883081$33931B25-B279-4954-B770-9A8D25DFD7D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883081$59302264-F583-43F0-A191-B1840B1D4D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bdd60b8ef11e17c3109aad756c372400a5b1701","datavalue":{"value":"choice rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883081$01A1CA21-5B6A-4B16-BAEC-53AB53CEAFCE","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":"Q2883081$724CCB2C-B20E-44B5-A0A2-20F1D2533687","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bf7f64791abbdf78d485cd8dfda6ce46016c38e","datavalue":{"value":"W1863636468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883081$83658BFC-26F7-4708-804A-44CE9D7E031D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a51e2a449ef6ce5d818575e60fe1d393a73d05e5","datavalue":{"value":"10.4230/LIPICS.ICLP.2010.94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883081$DA3AA2B7-A654-444D-98D8-CCB681B98307","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7cb50fddb2240a782a2713c3d4b8a12d30e4c07","datavalue":{"value":{"text":"Sampler programs: the stable model semantics of abstract constraint programs revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883081$067ED26B-B4AC-4E03-ACA6-F967E45DE32D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3991d346ddd214fc3110421947ee830abb8997","datavalue":{"value":{"entity-type":"item","numeric-id":3183130,"id":"Q3183130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"050a9c5b9517e2d75515ce2dd81b341e5c5f8500","datavalue":{"value":{"amount":"+0.81268310546875","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":"Q2883081$D1F475E6-4D6B-4BAD-B650-943E2BDA02A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d70675de873a7c73df5ee1a94aa6dbc8656a2a","datavalue":{"value":{"entity-type":"item","numeric-id":969538,"id":"Q969538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"835ea08fccdb7eedaa5503137661d3fa8a07e3e1","datavalue":{"value":{"amount":"+0.809493362903595","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":"Q2883081$F789BC3E-E88D-434E-B549-A96148549F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62d353c5e2f8f7e74c20c80c6b78455a2dd95b5b","datavalue":{"value":{"entity-type":"item","numeric-id":3608661,"id":"Q3608661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a63d25c8c031a498d91e71ce9ad5647626fda5df","datavalue":{"value":{"amount":"+0.793498694896698","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":"Q2883081$AB8EA5FD-60E1-47D0-9938-C7F737DC3450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6097f9fad2d3fad282d7c130e3c37bac7b7f5ac","datavalue":{"value":{"entity-type":"item","numeric-id":3624081,"id":"Q3624081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d23afaa1763d133fdd8db7349d593c28061997","datavalue":{"value":{"amount":"+0.780610978603363","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":"Q2883081$6AB8BCD9-488D-44E7-AA65-D2DE82179712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25fae62acda66fe831c38e1cd550dd3564be0be7","datavalue":{"value":{"entity-type":"item","numeric-id":5424872,"id":"Q5424872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e63d3948e93b36a52753a28daac08b9b2749730","datavalue":{"value":{"amount":"+0.7702413201332092","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":"Q2883081$ECE156DC-F1FA-491E-AABF-A085C533C64A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sampler programs: the stable model semantics of abstract constraint programs revisited","badges":[]}}}}}