{"entities":{"Q6175114":{"pageid":13310002,"ns":120,"title":"Item:Q6175114","lastrevid":58739688,"modified":"2026-04-06T13:18:53Z","type":"item","id":"Q6175114","labels":{"en":{"language":"en","value":"Reversible debugging in logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7729482"}},"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":"Q6175114$A66ACADF-C0CF-4404-AF82-ADD37837BD1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff3d2b42ae3c91f09fc62325da022b2fc2349012","datavalue":{"value":{"text":"Reversible debugging in logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6175114$9833BA4B-5ED2-48A1-86C8-762A04B09C56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e7ae1ed6cc49f96cc86f8eb6282934daf1c969d","datavalue":{"value":"1529.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6175114$175653CC-E421-4A62-B7F2-3E6F37D28134","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b83d77ae630d6a1b5e23ebc2ac806e3b258ed48e","datavalue":{"value":"10.1007/978-3-031-31476-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6175114$6CC00171-2377-4EFB-AF9E-C3F4584CE092","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"018a45413fbb8c9259001dc9c55f052d2b61eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":232929,"id":"Q232929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175114$F3DCC1EC-2692-4D47-AB86-485F2AE0E1EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19c93180a27e37163c0d09924074dd79fc90fbc6","datavalue":{"value":{"entity-type":"item","numeric-id":6175102,"id":"Q6175102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175114$758E6A48-8DC7-41E1-83E5-551697A5B631","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6175114$3B796FD8-9AF6-492B-9EF2-D48D3CDE4697","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5acd8279abe7863d21bed5f23708b9841e120bc","datavalue":{"value":"https://arxiv.org/abs/2007.16171","type":"string"},"datatype":"url"},"type":"statement","id":"Q6175114$045838D3-64B2-41C8-B0D8-6B01A40B8A0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6175114$16E37ADC-4BDD-4562-B39B-33CE5ED09CB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c831260183caa5dd84f965ae7bde1f47a7d230d","datavalue":{"value":"7729482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6175114$1CD8C5B5-7861-4220-9051-D8D06629AAD9","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":"Q6175114$E26DFA7C-F2B0-4B53-9AA3-E901A7F4CA13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7910cd7e68971fa2afc35be4a34b2cda3475376a","datavalue":{"value":"W3046889311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6175114$B657F0AA-8AE1-47CB-B2DF-221C6E31F07E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9162690d9bfa552b5503edcbab1a048f053455","datavalue":{"value":{"entity-type":"item","numeric-id":4317721,"id":"Q4317721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175114$91CBBFAE-1514-4E5B-A7A1-7188E2916BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6dec537d4f19cf47ecd1934dbc360b8552ae204","datavalue":{"value":{"entity-type":"item","numeric-id":4700389,"id":"Q4700389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175114$6C86C88D-359D-4584-BED8-7C57783C2CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf5d30377b1d88f6fded624586a0306b8b2d38d","datavalue":{"value":{"entity-type":"item","numeric-id":3629225,"id":"Q3629225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175114$DD932DC4-91D4-498B-94C7-85E2A89D8844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845c1e699c5610c83c3449470081de7fc5ab039f","datavalue":{"value":{"entity-type":"item","numeric-id":6190186,"id":"Q6190186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175114$A10CCFE2-8084-4165-892E-7C2A1D912A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175114$30D725BE-863C-4896-BE26-63D3A88EF8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6485f1617e056e38118c25200d4fb11e4052bcb","datavalue":{"value":{"entity-type":"item","numeric-id":4593010,"id":"Q4593010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175114$05827BB6-E239-44B2-82BC-D17B612174AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2010a40453fa04571eca002fb1ef06131918d06","datavalue":{"value":{"entity-type":"item","numeric-id":4909327,"id":"Q4909327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175114$BEA21CDB-CAB1-47B8-A773-96938034A4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eebef2ab033ca07295b06123c883b16c13807ae7","datavalue":{"value":{"entity-type":"item","numeric-id":2039908,"id":"Q2039908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6175114$5F5D0472-AEC4-4C68-BDD1-6369995F75E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3e32ba8ed4765363c44ad85dd0faab900af3eb","datavalue":{"value":{"entity-type":"item","numeric-id":1796364,"id":"Q1796364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6700e4b1a520f0b725f72111ac0405ae81ef52f8","datavalue":{"value":{"amount":"+0.7943781018257141","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":"Q6175114$18B53F12-07EE-4613-B011-BE6DB9915AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"805a24abde093b2ce28f4e9a2dab9c3652be49b3","datavalue":{"value":{"entity-type":"item","numeric-id":5237216,"id":"Q5237216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481fa949ab9f36a7d0afd7cabbf244e49e8e679d","datavalue":{"value":{"amount":"+0.7789686322212219","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":"Q6175114$84598645-DEC2-4107-B484-CE194E19BA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31f1c8cf9fc091641bb09b6eb647fe32d8e060f","datavalue":{"value":{"entity-type":"item","numeric-id":6151560,"id":"Q6151560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec4e12f327ff54f560434f29c6dc57230a862a3","datavalue":{"value":{"amount":"+0.7190443277359009","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":"Q6175114$A30F15CF-71D4-48A2-8091-3F7F65CB3023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9738bcd13a449780c1edb0ff72a5dd957acf8ae0","datavalue":{"value":{"entity-type":"item","numeric-id":1322853,"id":"Q1322853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea9a65341c63159d5752d75c5eba937f84286654","datavalue":{"value":{"amount":"+0.7186793684959412","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":"Q6175114$B7E07167-7730-4B17-A307-B327A49B9E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b0178430a1a27382f3ea7beaf3c6f06ca9683dd","datavalue":{"value":{"entity-type":"item","numeric-id":2165209,"id":"Q2165209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"561bf89ebc3fbbc37c44865cff64ec40c77d7ced","datavalue":{"value":{"amount":"+0.718315839767456","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":"Q6175114$831A7888-AD96-43DD-B8E5-C11F267E3A0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6175114","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6175114"}}}}}