{"entities":{"Q3129498":{"pageid":3140214,"ns":120,"title":"Item:Q3129498","lastrevid":46734231,"modified":"2025-12-25T12:02:25Z","type":"item","id":"Q3129498","labels":{"en":{"language":"en","value":"A fixpoint characterization of abductive logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1004621"}},"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":"Q3129498$4E628A04-576B-4C04-B370-0A4F71E765A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b41a043cef635adeba6f0bd72807afd4b52e376a","datavalue":{"value":{"text":"A fixpoint characterization of abductive logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3129498$AFEF285E-D584-4C76-9F23-6AA032B47D20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a8024f29ce3ea1156e4afd4fac3f9ee049e7edb","datavalue":{"value":"0874.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129498$A56FCDAC-6DA2-44EE-A135-25060CB153A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9f6423cfe7f0ad9fa381c24fa5bec054b9f4ac0","datavalue":{"value":"10.1016/0743-1066(95)00119-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129498$363649BD-E269-48C6-80C1-95B2232E3AD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e804c1f7efed58c4ab3563ef841d7e67b0819c","datavalue":{"value":{"entity-type":"item","numeric-id":374190,"id":"Q374190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129498$0BECBD87-E2C1-48BD-AEDE-F5FD68B674EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb7f365089f19283ba2a09add7a0eb7b4b253f67","datavalue":{"value":{"entity-type":"item","numeric-id":413853,"id":"Q413853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129498$FD619C1F-C8A2-4DEC-A52B-9A63AD2B9709","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129498$5D484C76-5779-43E0-AE5A-4A0716734BA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa5805ba62cdf66e74525c70566954d2cf6212fb","datavalue":{"value":{"time":"+1997-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3129498$AC504F2F-7800-4085-9D8F-084E14A0076E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129498$D6B00AF8-1A11-4C4D-BE67-B3622D7E692B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ec9c272c4edf3b001f87f6ba2b87c1ba747ef51","datavalue":{"value":"1004621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129498$216DAEEB-1EDA-4C9F-B2D2-459B779DDD49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453868b3ecd4cc2ceb48419daecef9c56fc8bd79","datavalue":{"value":"fixpoint semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3129498$8426C52E-F845-478B-A069-2BA3BDDE02EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2beea27b08710db41daed6b22c04eef6ca50060a","datavalue":{"value":"abductive logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3129498$3BA8EA6D-E543-4B7A-BE03-314CD617DAC4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129498$E3E09F59-4C82-4DB0-BFDE-F3E6CF4F7578","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":"Q3129498$8900CE10-4F4B-4010-A8BD-1517DC0ED469","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4b0ce83edf22ff2a03637204800332ffc439a24","datavalue":{"value":"https://doi.org/10.1016/0743-1066(95)00119-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q3129498$1AB58578-B9C0-44FF-A65D-F94BF3523482","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f931dcf6375ec81b1ee12d582445efb1497e74da","datavalue":{"value":"W2067679576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129498$B55B5700-654F-4311-95B5-D862499DB3AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d7efcb6d282a855eff2dc5c97fe0d0a8842472","datavalue":{"value":{"entity-type":"item","numeric-id":2767098,"id":"Q2767098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8dbd05deedce2eb4445bb99e1a5c8da82b6da35","datavalue":{"value":{"amount":"+0.8133406043052673","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":"Q3129498$4E8A1F49-0BCA-4167-9750-7ED5B34F3B03","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":"696f89d9b721cd026a1bac0d53f8b3e8793fb01e","datavalue":{"value":{"amount":"+0.8068419098854065","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":"Q3129498$88C6D20C-A34C-478C-9D92-5F8E1536C444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ceb2b6595944181c2f2e56bd3fa30811b82a936","datavalue":{"value":{"entity-type":"item","numeric-id":5101437,"id":"Q5101437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53201b4a6e3b2782a21e9119ad04909cb2385beb","datavalue":{"value":{"amount":"+0.8004623651504517","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":"Q3129498$62B3EECF-09F6-438B-8078-FE17E4EB8545","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":"7ec6fc7ba444d1c82eb58575e32275edd509dd3a","datavalue":{"value":{"amount":"+0.793018102645874","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":"Q3129498$216AC4FB-5D6D-4B95-AE0F-3B3E3FE6ECD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1099795e2b98a2012c2b61f3dea46cacffb308ea","datavalue":{"value":{"entity-type":"item","numeric-id":3198867,"id":"Q3198867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab443cb9cfee961cc58424841b70ccf559facb8d","datavalue":{"value":{"amount":"+0.790286660194397","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":"Q3129498$653CA377-6665-48D3-A0E4-2D9192094281","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3129498","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3129498"}}}}}