{"entities":{"Q4371992":{"pageid":6401591,"ns":120,"title":"Item:Q4371992","lastrevid":40910466,"modified":"2025-04-14T01:25:11Z","type":"item","id":"Q4371992","labels":{"en":{"language":"en","value":"The IFF proof procedure for abductive logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1106663"}},"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":"Q4371992$7AA084C6-7169-4E98-8301-F298FA88F52F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6a9e75144217096e3243d3a40d1fa8e23eb7b8d","datavalue":{"value":{"text":"The IFF proof procedure for abductive logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4371992$906D56C5-515A-4FCA-8448-E021821FCB37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c47eb504cf92c13070f48f3a1c789223f04f594","datavalue":{"value":"0890.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371992$1C1623F3-DFFA-49D7-B8E8-2656C9FB5EB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cb2d7ead277216bc036604f51b7a4710bd49251","datavalue":{"value":"10.1016/S0743-1066(97)00026-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371992$C6CF7E35-BBF3-420B-958D-0BC49EECCB02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98afa32e357630a493b35265c5f26b43921c1aeb","datavalue":{"value":{"entity-type":"item","numeric-id":4371991,"id":"Q4371991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371992$FEA3689B-89AB-4716-B538-DD956EFCA0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b00307f35e60c8191f73414fc0f32ebe37cbb927","datavalue":{"value":{"entity-type":"item","numeric-id":264955,"id":"Q264955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4371992$78B4959B-FA9F-427D-92D0-AE89F06EB4E4","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":"Q4371992$8F486B3C-3279-4B6F-A5DA-FB105E04D423","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb264ae0a359bf25e724aaa6ec1d5efb013c8860","datavalue":{"value":{"time":"+1998-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4371992$03052B32-8A68-4EF5-85AF-46F3CC111C3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371992$C6653545-0762-4C60-917B-1E09BBEF4A2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ed95134041607ce4a916ade632e1a1d1e9e5658","datavalue":{"value":"1106663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371992$C483CB19-8988-434E-AFB5-F362784DC9F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ad873f19b9b7fceec8ae0b757baea47c091408","datavalue":{"value":"proof procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371992$9CF3BFF8-A987-4A2C-8AC7-FC9120D12E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd02c0c4cd88bf32f0b507a5c512ad6914c3d82b","datavalue":{"value":"integrity constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4371992$8D9114FF-AA43-4525-A219-46A6EAE59AF3","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":"Q4371992$B7CD0B78-B38D-486B-A64B-245E5FFAA705","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47cbc05479b87e74175d03f635da1f76c524b940","datavalue":{"value":"https://doi.org/10.1016/s0743-1066(97)00026-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4371992$538E732E-3A9C-42A0-9C05-9A17ABA03A5A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a2be27523411ae465dffbc948752ad8cc9ab1ef","datavalue":{"value":"W2071787143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4371992$BD245CE1-AC8B-4B86-B72D-54011115F612","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ee19fc19c1770ee3784151eff4e674ca4d0663e","datavalue":{"value":{"entity-type":"item","numeric-id":4632300,"id":"Q4632300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74525fb8ae48047c755642d7e68be9bab00b0009","datavalue":{"value":{"amount":"+0.9383693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4371992$16623DBE-F793-446B-BC38-DB9E2FAAEE2D","rank":"normal"},{"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":"8343b7a236e7bed19720c30e5d37563f57072ec0","datavalue":{"value":{"amount":"+0.9327352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4371992$EB24AAD9-6A1F-413C-ACCB-550D24A45B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baa06a8565b1eccedffdec645d13bec94a401f04","datavalue":{"value":{"entity-type":"item","numeric-id":3648356,"id":"Q3648356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c095121389a95ce655cefd4b5042d1705419c37a","datavalue":{"value":{"amount":"+0.91785145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4371992$F0D79131-EB8C-4E26-8DAD-9E6AA0F79502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d976d9cac9281f0a407ddde26f6999c5cba1c38c","datavalue":{"value":{"entity-type":"item","numeric-id":5038472,"id":"Q5038472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ec896a70160be169ec633d56c461dc606f04c2","datavalue":{"value":{"amount":"+0.90442395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4371992$75581AE1-436A-446A-88BE-E99AA5343E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d56d81b2bb0ccbb10200c30f2f3884a963a8cc0","datavalue":{"value":{"entity-type":"item","numeric-id":5688897,"id":"Q5688897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a050f796bc0d7f0657f6ac6eab7f15511bfb4dd","datavalue":{"value":{"amount":"+0.90392065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4371992$267537EC-B48F-476B-9E90-2AFD6D4CBE5E","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":"740f6233ae5fdbe3ba8a82d397d9a086fabeffa7","datavalue":{"value":{"amount":"+0.8997127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4371992$74B489A9-DB3C-49C6-B223-835993DA1E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e5ac7661f403ccd09bf507d877adbfbe4ab89d","datavalue":{"value":{"entity-type":"item","numeric-id":4215638,"id":"Q4215638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa581e32f0ac0ce7db2fd62a12b3227edb216ffc","datavalue":{"value":{"amount":"+0.89242977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4371992$5B8164CE-D56F-4347-880B-1FE41A760CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2569eec109692c989c6df521632c84f39f3bd725","datavalue":{"value":{"entity-type":"item","numeric-id":5101460,"id":"Q5101460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670c3ab79f0145770702984d66782d1376dac379","datavalue":{"value":{"amount":"+0.89032555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4371992$545B5C88-7728-49DA-9DAE-5386D6D47934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f6730a35332521ce03ff5377408a18b1846426","datavalue":{"value":{"entity-type":"item","numeric-id":5282962,"id":"Q5282962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d5b044aface2f5a88c259650556df05a419dca7","datavalue":{"value":{"amount":"+0.89019394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4371992$C3038B30-73FF-4C1A-85F5-4DBEAC7313A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e06132089f60ba053f0e498997a058c2b9022a","datavalue":{"value":{"entity-type":"item","numeric-id":3129498,"id":"Q3129498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42d445ac733c1aeac36e9dad9ef4c617d4691e42","datavalue":{"value":{"amount":"+0.8883027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4371992$68FC9ADE-F1E3-4CEB-9398-EEC2D325D13B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4371992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4371992"}}}}}