{"entities":{"Q4664020":{"pageid":6693601,"ns":120,"title":"Item:Q4664020","lastrevid":48451516,"modified":"2026-01-04T20:44:40Z","type":"item","id":"Q4664020","labels":{"en":{"language":"en","value":"A Hybrid Abductive Inductive Proof Procedure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2152447"}},"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":"Q4664020$527A44D7-A4AE-485D-8951-A761444265A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98bf3262304561ea1e36b25bec666e2fc5352692","datavalue":{"value":{"text":"A Hybrid Abductive Inductive Proof Procedure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4664020$7687BC36-DF56-4FEC-8690-4CE8724CA8D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1655fce888e2ec830c86c2a5472dc0f5986d3e83","datavalue":{"value":"1067.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664020$43F5D940-B804-4F0E-9728-C3CB091AF5D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eb6b14c79e5698b03eacb9a611e72f98d27bc02","datavalue":{"value":{"entity-type":"item","numeric-id":324688,"id":"Q324688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4664020$A15A49F6-9385-461E-A630-4E627D481BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"913ba8ea85c0e7d6fedf46eb670cc9a3e411b7a6","datavalue":{"value":{"entity-type":"item","numeric-id":2460296,"id":"Q2460296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4664020$3C2DF351-08A8-413E-A070-354C01B01784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83494b9ab1842cdcc26b2ef852f144a8f08ae352","datavalue":{"value":{"entity-type":"item","numeric-id":324689,"id":"Q324689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4664020$6DD8601A-694C-4882-B345-0F23C00A70EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69cf2a81b6ae1673a040d25ae05c9f6a7d99e6cc","datavalue":{"value":{"time":"+2005-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4664020$0CA70C71-09AC-49FA-A77A-0303E7E3F548","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664020$1701C9A6-C4EE-4BCF-AAB2-4685B4365FF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a430baa4aff0f0ef456b4aef5fdc7b3e9c2d7638","datavalue":{"value":"2152447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664020$F6A7BD08-3150-4546-9F37-E127DEA32432","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21f80e1f7a7440635e5ad49202f2216bd8ea398d","datavalue":{"value":"abductive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4664020$EF42F910-2261-44F3-8646-9AA8329D6C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1812f6185a29beefd2c73ebcdd619e76c6b5fe3c","datavalue":{"value":"inductive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4664020$6860F692-6195-4C58-9CE7-74CC9BB31CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4664020$32C2F5AD-9751-4DEE-AD0C-BDA9BF5DC903","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":"Q4664020$EF7C09E8-0A58-4794-ACFF-DCA9EF2F246D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08cda1281d384d01eb73e8a9d77038dd718b9a35","datavalue":{"value":"https://doi.org/10.1093/jigpal/12.5.371","type":"string"},"datatype":"url"},"type":"statement","id":"Q4664020$C2052738-420A-4CDD-9FE9-433C8AC1799C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c91c7ad50be44ea00e284dcd215dca53266bfd5","datavalue":{"value":"W2051783972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664020$C9B75053-ACF8-4584-8CF5-1C0F7DBFABA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac4ecd2a9069975dcfad7c55f948840e6877007c","datavalue":{"value":"10.1093/JIGPAL/12.5.371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664020$CB9A744F-1737-4BAD-8BEB-76D6B7882471","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4664020$55E1161A-A8C0-42BF-ACCE-43681870F72A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a90e935f2a662ae4978a68cdc948e5e676dbc361","datavalue":{"value":{"entity-type":"item","numeric-id":5897187,"id":"Q5897187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be002b4f343bd590d8fecb3168e5d47b7187cb7","datavalue":{"value":{"amount":"+0.8386416435241699","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":"Q4664020$95127EA1-A516-4193-A1F6-C9E44A74BEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40ef4df9883c83ee56e0f7bd6b9331cba1900eff","datavalue":{"value":{"entity-type":"item","numeric-id":1818759,"id":"Q1818759"},"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":"Q4664020$824BD744-1644-41F5-B58F-C5A6D249AAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ffb521c56bec9306736abf133dbf5ec7c9705e8","datavalue":{"value":{"entity-type":"item","numeric-id":833734,"id":"Q833734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6091970c121c1d8aad8bb455b8aa056f79b61dbf","datavalue":{"value":{"amount":"+0.779287576675415","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":"Q4664020$6095C9AC-0888-4D77-AA50-829692563741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4588e58e9b526d6176ec4327f6e5d8d035ea58f","datavalue":{"value":{"entity-type":"item","numeric-id":5897322,"id":"Q5897322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43418e78c57f6a4dab78f156b11ae5408adcf71c","datavalue":{"value":{"amount":"+0.758061408996582","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":"Q4664020$54EDCD2B-3CCD-48B2-B209-629F2547E798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfee02f9b81bf72670d58e5144baf8dae06af9b0","datavalue":{"value":{"entity-type":"item","numeric-id":5688791,"id":"Q5688791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2cead13b1e3b8fc99b763e6cb85f9d7c53680ef","datavalue":{"value":{"amount":"+0.7558848261833191","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":"Q4664020$D30F685B-8D8F-44D4-BD28-F6E078F48444","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4664020","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4664020"}}}}}