{"entities":{"Q3585183":{"pageid":5615087,"ns":120,"title":"Item:Q3585183","lastrevid":58215015,"modified":"2026-04-04T06:36:24Z","type":"item","id":"Q3585183","labels":{"en":{"language":"en","value":"Testing and debugging techniques for answer set solver development"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773255"}},"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":"Q3585183$FE65F94A-6B2B-4DC5-B3B5-5EB9AC70A87F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"365774820f802189941e0fb428a8aa55f43f3507","datavalue":{"value":{"text":"Testing and debugging techniques for answer set solver development","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3585183$557C3A8B-EDFF-412D-96BB-8F925F6543CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b59aa1ee2cc2904a40ba5baa883d66b132777fd9","datavalue":{"value":"1206.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585183$D6A01DE0-F18C-428F-A56B-BD91C458C7CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d198076222a0d27e456730282f63d799ab65b50","datavalue":{"value":"10.1017/S1471068410000396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585183$8ADCD994-21EC-4041-8FA5-989052BAFA81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fa0709dc96806d4b999432e61c6dd75fcac2000","datavalue":{"value":{"entity-type":"item","numeric-id":3181651,"id":"Q3181651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585183$F37D39B1-FCB7-443E-93A9-BBB72181E404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d1d7d14c02d5fd66164eb2f51bc923e39cb8db","datavalue":{"value":{"entity-type":"item","numeric-id":269491,"id":"Q269491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585183$D117F2DE-58AC-4287-8A0E-FE6C3EA90BB9","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":"Q3585183$642A2B0D-96CD-4707-B262-3EAE63664070","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6dbecd33995f2d948db2c506d7c0f2fb946d5112","datavalue":{"value":{"time":"+2010-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3585183$FE69AD4C-BC6A-40C9-9EBF-B4859E7414C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26b3e87a2c451cdad9dcd28baf9ecab9644a628f","datavalue":{"value":"https://arxiv.org/abs/1007.3223","type":"string"},"datatype":"url"},"type":"statement","id":"Q3585183$5A8FDD46-8571-4E1E-89B7-6DA70E32ECE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585183$2FC12718-066D-4B81-BDFD-76CB2B642E01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89dd7f635a89be6fcf6ae193fded97dd35684cd6","datavalue":{"value":"5773255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585183$72D09E0C-807D-4599-9E9E-9D0BD3AA1A9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585183$01FDDEAB-7532-4377-9732-BC96421289B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a82567bca99b2ed338b9b54fbae2870deaafc2a","datavalue":{"value":"answer set solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585183$63149B44-2204-4430-BA5C-19341C22BD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585183$3FA9A06A-4EEE-4EBB-A656-8B42FFC95078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e209e27ecbb3fc4e2dfd619db86ffda1231648d6","datavalue":{"value":"debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585183$0D24CA0D-4DEA-4AF0-A1FB-032A907B5DF2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585183$4EA94876-F783-4C70-80CC-4E77993F2465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a5699a860dd7dc9c732976be3ba437fb61ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585183$78206E50-771B-4BEF-8DE4-CEF67D4D4B41","rank":"normal"},{"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":"Q3585183$A27A3AFA-FEB1-4F03-8247-B63C465C36DB","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":"Q3585183$5290E13C-27C8-411E-8979-66A49E45C4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585183$BC684A6F-D531-4DA1-9719-4E8822DB8353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585183$574F6818-166F-4D24-ADFE-626DCE1370A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585183$F1FD4859-90D2-4B56-B357-D5A521AEF8B1","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":"Q3585183$7982611A-3C53-46BE-9DA0-66F7B7EAED6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0cd330bebf3218a0416379bc884210d2a5dc3f0","datavalue":{"value":{"entity-type":"item","numeric-id":3515138,"id":"Q3515138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585183$EE3A4D09-A69A-45F3-9D3B-C8A6701B2F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c7d0fcce172bfc08bee9ba0fa79c71c72be739","datavalue":{"value":{"entity-type":"item","numeric-id":861709,"id":"Q861709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585183$E4EA61F3-F110-4887-B4E7-22D2244C16DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7023c2590bc2e055b4c74d4727dbbdf453931d","datavalue":{"value":{"entity-type":"item","numeric-id":3395262,"id":"Q3395262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585183$A87DCBD0-723E-4667-9C66-75B6771B14FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65bb3b597e8e4c71306e56ee6e7e9bcdf588abaf","datavalue":{"value":{"entity-type":"item","numeric-id":5425396,"id":"Q5425396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585183$AA11619B-1D88-4B43-98D8-774EA08948F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abea80f8ea58693dca94d048022142338c933cb2","datavalue":{"value":{"entity-type":"item","numeric-id":5387832,"id":"Q5387832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585183$87BEFDEB-0D99-4AAC-AD0E-505201CC097A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ff4fd15aa6734e12066f575f2700abc354f037","datavalue":{"value":{"entity-type":"item","numeric-id":1603743,"id":"Q1603743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585183$33645BF7-0246-449B-9B05-7CA10D6CCBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585183$3FB3884A-90BA-421A-8A69-EDC4567FE7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d9d5d446aa1cba4185f956ac343ec2fb5c209d0","datavalue":{"value":{"entity-type":"item","numeric-id":3643121,"id":"Q3643121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585183$2D5916CD-1DFD-4BB0-A584-BFCCDE7E53CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7398f4cae4cec658516c98c457f600d9de99e9","datavalue":{"value":{"entity-type":"item","numeric-id":814607,"id":"Q814607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585183$A49F058B-E3C0-4FC1-AACD-848DA50FDCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2befd5bf037312a5f81f972d48216396733a6971","datavalue":{"value":{"entity-type":"item","numeric-id":5277755,"id":"Q5277755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585183$DE833047-1BD9-4FC6-BDEE-B07FF48A7425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a55f3f509f5d24c1138ada657548cee43c7f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3643113,"id":"Q3643113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585183$E8598826-00C6-40E2-9C8E-129BF6A30FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05deb1ccde75ab053138014416c29fa9ac44d758","datavalue":{"value":{"entity-type":"item","numeric-id":3647255,"id":"Q3647255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585183$C815E4E5-20AF-4DE8-B418-857C83C2F296","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2aa6c4347f8e43697a8075104c6676e67d9c584e","datavalue":{"value":"W2134211750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585183$1AF8F70B-C996-4277-A2AE-6969A01BDBAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7237aee3a5e9393d1bad9b271d7d57ac0128bb77","datavalue":{"value":{"entity-type":"item","numeric-id":4930578,"id":"Q4930578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171be1fdd2eea8a720c69cd83efacf6ca5e6905d","datavalue":{"value":{"amount":"+0.778130292892456","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":"Q3585183$02D85492-35D6-4042-BBE7-0F3F4A7BCF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e72f35889e2cfc6784d0372117fb01a176166b96","datavalue":{"value":{"entity-type":"item","numeric-id":5197755,"id":"Q5197755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8883a8a4959d73c894c255ff1d21a7207f8cbd9a","datavalue":{"value":{"amount":"+0.7749292254447937","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":"Q3585183$40DF5D80-D93D-4F86-B158-75C4EEF113AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca0d5a4e9e40b0c787243c2a69bd4fb9acc74918","datavalue":{"value":{"entity-type":"item","numeric-id":5425396,"id":"Q5425396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c3cd8a279f0fd7b70bab3880d984b036fe93d46","datavalue":{"value":{"amount":"+0.7716954946517944","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":"Q3585183$1806A2C1-CEED-4BED-9DB4-83DBA61C15FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5dba2e39fe73b6af982008bda38097a3fe7752","datavalue":{"value":{"entity-type":"item","numeric-id":3449213,"id":"Q3449213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1b24ed90effd75948c0f135af551141285e716","datavalue":{"value":{"amount":"+0.7694877982139587","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":"Q3585183$F682C6A4-4141-4E75-8027-9772EEC3A326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ed79296efe2b98607756b902ef1bfabe028dd9","datavalue":{"value":{"entity-type":"item","numeric-id":2999229,"id":"Q2999229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b072984a30a0149997de74d78b9d533abde8d89","datavalue":{"value":{"amount":"+0.7686766386032104","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":"Q3585183$9E344062-6F0C-44F8-A640-5255E3BB8FDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3585183","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3585183"}}}}}