{"entities":{"Q3001918":{"pageid":3012642,"ns":120,"title":"Item:Q3001918","lastrevid":51249845,"modified":"2026-01-17T11:03:07Z","type":"item","id":"Q3001918","labels":{"en":{"language":"en","value":"Inspecting side-effects of abduction in logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897818"}},"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":"Q3001918$EB03D9B8-4FA9-4DB4-8FBE-112951897C5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"310a899a22b17bdab93a8957c13e2a9a69cd5e42","datavalue":{"value":{"text":"Inspecting Side-Effects of Abduction in Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3001918$BCC0677B-A9CB-404A-88F4-6D39F39EB904","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c94e5ef827cb29573182eb10ac93e5e46b5455b","datavalue":{"value":"1309.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3001918$0255DC31-91BF-4BBC-867F-0036AF0DCD14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25e262fe1786ca213ac5e0b0d5d9531f193b5c4d","datavalue":{"value":"10.1007/978-3-642-20832-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3001918$B419D98D-4A9D-47F5-B7FB-F7D0DD9B00C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ed3d8ab05233f431dcdbad1e0687426441c617b","datavalue":{"value":{"entity-type":"item","numeric-id":421475,"id":"Q421475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3001918$EC0AC6A7-D07C-404B-B416-74D6F07B0369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd2f3dd484b33394d0aa4600dbd29383d0f6102d","datavalue":{"value":{"entity-type":"item","numeric-id":2829936,"id":"Q2829936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3001918$A037E941-24CC-4CE2-82E5-62956F593220","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3001918$E2907140-1888-43E5-8C69-453974D71EE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-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":"Q3001918$6339918B-7FD0-4B1A-B1C3-A800D179B901","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3001918$E29AC045-A060-42B7-88DB-04850119ED3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3001918$45C4458E-9DC0-45FD-8503-1F652FA74037","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e9d086c1d80877ce70a8f4ae78dbcbd2de87ba7","datavalue":{"value":"5897818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3001918$6AB400E4-C554-49E0-A769-565989EDCBA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3001918$631E6F08-E8F5-4714-9D8A-96B71CB25804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3001918$D82FB487-1928-47EB-ADE1-6A016B692CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de74706690136e8bb72963b6f6514704e8ce2b86","datavalue":{"value":"side-effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q3001918$23AF534E-C042-4FD4-9EAD-1B2DBC695BD6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7f8728c6264b5c1e7e9024465fe5aee90eb64c19","datavalue":{"value":"Q62045806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3001918$37669747-A2B2-41B6-93C3-59100133E1E0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3001918$F237DA55-AB96-42C4-AB79-CED69C969550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1da121714b17d37c0202a580fc288d94b43d180","datavalue":{"value":{"entity-type":"item","numeric-id":25788,"id":"Q25788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3001918$6CB60186-9656-4C55-9D8C-FC993FFC3179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53b3bbc449b1f5ebf2553dc0b5b68320213b2ee9","datavalue":{"value":{"entity-type":"item","numeric-id":15282,"id":"Q15282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3001918$4A0C3EC0-C0A6-4421-937D-CF7742D87CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a47b243910f624ba37204a9a904b3b4e463c417","datavalue":{"value":{"entity-type":"item","numeric-id":25787,"id":"Q25787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3001918$ABA44B09-9D95-410D-9456-2EFA969EE635","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":"Q3001918$8B21D70A-67AE-4B35-AB56-B9805E13799A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e66f0c316c2bc6fc51da985bd77ed0280f7d6150","datavalue":{"value":"https://doi.org/10.1007/978-3-642-20832-4_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3001918$F81C3E34-2435-4F14-91E7-92664FD57508","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83eba4d9d543dba2881ecc13fb9e5361154bf597","datavalue":{"value":"W1873783386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3001918$911B8FAF-9FCA-4CC0-80C1-A593B7EF7E0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b641cdf3032f11c5b34504ffa90d83db50a89d96","datavalue":{"value":{"entity-type":"item","numeric-id":1614866,"id":"Q1614866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02b6e5c6bcb09dcd6428cb39f35c8c0ce5085b17","datavalue":{"value":{"amount":"+0.7165727019309998","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":"Q3001918$D23F6E03-2F94-4486-B95D-EB8CA002A51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33496806bc50a091c39feb747096092443281dda","datavalue":{"value":{"entity-type":"item","numeric-id":1389684,"id":"Q1389684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee35d33be14a7e807c0b10ef5f3b38afe9e599a4","datavalue":{"value":{"amount":"+0.7147993445396423","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":"Q3001918$8F7FD9BC-EACE-4717-9FEE-82799B3BFE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78b2310939dd5fcb668fafc7bb977cf0dfb5be4","datavalue":{"value":{"entity-type":"item","numeric-id":5286914,"id":"Q5286914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"324b275164796bf92929e37f0c4950f9c69f9548","datavalue":{"value":{"amount":"+0.7138607501983643","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":"Q3001918$8CFDD109-41B8-4497-B4D5-E08E0B38CD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc9426bd8abd6208e365c6f3a02728782007e20b","datavalue":{"value":{"entity-type":"item","numeric-id":4819009,"id":"Q4819009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7859a5ce85e680d1741693999dc71421734affc3","datavalue":{"value":{"amount":"+0.7121931314468384","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":"Q3001918$8A57E605-9BB1-4FE4-8B8E-A1FCB4D79BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72030f0797cbf86ec93afebdb5f758e0924ed60b","datavalue":{"value":{"entity-type":"item","numeric-id":4209293,"id":"Q4209293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d11cba0d1e1e6cc0df6ca97cc064a44dd5c7864","datavalue":{"value":{"amount":"+0.7095416188240051","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":"Q3001918$5194DDF0-F81A-46CA-A1F0-1EEF591ADE33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3001918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3001918"}}}}}