{"entities":{"Q3585165":{"pageid":5615069,"ns":120,"title":"Item:Q3585165","lastrevid":58214847,"modified":"2026-04-04T06:35:28Z","type":"item","id":"Q3585165","labels":{"en":{"language":"en","value":"Catching the Ouroboros: on debugging non-ground answer-set programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773241"}},"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":"Q3585165$EA2FD7D0-135B-4412-82C8-E23F57A1EE70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94f66f5b4ec2653b5bfebacff69191385c1e19c2","datavalue":{"value":{"text":"Catching the Ouroboros: On debugging non-ground answer-set programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3585165$C8108DCF-F8D9-42A5-A656-AB5CCF3EE0B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29b4b66c596adae64e4eb80f4fd72dac5c689dcd","datavalue":{"value":"1213.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585165$4DE74FB7-20A2-4CC2-9715-CA6DF7E44C77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccc212a397d29f33e353908945c3c3385e01367d","datavalue":{"value":"10.1017/S1471068410000256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585165$42F1E085-6EC7-4163-A6F6-46DE095B3B24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04bec051d04b3524f670265dcce325e94b5275b8","datavalue":{"value":{"entity-type":"item","numeric-id":2296764,"id":"Q2296764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585165$1BEF3F96-1A45-4431-8974-DF020B961B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1594aa9f98b4649e176f08ac80a733ad89e27147","datavalue":{"value":{"entity-type":"item","numeric-id":1748466,"id":"Q1748466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585165$102D4536-0A6D-4BC3-98A2-16814411D255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b4c9a3b60ce1a7957f6ef922f2b322f43dfc45","datavalue":{"value":{"entity-type":"item","numeric-id":1868243,"id":"Q1868243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585165$FA915F71-2486-4E1D-B2DE-368E9CBC6FA0","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":"Q3585165$33B87CFB-1E98-4A12-BE96-E2BC5932FE9A","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":"Q3585165$87770613-B5D6-43A1-843F-9C16473FE777","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c49f0f6a0aa8aa862af798ed7c6c9aad85264fcd","datavalue":{"value":"https://arxiv.org/abs/1007.4986","type":"string"},"datatype":"url"},"type":"statement","id":"Q3585165$5DAB6112-AD22-45B1-9DE9-A24597E37003","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585165$812808E6-3C56-46DC-A144-6C30FB1B7CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585165$750E7119-5C61-456D-81DD-30D98E0FFE04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2fc08f7016e01b38e9484f5dc4b86997116f32f","datavalue":{"value":"5773241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585165$B9B48E46-5756-4847-93C9-B727B531AB48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a9b2dcf8b3a0f429e2af80d5de714d45efbb","datavalue":{"value":"answer-set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585165$46D2AAE5-553E-42D9-B6C9-29BBFCA285C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585165$F967F1A8-5A18-4208-A9E3-D8D6E65A7464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e209e27ecbb3fc4e2dfd619db86ffda1231648d6","datavalue":{"value":"debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585165$0F57F0E7-5391-4AB5-9536-DF16FD37A56F","rank":"normal"}],"P1463":[{"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":"Q3585165$8F90FBBF-B52B-4A55-A0C8-2D99759FA088","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":"Q3585165$BE1A991E-AFAD-4305-8FC5-BAEFD7AA3864","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b0db3af706ffc655d538111d211abb9721dddcf","datavalue":{"value":{"entity-type":"item","numeric-id":3612602,"id":"Q3612602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585165$BE98B8E9-87D7-4A82-861A-AD8BEA85B3AA","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":"Q3585165$1A926C37-6644-4779-88E2-01EE37865A3E","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":"Q3585165$59A542E2-A0B9-44CF-AD2D-54955BE25273","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"981de6c4a860a52f622a0e25672f0839b35d5c94","datavalue":{"value":"W3101739347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585165$D9AC1E4E-BD8C-48F4-8F6A-BEBB70F487EB","rank":"normal"}],"P1643":[{"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":"a7a480be2c0d790c1abc25c55913bd7e6e0cde8f","datavalue":{"value":{"amount":"+0.8996210694313049","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":"Q3585165$C8524CCB-94A8-4EB4-9A88-6A354AC0408E","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":"39e48870670a6874834b2e15a4a61608662c912f","datavalue":{"value":{"amount":"+0.8905792832374573","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":"Q3585165$B62B93DB-A637-4B72-80BD-808CF366D9AC","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":"ffe47eb8d942d46e67d7d65bec5ef46b2a4fa270","datavalue":{"value":{"amount":"+0.8561509847640991","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":"Q3585165$89150C27-8AB2-4A8A-B9D3-ABCE81D19919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76306ca828b5e1f910ff2b11ccc78fec322d7637","datavalue":{"value":{"entity-type":"item","numeric-id":2851274,"id":"Q2851274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a67debc1f586ebed4a797ec3b5d8cb7cf84c9c","datavalue":{"value":{"amount":"+0.8357394933700562","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":"Q3585165$D410199C-C3FE-4565-BE80-954DF748F6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"018a7c57d515aae57cc1687dd54e640ce212e8c6","datavalue":{"value":{"entity-type":"item","numeric-id":4603428,"id":"Q4603428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80293994024655f15f97c021b409279c8f5c919c","datavalue":{"value":{"amount":"+0.8323304653167725","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":"Q3585165$E692F788-36E8-4148-97A7-CF0819361647","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3585165","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3585165"}}}}}