{"entities":{"Q1818759":{"pageid":1829501,"ns":120,"title":"Item:Q1818759","lastrevid":69036306,"modified":"2026-04-13T03:54:49Z","type":"item","id":"Q1818759","labels":{"en":{"language":"en","value":"Integrating induction and abduction in logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1384380"}},"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":"Q1818759$FC1B1745-FA34-4043-AC7F-AD5223AFDDD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9f80d2dfbd048d571dcfcf2f136692a20bd5272","datavalue":{"value":{"text":"Integrating induction and abduction in logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1818759$85ADF6C3-C3E2-4EC1-AC12-FE1AEE09FFC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f983af26bed952bd1e2e1299299978ee888de772","datavalue":{"value":"0933.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818759$9E221577-B63A-4156-A87B-3125185C2CFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eccdafc062239fa8bd7680a84eadab21a3711c33","datavalue":{"value":"10.1016/S0020-0255(98)10092-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818759$161B35A8-A08F-4B34-B14F-BCF0DD9313C3","rank":"normal"}],"P16":[{"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":"Q1818759$7CB44DAC-AAAC-478D-B2CE-EC240C432BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d9a24074f982cc414cdea1cf903a2494e05e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":222873,"id":"Q222873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818759$B100FDCE-E152-42BA-A20C-0BC587CBEF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b48a0e431edeec32f6f13f321cc03581109cba5","datavalue":{"value":{"entity-type":"item","numeric-id":222874,"id":"Q222874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818759$76E36CD3-3861-47C0-BDB4-766019257230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7e6b99038792d9e71582d3a141db4768ddf7469","datavalue":{"value":{"entity-type":"item","numeric-id":313121,"id":"Q313121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818759$431ADB3A-BFCD-4F0E-A343-0DF9A2E22520","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818759$115A51D0-DC63-4F46-9A2B-64CF802A001A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a0132e21ad022268d8d4b41a82438346885545ef","datavalue":{"value":{"time":"+2000-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1818759$9DDA67A2-1A68-458F-998D-FDEC6F65338E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818759$A8A7DB1A-31BB-42E5-8633-54F8BABD9BAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdd31167c8baa98e17edda8fcb34331659acf43d","datavalue":{"value":"1384380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818759$58E291D2-8261-494F-B0AB-E5965F15AC3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46ebc8b84a07887813a9db9639f49c759f35b570","datavalue":{"value":"learning abductive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818759$25C07F37-99D6-44C2-B2F6-7097D95C7E19","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6062d01fd7a7f7e143ab13a69c96d5304c0d9b34","datavalue":{"value":"Q58064015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818759$CB68DE84-CDCA-4142-B736-C16A8FC85716","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"342fdabc69326a544faa12b6114a355200ce2356","datavalue":{"value":{"entity-type":"item","numeric-id":36446,"id":"Q36446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818759$D2FBBD36-DECD-4DFA-8A39-19ECB819EE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d36e94124670e343ce0a941fd9d5d398e768df6","datavalue":{"value":{"entity-type":"item","numeric-id":24368,"id":"Q24368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818759$22B90590-8824-45D2-B176-0A2B26BFDBD9","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":"Q1818759$D876F4A6-D1B1-4B09-BACE-93A0B4B591E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818759$4FAA7401-37DF-4640-BA5A-CC4EC961DE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106a8f7b1ef73d95a8b9138a5b927cca5a9929f6","datavalue":{"value":{"entity-type":"item","numeric-id":1390932,"id":"Q1390932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818759$AA02D9CB-9FFF-42F1-BE2B-C13D4175F408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14aeaa086a21aa07b11cb74bf63a2d30287e8c5c","datavalue":{"value":{"entity-type":"item","numeric-id":1189662,"id":"Q1189662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818759$6AA24B94-BA90-432E-BD01-2FBF2656ABD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed97f9a12af7dab83b0170165c738f6d7a41584","datavalue":{"value":{"entity-type":"item","numeric-id":5286914,"id":"Q5286914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818759$A1369BBC-1275-48EF-974B-CF398A4B05CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10368cc323e5ed62787e3912961c1f5384475a2f","datavalue":{"value":{"entity-type":"item","numeric-id":4015962,"id":"Q4015962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818759$EFE4862B-FCE4-4E6C-BA99-53D30F624038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f6a92df5808add0f676ef7fd835896ff421b2bc","datavalue":{"value":{"entity-type":"item","numeric-id":2863167,"id":"Q2863167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818759$040742E8-DC15-47B1-8165-494EAF029F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb697a72c5019d34697697fcca3426dc7d50713","datavalue":{"value":{"entity-type":"item","numeric-id":4843403,"id":"Q4843403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818759$20ED3AB5-8127-4BD4-9A91-7BB60267B837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea32111bfb7208128fb934de736a2d532706d2f0","datavalue":{"value":{"entity-type":"item","numeric-id":3723721,"id":"Q3723721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818759$E2B3CDA7-CD2E-4906-974A-3FBD1F6F78FF","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"dcfe3d811f77a8abd965ebc0f80bfdf4e6d12453","datavalue":{"value":"journals/isci/LammaMMR99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818759$5E9B3A55-E748-4098-A851-9CDF57DA8BE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6f58f1f0edb3a9194a3bf4bb04fad5983b326a1","datavalue":{"value":{"entity-type":"item","numeric-id":4762202,"id":"Q4762202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c638cb4537279a4f638deafad262f8fdd44c0471","datavalue":{"value":{"amount":"+0.8069300651550293","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":"Q1818759$E13A562D-FE43-42B6-91B7-5BF2E177874F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016b4b49d5245c2c579041a468627f1a723f3495","datavalue":{"value":{"entity-type":"item","numeric-id":5956943,"id":"Q5956943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9089d6a0bd14344b3c1642cea2b0b46abf37c92f","datavalue":{"value":{"amount":"+0.8056219816207886","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":"Q1818759$381A3CD0-3917-493F-89F1-2C415FB547DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f41fed9b30064f13cf15ade6b8895b7a75e71697","datavalue":{"value":{"entity-type":"item","numeric-id":4664020,"id":"Q4664020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d065f47309d0e4c5fe70b284ebcfd115aafa0aa","datavalue":{"value":{"amount":"+0.7975340485572815","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":"Q1818759$EDB528EC-A0BC-4170-8A7C-473030BF2DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee581727faf1c559b3e32f001480ae669a3a761","datavalue":{"value":{"entity-type":"item","numeric-id":4762207,"id":"Q4762207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a9524cf324a877dd84946619ef53090892c373f","datavalue":{"value":{"amount":"+0.7929590344429016","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":"Q1818759$8ABDA7C5-E596-45E2-9DF1-F0822495A2BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Integrating induction and abduction in logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Integrating_induction_and_abduction_in_logic_programming"}}}}}