{"entities":{"Q2915067":{"pageid":2925787,"ns":120,"title":"Item:Q2915067","lastrevid":51558548,"modified":"2026-01-18T18:58:12Z","type":"item","id":"Q2915067","labels":{"en":{"language":"en","value":"Exploiting unfounded sets for HEX-program evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084940"}},"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":"Q2915067$28C1E16D-88DF-43EC-8FB5-EEAC5FD52403","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6910e42a4e7c4e6943964ced810eecaa1d2fd623","datavalue":{"value":{"text":"Exploiting Unfounded Sets for HEX-Program Evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915067$7DCDC246-799E-49BE-979F-C93F4FC686E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6384a16c120f4770e0f7beea1ad44ce2ea40cc5","datavalue":{"value":"1361.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915067$2DC91D63-EEFB-4478-B87D-F98BB7AB6109","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c82f667c291254094c5c2c4022dd8c65a3c01ff","datavalue":{"value":"10.1007/978-3-642-33353-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915067$1842FC69-C440-4F2E-87FB-0A1806300D33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e2771a73d1b8d307276d7afc6997154a7082ea","datavalue":{"value":{"entity-type":"item","numeric-id":171927,"id":"Q171927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915067$B0E92900-8A47-4006-B856-90D58701ECCC","rank":"normal"},{"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":"Q2915067$86E13A40-47B8-42EE-8085-D6633BC8DA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d63d6cf008583cf83539d518f2ff6f46e31a686","datavalue":{"value":{"entity-type":"item","numeric-id":254000,"id":"Q254000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915067$C7F64D84-CE77-4BCD-B0D9-F0A7B9A53858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9bab16758456d8f7b4f03ee99744648e9429195","datavalue":{"value":{"entity-type":"item","numeric-id":254001,"id":"Q254001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915067$ED12D0B1-819F-42CF-8E43-39D9919FA83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5841eac5cc3c2145e87f90594190380e6166e816","datavalue":{"value":{"entity-type":"item","numeric-id":460630,"id":"Q460630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915067$905E8D64-CEBA-481D-B85E-FE38C0E617DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915067$692062FD-8B66-4697-B992-CB70BB01AD14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915067$8906A6A8-2FBD-4FD0-BC0A-5631E26255F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915067$07CEBBFA-4B2A-4354-9174-29D7C0879E3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c988892f5e23b6006bc82686e1a3e8fa18399a7","datavalue":{"value":"6084940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915067$4030C46A-94E3-40CA-A5E3-D64BA5560AAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915067$1B53DD75-4646-47F7-AEB6-302C2373C872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915067$EAEC4066-C259-4BBD-927D-F8DD5B216E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a6787f3734c1df8601b196e5820801ead784fd2","datavalue":{"value":"unfounded sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915067$1A8508CB-B5D3-4D11-A4E8-A28AA071A3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eee3030d917a9dc1f8b4d39adc1588a3bc3df696","datavalue":{"value":"FLP semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915067$3780E41B-657B-4751-B5B0-356371A623C8","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":"Q2915067$74B45D34-9675-42CE-9296-3274F6FCC021","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e2c67b83a63c19dbdacaebb5d93734fe60fb0c6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33353-8_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915067$8506C79A-8ED9-4DEA-B0F7-D6F6944A9C24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"732d90924780e594237899e61ab3380397f15c20","datavalue":{"value":"W129056281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915067$CA738A9B-9AA1-4F8A-B266-BEB2DAA03230","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"331530ff9a41e013cbae6eddad6fda39574d1faa","datavalue":{"value":"Q57549088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915067$A56A9771-BBC8-477D-8F83-AE008B857D78","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0f7e101a0ec1c49d6dbda6afd04acdf641c074","datavalue":{"value":{"entity-type":"item","numeric-id":1855240,"id":"Q1855240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915067$04CF41E8-05F1-4D3F-A3FE-1D565BB72195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6658d8ea50f8b4478a203814200a98368251cc11","datavalue":{"value":{"entity-type":"item","numeric-id":3003246,"id":"Q3003246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915067$CB92BD7B-CC87-4ABA-900F-6F18804A2A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01a5cf1e452dacfc996694fdfb174a84b3a72828","datavalue":{"value":{"entity-type":"item","numeric-id":4911141,"id":"Q4911141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915067$5CF71EAE-03F8-46AC-A67F-D0D52720BF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef87dc700532fd4508937de61efb5352ccaaf3ce","datavalue":{"value":{"entity-type":"item","numeric-id":5404394,"id":"Q5404394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915067$D90E1457-6FC6-4D9D-AEAF-B5F418F629FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c79d6859d46b83a6c1152113472ff08b3a45a4","datavalue":{"value":{"entity-type":"item","numeric-id":460632,"id":"Q460632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915067$17984872-B7C7-43AE-B8A5-EEE7846E0CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe029a7091c01f7058b54baf3993e4360a4c499","datavalue":{"value":{"entity-type":"item","numeric-id":5473959,"id":"Q5473959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915067$5DD6B91C-49E2-4968-9FD6-F375AA45F2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a94cdfb9593809bdead9d9efe4fec09d19deada3","datavalue":{"value":{"entity-type":"item","numeric-id":543600,"id":"Q543600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915067$D2B51C65-DD6E-49D6-B3B6-D21220D1A020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d65be6b84798d28cf87a0d7ae277068dab641b7","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915067$D4C911FF-C1F3-425F-A5AE-7B3A6434B82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915067$E6EE7653-9798-41C2-BDCA-68AC6C98D6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021bd14c32884ddf08e98f38dd04ed6ed3c3e83","datavalue":{"value":{"entity-type":"item","numeric-id":814529,"id":"Q814529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915067$5ED40495-398D-4C23-8A4E-7E523AD5849E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d697ddf86a3473b0b0dddc263f10e314dacbbc5","datavalue":{"value":{"entity-type":"item","numeric-id":1363783,"id":"Q1363783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915067$69ED1442-9D71-411F-8C5B-EDED5B6FC14A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6b36426d71925471652acccf46dc9980c15547","datavalue":{"value":{"entity-type":"item","numeric-id":5404394,"id":"Q5404394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b3afe4c3fbe1bab0e4c51c0f478c50dfe4e1515","datavalue":{"value":{"amount":"+0.9524309039115906","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":"Q2915067$1F74EE1C-CAE6-4A26-9BFD-A3D29A7E3F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae9a7b17b75ef52cbcf863159ff7e32e818d69f1","datavalue":{"value":{"entity-type":"item","numeric-id":4580278,"id":"Q4580278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c31447084d5c25e95365f62b1a1ab9f0b9ee801","datavalue":{"value":{"amount":"+0.8199340105056763","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":"Q2915067$7A7EA711-2D50-4853-BB33-E0CF6E6CCD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"187aea326889f137504a611fc76232e39d028e03","datavalue":{"value":{"entity-type":"item","numeric-id":4957183,"id":"Q4957183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c24a05264a7824ca034bce308749ff07c9311f","datavalue":{"value":{"amount":"+0.8161041736602783","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":"Q2915067$C417C070-EE97-407C-BBFA-E18416FEA14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad3fe0fa55ed6eabbc72d6ae9d89aa46bad872c4","datavalue":{"value":{"entity-type":"item","numeric-id":4911141,"id":"Q4911141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd70821b8caa11713eb31320943bd888b7a3d75b","datavalue":{"value":{"amount":"+0.8093389868736267","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":"Q2915067$028A29E5-B03B-47AC-9CB2-CBEAC06EF9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbfbbe877dfb83069e1a4649cda153f4a72187d3","datavalue":{"value":{"entity-type":"item","numeric-id":5398090,"id":"Q5398090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5da8ae74dd89d43bd0cca2e87cbb923eec7b74","datavalue":{"value":{"amount":"+0.800895094871521","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":"Q2915067$3872A50F-2C10-4133-9408-907A05F8321C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2915067","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2915067"}}}}}