{"entities":{"Q5404394":{"pageid":7433968,"ns":120,"title":"Item:Q5404394","lastrevid":40799235,"modified":"2025-04-04T18:16:52Z","type":"item","id":"Q5404394","labels":{"en":{"language":"en","value":"Efficient HEX-Program Evaluation Based on Unfounded Sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6272482"}},"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":"Q5404394$519E194F-4E72-4BBF-B787-F49B1C77F9F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26fa23146ac0d9ce73bfe21f84b21453cf24d16e","datavalue":{"value":{"text":"Efficient HEX-Program Evaluation Based on Unfounded Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404394$E7EF743E-4FE0-4A03-BAB4-DD786347FEC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0b28cc2117938c07a09acfd8af975c362ea8e37","datavalue":{"value":"1361.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404394$DA5FB82F-DE72-4777-ACB0-1E8D22FD234F","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":"Q5404394$4CDC701A-B2E5-4380-91DE-D61B5B9C222D","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":"Q5404394$8E359ED1-913E-4B92-9819-915927BD5350","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":"Q5404394$55431E0D-2EFE-410D-9E4E-A7C91CB84137","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":"Q5404394$DC970115-8A1C-40F4-841C-AFD9FA182A55","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":"Q5404394$858CE416-90BF-411D-8CCC-98F9F7D6107B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404394$EF06A497-AB44-4F08-A1CD-B8E82C486E89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"630dce3b2853701ed9536abebcceb27951f83aed","datavalue":{"value":{"time":"+2014-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404394$595CA407-A325-4C0E-890A-B53941A3D2C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404394$F49CA493-2F29-46BA-AE4B-AF022DB875BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e76fc7fae31ebfcbcf4448a3f006bd18db9cf733","datavalue":{"value":"6272482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404394$9A1363A3-E001-4A4A-AEF5-F45CE1BD5EE3","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":"Q5404394$9BA24A0A-C259-4162-A902-698F52BEC0A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3b356ce9b9e8c6b709d3b2f7a22cb5b318365fb","datavalue":{"value":"https://doi.org/10.1613/jair.4175","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404394$905CE982-74CA-4C7A-99C3-1B5448356291","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a3275daedf56ab3d90aaf3a0670381edacff7b0","datavalue":{"value":"W2153361264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404394$E83147E1-5E7F-49E8-A1F3-10FEC1F28B0E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ff14718e23f1c91876d60f58296b965dd51d6e39","datavalue":{"value":"Q129489692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404394$AC01E783-54FD-4536-A316-655532234150","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"778c7fe79ce481934d2ffcc59ad787bbeca788f3","datavalue":{"value":"10.1613/JAIR.4175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404394$956EBDF5-E492-41A9-9FD6-DCBE03E9165D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58c72c2fd66a56098b46d66afe06707953e10304","datavalue":{"value":{"entity-type":"item","numeric-id":2915067,"id":"Q2915067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fca6a11a074f3fc9457ad6ffdf38b49574ec657a","datavalue":{"value":{"amount":"+0.9689757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404394$C8E47D59-DD86-4F7B-BB5C-FE2ADE2812A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a91f939c2b4f2b71dddf908b0c302e022c4ae03","datavalue":{"value":{"entity-type":"item","numeric-id":3003246,"id":"Q3003246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aaef744a9a020568c52bcbc4e6a6016036e5b72","datavalue":{"value":{"amount":"+0.86616457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404394$72900AEB-ACA6-4361-B08E-1B0CABEAE22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f186d006df1747b800f6f9f627359e91f3621d","datavalue":{"value":{"entity-type":"item","numeric-id":2296747,"id":"Q2296747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f85045d631db4d687a60d3b9dca232090404d75f","datavalue":{"value":{"amount":"+0.8345317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404394$D08F2AE4-1599-4F94-BEE0-FDDB19A9F77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7430bc7dcf9edfab30697262175e7c2b6e05a08","datavalue":{"value":{"entity-type":"item","numeric-id":2851236,"id":"Q2851236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71969522998dd643921a1b3cfe32216804451e8","datavalue":{"value":{"amount":"+0.81403816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404394$2536948B-12DC-46F1-8E1B-56FF6FFE609E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1634fefb1e902bda6905f9c71f37df14567bec21","datavalue":{"value":{"entity-type":"item","numeric-id":4818872,"id":"Q4818872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aa799e4f4bb30a575197a5d77f383d078aa6269","datavalue":{"value":{"amount":"+0.81396025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404394$7635A7FA-2E44-4687-8E9F-7E3FA035EDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb1dca691c49c005d3d69e72aa3ef886177775b","datavalue":{"value":{"entity-type":"item","numeric-id":1267764,"id":"Q1267764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aa799e4f4bb30a575197a5d77f383d078aa6269","datavalue":{"value":{"amount":"+0.81396025","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404394$07864C34-8580-4B2F-AD18-F8371C0416B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c22ad13ff34d26f0bb8261252b81ca19235cd1d","datavalue":{"value":{"entity-type":"item","numeric-id":4020486,"id":"Q4020486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10fd6ed46bf6c0202dddf47b6e74788b8262f2fd","datavalue":{"value":{"amount":"+0.8076626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404394$79465601-3EB6-4476-B390-B833876DD46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672c54e37cbebbda8a6cde179406fa5d4f921c63","datavalue":{"value":{"entity-type":"item","numeric-id":5445291,"id":"Q5445291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4008ca84d4e877e6bf765eb76f6eeb445b1913a","datavalue":{"value":{"amount":"+0.80382293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404394$2A6FC2BB-0685-4187-BBD5-E98D9DACBC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba51166c471e9289a0ecc3d71d73a5b4685b7ff","datavalue":{"value":{"entity-type":"item","numeric-id":4633544,"id":"Q4633544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a425aa4518bec31bb071c3ef7538f34b6ff8035a","datavalue":{"value":{"amount":"+0.7971003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404394$63FBD826-A0BE-4523-B8C1-767716399DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"506e754b1cdea091a8dc02f053bc968effe7ca95","datavalue":{"value":{"entity-type":"item","numeric-id":1285862,"id":"Q1285862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fc6869bf31ff6c2d778404e5cdb47be6481e114","datavalue":{"value":{"amount":"+0.7956896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404394$40EC0C32-08B9-497E-A206-9727BFBDD745","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5404394","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5404394"}}}}}