{"entities":{"Q3008405":{"pageid":3019129,"ns":120,"title":"Item:Q3008405","lastrevid":85708523,"modified":"2026-06-03T11:15:02Z","type":"item","id":"Q3008405","labels":{"en":{"language":"en","value":"A general framework for equivalences in answer-set programming by countermodels in the logic of here-and-there"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908205"}},"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":"Q3008405$3B596CB9-DA1D-4923-B427-CB55E4702ACE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cca7cd5405915a0eaba9059696b781f2a3acc6a","datavalue":{"value":{"text":"A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3008405$4AE2ECCD-23BD-44EC-9354-76FAA1A4E7F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7950fa922133747ff330b42e50ea9b9fa397bc3","datavalue":{"value":"1218.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008405$599D2882-46A9-45DE-B999-EC9CEEA5AC19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c443120c30ab78ebac8b328b0cb4bb3d5edb35f","datavalue":{"value":"10.1017/S1471068410000542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008405$A7615D13-4A12-409B-9DC5-492BF681172C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c426544bb8ac422f7f01b16c87ed6dcb0cd6104c","datavalue":{"value":{"entity-type":"item","numeric-id":253990,"id":"Q253990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008405$4462CC0E-2E1B-46E4-9E58-EF72B3218896","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008405$BDE631B5-2120-4752-B395-4FB695FE19CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04f456b7978a84082d01cb786803df58ce3a680c","datavalue":{"value":{"time":"+2011-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3008405$B258AA9F-EC71-43FE-BACC-A4429283F537","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008405$C160309C-F5CB-4137-9C0E-5C2775C7185A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008405$20F93CF7-F180-456D-9BF4-DC209EF7F7FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f10db8a12b44519b58e6b8be9e2f70678256ae3c","datavalue":{"value":"5908205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008405$E200D645-74A6-4FC7-AECB-4CD3E37F04EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a9b2dcf8b3a0f429e2af80d5de714d45efbb","datavalue":{"value":"answer-set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008405$ED736CF1-244F-4B6C-9AA1-0A32482D3334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b030c2db3c695d87c42ce639374450db17b6ecd","datavalue":{"value":"uniform equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008405$F7160CDF-D17B-45AE-B941-2860884ED2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53aa8308deb44e49cd75033fcbe6ace56aab3a2","datavalue":{"value":"relativized equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008405$9AC2EFCD-2B12-43A8-B17D-F9364278AEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008405$7AE91CC4-6037-47EF-B7CE-8B8C262EFF0D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a5bf7792417d9e3fd8a6a7d4aef4b6d03fb1480a","datavalue":{"value":{"entity-type":"item","numeric-id":13127,"id":"Q13127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008405$E6E1049D-A93D-49A7-AE48-0A10D2CED898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008405$BFF6B5FB-F28E-4886-B1CA-9BD4B7774027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c1ef313e426f71f5dcd127dfe1b9fad8b07d119","datavalue":{"value":{"entity-type":"item","numeric-id":19153,"id":"Q19153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008405$C92B8DFD-3CFD-4940-B0D0-147295BE5987","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":"Q3008405$50273BB7-4A0B-4752-A6FF-1C2A06DF204E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d17e4b648ff533e3d42313cde41b763505ef3a4","datavalue":{"value":"https://doi.org/10.1017/s1471068410000542","type":"string"},"datatype":"url"},"type":"statement","id":"Q3008405$CB1AAC2B-E0DC-41AD-AE90-115DBA4263A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18766a0f57490e2812d3709f71a17b7dd53498f0","datavalue":{"value":"W2178463746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008405$2C5EE619-624F-4447-834D-E82545D2D77C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6677fac737afb8a1a54ba08b2424048a001bb9c","datavalue":{"value":{"entity-type":"item","numeric-id":5504650,"id":"Q5504650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0ea514e198cfa2d13858ae008068bf442d165c","datavalue":{"value":{"amount":"+0.971412479877472","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":"Q3008405$8C2A0462-0D5B-4243-B13C-AEB292640A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d25b74dbece6f252ddc58fd72e3bc573218e5729","datavalue":{"value":{"entity-type":"item","numeric-id":5451973,"id":"Q5451973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6cf6a1b95e5637f4e60dc6bfe162cd49a36f5bd","datavalue":{"value":{"amount":"+0.8533411026000977","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":"Q3008405$A6999BA2-85CA-43AE-96E6-D4BF11B405E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f812925c8d67723c8b1e2e6ab99b4964a6885c","datavalue":{"value":{"entity-type":"item","numeric-id":5394122,"id":"Q5394122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33a05732aef52f4a0d6f02841ae2963c682e6ce","datavalue":{"value":{"amount":"+0.8382822871208191","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":"Q3008405$2F45CF47-9DB6-4676-8E38-70FFA74232F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef47f4dfa19f85f1e5824ec163fad12514ae6ce5","datavalue":{"value":{"entity-type":"item","numeric-id":5424874,"id":"Q5424874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175a5ff18ed99ded30a1f74621a0aa577d12ad96","datavalue":{"value":{"amount":"+0.8227100372314453","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":"Q3008405$22B051BA-2E3D-495C-9C3B-4C34D3149699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a789569f5e6934a3f6b788d824a20447a9c05f","datavalue":{"value":{"entity-type":"item","numeric-id":5475778,"id":"Q5475778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"821ca97fd1b71050196b447fb7512d775b5fbb38","datavalue":{"value":{"amount":"+0.8220977783203125","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":"Q3008405$C771521B-70A9-43CC-ADFA-BA663F1FC148","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general framework for equivalences in answer-set programming by countermodels in the logic of here-and-there","badges":[]}}}}}