{"entities":{"Q2909831":{"pageid":2920556,"ns":120,"title":"Item:Q2909831","lastrevid":84968384,"modified":"2026-06-03T05:22:21Z","type":"item","id":"Q2909831","labels":{"en":{"language":"en","value":"Towards automated first-order abduction: the cut-based approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6078505"}},"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":"Q2909831$BE6E7535-5D67-4715-9492-A6C565C86C34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"053d25b5993dff54d9d7324d13f0255ba40fa4fa","datavalue":{"value":{"text":"Towards automated first-order abduction: the cut-based approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2909831$3913F4E8-B437-48D7-8420-228F79B1ED0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d80165f62220cfd184e3fb207ac885c342f5ba7","datavalue":{"value":"1246.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909831$DD34ABE9-C250-4F37-BFC2-7D03BBC598F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"538aac5482944b23b9509c42900acf09751a5dcb","datavalue":{"value":{"entity-type":"item","numeric-id":385020,"id":"Q385020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909831$153A31DF-2A55-415C-AC39-3BA12F6F9E42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2e785076c925608e90781bb4173656a454ded85","datavalue":{"value":{"time":"+2012-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2909831$898C3E9F-53CF-4DB1-8D63-D59D67DC81ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"804a22d25bb31d6bd139ecca24002633c29414cc","datavalue":{"value":"https://semanticscholar.org/paper/2bec644e097b98de4ab7cc20973f10a8d96b9742","type":"string"},"datatype":"url"},"type":"statement","id":"Q2909831$FF863093-2229-4259-8AD0-DBE08C643775","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909831$7248E39B-9057-4D2F-B77C-194F28B965A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46942f5649137de3e410a8eab1a15b61166e2228","datavalue":{"value":"6078505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909831$E3BC5ED2-C376-4763-903A-72DDFDF5631D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909831$4E711508-5F2C-48B4-9D72-55CD84CECE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27ed9f89bfd8e4acd390e140e451f201ca884c87","datavalue":{"value":"first-order abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909831$19D08B58-C7A6-4531-A162-839363771303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e489e64b97a1e422c6be1bb3a29d7ef3c64cff89","datavalue":{"value":"cut-based abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909831$E09A15A0-EF2C-43D8-87B8-0B6A13716AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909831$19B74E46-C908-447C-A68D-F3D175963978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"139932ebde97b33da8b3917e8b6441a3a99beae9","datavalue":{"value":"first-order tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909831$21BE5721-4413-42D2-957C-BAC2B146E17D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c316f8a573aa9a8fb0377729133fd503b4a3381a","datavalue":{"value":{"entity-type":"item","numeric-id":13632,"id":"Q13632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909831$328B9AE5-BC7D-4445-86B5-76557A365754","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":"Q2909831$D777C19B-EB25-49D8-B1D5-16339326BD3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2aa180e7b408b4a232d647558a7031d2a6a42e82","datavalue":{"value":"W2059826633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909831$5AA677E5-CA5F-4781-AE53-C4C2F541FCB3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c816bf63169c0171179430cc2e419a0600eb9b8c","datavalue":{"value":"Q117021977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909831$C27B3716-031F-43F6-85DA-14D65DFA449D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73a0703f07c6f5b7f7073593e1360aeee5b87097","datavalue":{"value":"10.1093/JIGPAL/JZQ052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909831$33C8769B-5152-4558-B4BD-732D034A12EC","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":"Q2909831$B9F431E7-1B25-492B-9E62-BFD63EDEB767","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5cd9dfe705c506dfbaef315f25bb43e6dc4351e","datavalue":{"value":{"entity-type":"item","numeric-id":5176673,"id":"Q5176673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"649a11dafb5e5fdf9dcbbc87176493788659f7c7","datavalue":{"value":{"amount":"+0.8872532844543457","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":"Q2909831$29A94667-3DA8-4BD0-8B1E-08012E49CB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607240df31a45e7ee2a10ee69631086203305a3a","datavalue":{"value":{"entity-type":"item","numeric-id":5504120,"id":"Q5504120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec2b9dd2af9912a58022e65b3c68545758cb5799","datavalue":{"value":{"amount":"+0.861550509929657","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":"Q2909831$07FAAEC1-0FDD-46D4-9854-6D71EDE1B941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ef701ba3bc01b655179156e9f08d2298100297","datavalue":{"value":{"entity-type":"item","numeric-id":3411854,"id":"Q3411854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95dedcb8b6b3ffc58576fc53e5b73c898de1af5e","datavalue":{"value":{"amount":"+0.8002387881278992","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":"Q2909831$E18D4BBE-6FFD-4FFD-BF41-2DE5A973A075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"225532142b13d6be3d63a7e674044c46b309f244","datavalue":{"value":{"entity-type":"item","numeric-id":4291873,"id":"Q4291873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220840698ec604da55fc5c2124b769572372c3cb","datavalue":{"value":{"amount":"+0.7831005454063416","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":"Q2909831$72F3EE10-BACC-4ED5-AC40-26A3DBACA17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b39aaf3f45d5d9b87f3540ba5c905bcb2046951","datavalue":{"value":{"entity-type":"item","numeric-id":5178959,"id":"Q5178959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f998e37b061a561a5c084e19a5020b724bce1b","datavalue":{"value":{"amount":"+0.7767888307571411","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":"Q2909831$24C867D9-8914-4E67-8072-F62FA743194B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards automated first-order abduction: the cut-based approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_automated_first-order_abduction:_the_cut-based_approach"}}}}}