{"entities":{"Q2915079":{"pageid":2925799,"ns":120,"title":"Item:Q2915079","lastrevid":51558569,"modified":"2026-01-18T18:58:14Z","type":"item","id":"Q2915079","labels":{"en":{"language":"en","value":"Large-scale cost-based abduction in full-fledged first-order predicate logic with cutting plane inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084949"}},"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":"Q2915079$D2266970-FB15-4779-9E09-7527D7DD74FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af092a0f1ff307ea8d700565cadfb5947604ffdd","datavalue":{"value":{"text":"Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915079$A654CCFB-D32D-4DA0-BB83-4E6D516114F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"483308c9e17f501d6c32a17ae331a20fe665d0d2","datavalue":{"value":"1361.68233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915079$E38098FC-A0B2-4FBA-972B-D5A8EA94AB94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31a28b1260becc7eadc63a59217e29c2ec6f91c1","datavalue":{"value":"10.1007/978-3-642-33353-8_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915079$F533462A-33EA-4389-ACF0-C6FD317F412F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b18cc71b5573d79909aa2da16c98fa0bb453cdd1","datavalue":{"value":{"entity-type":"item","numeric-id":2683339,"id":"Q2683339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915079$713DE30D-317B-48E2-BD99-BA3FC9E0640E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f57aea1e2d43941604744840eb9b972b7b74f395","datavalue":{"value":{"entity-type":"item","numeric-id":1697926,"id":"Q1697926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915079$9D167D02-402D-4693-B436-829434C40D8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915079$B245CB05-F22A-43DB-9E93-E24C5FA04472","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-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":"Q2915079$030FF6AA-8269-4FD5-B813-5E29CBDB1445","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915079$C3AF2797-A664-4468-A183-E5A0FC5BF0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915079$806863FA-8CD0-462A-97AF-B37F7CC2220E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915079$E098D73A-C3FC-4DAF-8061-1F521913AE53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d0ae3ce1da5b9c3d806040d25ea29f95aab5c45","datavalue":{"value":"6084949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915079$52B6AC32-240D-4113-A768-D7EC5E4176AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915079$6DF3498D-FBE7-4101-A4EC-1F72317FB7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2d313c14e3c14a969d80a946155ac756c77a5f3","datavalue":{"value":"cost-based abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915079$F281F218-FF17-4AB4-B9D6-897EDE1C5EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebdcacc5d33a65271d0cd1497c7261094c053663","datavalue":{"value":"cutting plane inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915079$0A4422C5-4D2F-43FE-82B7-ACDCD419349A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e87618aee6343e13e99830120698ef319daa4c9","datavalue":{"value":"integer linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915079$06A6F2E6-570D-4527-95EC-D2FCD479292E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"505d008ba9ec699c3e03e14abcae2354bf366638","datavalue":{"value":{"entity-type":"item","numeric-id":14425,"id":"Q14425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915079$134A9127-E8AE-4D1A-BBC8-0EF3201B2293","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":"Q2915079$28F98BE0-E46B-40B9-9CFA-5BDAF16F2996","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b234df58cca982a34ba71acd4c00cd568a4fbc70","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33353-8_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915079$8E620BFC-B743-4A5C-80D7-F643763CA23B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7560f156edec9e9d022c3ee9a470e954e899151f","datavalue":{"value":"W91551036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915079$7CE6F204-EA03-495A-866C-46B36D933D15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0640751f1f3cd25264a5ef10f535d7940db1824f","datavalue":{"value":{"entity-type":"item","numeric-id":4398334,"id":"Q4398334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915079$DA732AE9-8255-404A-B191-7AA6C1499BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0713a7c5a2e67347359f9b1dab907e90d646cfd","datavalue":{"value":{"entity-type":"item","numeric-id":1182159,"id":"Q1182159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915079$AA4053A4-3CF1-4116-B015-5C6D928ABCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d216cbe09c1a1e3608f884b352a3b85f9b119aa","datavalue":{"value":{"entity-type":"item","numeric-id":688819,"id":"Q688819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915079$396C917B-F8C8-4378-9386-319E22BECB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436b786f2dbe75e074d6e507af592898bf8e7b32","datavalue":{"value":{"entity-type":"item","numeric-id":1313953,"id":"Q1313953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915079$C2C44EDC-9566-491D-B2E7-78F4978800E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"179023752319c06a6019e63b9b7603fd4b7d0f03","datavalue":{"value":{"entity-type":"item","numeric-id":1959520,"id":"Q1959520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915079$AC9F046C-7E31-4FE1-971C-409BABA1EE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5b3210b70504b00a0159ca4bf1b7ae9c795baee","datavalue":{"value":{"entity-type":"item","numeric-id":2491364,"id":"Q2491364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915079$AD56F4A0-5ABC-482D-8B68-2F8FB9836DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da64d095a5fca2a02f311d6b4d0bf56be08940af","datavalue":{"value":{"entity-type":"item","numeric-id":5704534,"id":"Q5704534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915079$530F1C29-DCC6-4CD4-A3A3-6798AB673B41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2af9f05a1a695f17b079ddb90a084489ec1f35","datavalue":{"value":{"entity-type":"item","numeric-id":1313953,"id":"Q1313953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"475ff7529bcb5c39cdb353ce3b8ef7d3b646b334","datavalue":{"value":{"amount":"+0.7945656180381775","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":"Q2915079$54F7260F-602B-468E-B0F9-319E92FC1F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"923173abf1f8f34e053b13da1a495c5f9b71d4cc","datavalue":{"value":{"entity-type":"item","numeric-id":4281509,"id":"Q4281509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827cfc77c4dd0da575769df47ff3d2501b9d098d","datavalue":{"value":{"amount":"+0.7923874258995056","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":"Q2915079$89D22846-9C3B-4D6B-8E60-22E9260AF5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54abeecef400dc33f1e31d4bfd121c6437c5c8ee","datavalue":{"value":{"entity-type":"item","numeric-id":4279083,"id":"Q4279083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d55117903655e537d3d39c9b7b6aa438022ddf","datavalue":{"value":{"amount":"+0.786820113658905","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":"Q2915079$AA0B45E2-A54E-4A7E-A4B8-2D7D49BBAC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5fbea08256e4866a47bd5e785b704ba94d30c29","datavalue":{"value":{"entity-type":"item","numeric-id":4286534,"id":"Q4286534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2460850c4f2e084a0ae8d9a34ea1d03c52b3a6cc","datavalue":{"value":{"amount":"+0.7770224809646606","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":"Q2915079$2140D20F-1949-4AD8-B8F0-2AC2E8973734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c19187c8b0b899c4181ce4d3d6253c63d87cff","datavalue":{"value":{"entity-type":"item","numeric-id":2909831,"id":"Q2909831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"624caa0330555317e4ee8f3f22f619e1156002ce","datavalue":{"value":{"amount":"+0.77651447057724","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":"Q2915079$A760EE6C-582A-4054-96F0-AFDD4A54A7DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2915079","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2915079"}}}}}