{"entities":{"Q2883066":{"pageid":2893791,"ns":120,"title":"Item:Q2883066","lastrevid":51464180,"modified":"2026-01-18T09:06:20Z","type":"item","id":"Q2883066","labels":{"en":{"language":"en","value":"Runtime addition of integrity constraints in an abductive proof procedure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033326"}},"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":"Q2883066$8371FDE1-0BB8-4A8A-BF7F-BEDD33D97383","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb3ee604deffbd8891aa82647aaa8a4cd66cbafa","datavalue":{"value":"1237.68200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883066$A479037C-88D2-45BD-BBBA-19BC2EDBE044","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79522d80875e707d0dab6f28d9451bb243141953","datavalue":{"value":{"entity-type":"item","numeric-id":421473,"id":"Q421473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883066$41091477-5F15-452B-B02A-F1B9FF5C24A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e88b0a6982e0cec91b7f35f7ecc941ec13aa573e","datavalue":{"value":{"entity-type":"item","numeric-id":222875,"id":"Q222875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883066$FBEB2599-D371-4714-86A7-9AB5887F6CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0afff187604e083e0229c3768f1fb98d8d2d59ba","datavalue":{"value":{"entity-type":"item","numeric-id":222876,"id":"Q222876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883066$F71AD744-D4E1-4D81-BF37-264F47575B7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2883066$C51EB8E8-40EA-42CB-92D3-436484C7C274","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc5ef4563dca07a831d1921cb6495a711075f85a","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_8ad4.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2883066$EB228A74-8ABA-42ED-AAEE-B0EB5469488D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883066$7D6F9B55-B686-4ABE-AB70-54B565D44A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883066$C586764C-7AFB-4171-9BDC-91D59017E6D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ee6069273856b4205acf6e46e320ea34247c8af","datavalue":{"value":"6033326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883066$053AF93A-7076-4801-9528-8B3D5732886E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883066$507F2A2B-F893-41FC-B1A0-6B41999B6079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883066$A8BD6A86-2BEE-4AFA-BC45-5DF9389DED4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2230c91cdf64c16a27a5d2b9a7dc5a5864e0831a","datavalue":{"value":"interactive computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883066$5760C420-B7E2-425D-A1A4-475540F53735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ad873f19b9b7fceec8ae0b757baea47c091408","datavalue":{"value":"proof procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2883066$3ED24084-4CFF-471B-9245-B153EB35DF16","rank":"normal"}],"P1463":[{"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":"Q2883066$EA424CCE-2B86-4246-B09B-7D5B04989774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c3d4248aa2a1d32a3b129ace0f50a8cfb25c05a4","datavalue":{"value":{"entity-type":"item","numeric-id":25786,"id":"Q25786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883066$2AA7224E-1CFD-4C24-82E3-9AAC64400083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1a1e2e69bbf1e83f159c202f6c44f4f70b664d","datavalue":{"value":{"entity-type":"item","numeric-id":32330,"id":"Q32330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883066$341A7837-5E61-45E4-A5AE-437A26E5D7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1d88562853cc2c706cbfd4d19dcdd167b8fbee81","datavalue":{"value":{"entity-type":"item","numeric-id":32331,"id":"Q32331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2883066$0D4AF744-8B93-4A93-B7DB-1DE16ACAEFC8","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":"Q2883066$9D76377B-F369-45DA-B9A3-EE7280942930","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c131173f78f36ddd8db4377c5f3c53ff7553fd49","datavalue":{"value":"W1535315055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883066$B1D70498-E1E0-4234-A42C-761CDA945D10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82ff87b666a387ee3aaf0b2224aa2c6e99fdde90","datavalue":{"value":"10.4230/LIPICS.ICLP.2010.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2883066$616204B3-56BE-4BE5-A9AD-01B963E44542","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e42aa527b792b16c501e995947adcfc3a79b1786","datavalue":{"value":{"text":"Runtime addition of integrity constraints in an abductive proof procedure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2883066$A0EE8ED0-B043-4EFD-ABFC-3CC96A634938","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20fd1130cadea83ca162a4522396d31dc3c9c1c","datavalue":{"value":{"entity-type":"item","numeric-id":5394111,"id":"Q5394111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"784cbcc79da684b431deedeebc6fc373fc8fda03","datavalue":{"value":{"amount":"+0.8129106760025024","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":"Q2883066$411DD5E3-AD70-47A6-BBAF-858B7BB99B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fd2b5d3fdd089d396e97df72139c1801d341855","datavalue":{"value":{"entity-type":"item","numeric-id":5475747,"id":"Q5475747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"211be4019ab2d1c7f30858ab234537c790768040","datavalue":{"value":{"amount":"+0.7997970581054688","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":"Q2883066$C4B9292A-7962-41C2-A1F5-9BA04F930D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc50137ee90ba3618dd54dbca4e6efbf6a72f15","datavalue":{"value":{"entity-type":"item","numeric-id":5019597,"id":"Q5019597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9270b72eaabfd38a107df374b9874c22d54cd48","datavalue":{"value":{"amount":"+0.7895649075508118","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":"Q2883066$7FF82A97-7EB8-4BB9-9034-E2DF38532018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa15ba768c05503a556c3ad96a1b6ed73f9cb6b","datavalue":{"value":{"entity-type":"item","numeric-id":4518912,"id":"Q4518912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa4ebc9d4c2448933f2a769debd62877d56eaa8","datavalue":{"value":{"amount":"+0.7835825085639954","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":"Q2883066$BDE07144-7DB6-4EFA-B97F-00B8B5B15948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4180effa3d857dab75a223e317e55d119ec1168","datavalue":{"value":{"entity-type":"item","numeric-id":5325766,"id":"Q5325766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd3c85d1ffcb0fa0cbe070da367e60791a6734f7","datavalue":{"value":{"amount":"+0.7826634645462036","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":"Q2883066$AEAE02D5-7D92-4BE8-9983-8B964E1EC933","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2883066","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2883066"}}}}}