{"entities":{"Q2849485":{"pageid":2860205,"ns":120,"title":"Item:Q2849485","lastrevid":83768831,"modified":"2026-05-07T11:13:36Z","type":"item","id":"Q2849485","labels":{"en":{"language":"en","value":"Abduction in logic programming as second-order quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210135"}},"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":"Q2849485$A5B9D8DE-20B2-4FF4-B1E8-09155AC94643","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e010f113eefbc88260886cecfa300008b1580b3d","datavalue":{"value":{"text":"Abduction in Logic Programming as Second-Order Quantifier Elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849485$850D243C-6FAE-4F88-9C8F-A25E01FDE60B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9541c611a2ec930d53d1b155e42d34da21063bd1","datavalue":{"value":"1397.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849485$4E735145-62B0-4E49-B520-178548AE17C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc1e593d2ac8b109d801df31db3f6a36bc26cd52","datavalue":{"value":"10.1007/978-3-642-40885-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849485$47A7E80F-266D-4792-A745-7CDDE48403C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3313867e180f61d15d3300f2a46593d6b3819e03","datavalue":{"value":{"entity-type":"item","numeric-id":429593,"id":"Q429593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849485$E83B2A35-F753-4545-BD96-BECFFBB9D774","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849485$A6782157-3CF1-4601-9ED5-87028695E77C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849485$E1E6130D-665F-4BC0-A355-E258B4EF7AFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849485$25C815BA-9630-40A2-A524-CBE8760E0BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849485$F6A3C99F-FF29-4403-8EED-D9BCEED0BD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849485$C83340D8-7FC9-46F2-88C9-177E3A5487D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849485$D74E3907-5387-4273-9585-A67AA892ECC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d282271705e5747c379d8c98a404f4d39b0660a3","datavalue":{"value":"6210135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849485$68C2D893-2CA8-4922-90C7-874BB7FA623F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"392045d1554de8e41227f7118e5fe96e5ead2a5d","datavalue":{"value":{"entity-type":"item","numeric-id":21879,"id":"Q21879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849485$B8C05926-05E0-4612-8ECA-635B37CB4F3B","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":"Q2849485$B050AAF5-2DE5-41FE-B573-7085D6DDA1F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8cc5b815f95fdfceef30eccad29ea27dcaa9ba5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40885-4_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849485$A3DB0DAC-53C7-4B6C-A28A-86115A18AE86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fce627dac94d46c2cdd52aafb379873cf2f47b16","datavalue":{"value":"W2183957662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849485$E9F89F26-853D-4B0A-8E2C-BC94AEF2F3CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33496806bc50a091c39feb747096092443281dda","datavalue":{"value":{"entity-type":"item","numeric-id":1389684,"id":"Q1389684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66b35ff1ea6407b396a42ea078f0e5968beb3630","datavalue":{"value":{"amount":"+0.8392072319984436","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":"Q2849485$6E23789B-603A-4233-9FCA-6D9E0134FBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b641cdf3032f11c5b34504ffa90d83db50a89d96","datavalue":{"value":{"entity-type":"item","numeric-id":1614866,"id":"Q1614866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fe4ff5d3d5ec31595afbe7cb4adffd07a2ffa4e","datavalue":{"value":{"amount":"+0.8124597072601318","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":"Q2849485$A659386A-DEF6-4A59-AC5C-AA1913450EE3","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":"0539e4f1d3900dbb280248137781289dc09d9872","datavalue":{"value":{"amount":"+0.7955206632614136","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":"Q2849485$D575D357-9057-4E75-9017-B5CBE061CE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ceb2b6595944181c2f2e56bd3fa30811b82a936","datavalue":{"value":{"entity-type":"item","numeric-id":5101437,"id":"Q5101437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6a0fb38b64c009d9203c25703364a8579715444","datavalue":{"value":{"amount":"+0.7950727343559265","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":"Q2849485$D029BE0D-258C-4658-AE79-063726A0B4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32f4aa5b3083c6dad742a5f3a73bfea421f689e9","datavalue":{"value":{"entity-type":"item","numeric-id":3361915,"id":"Q3361915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9b512a7775efd970982f20ebd39a1532103436","datavalue":{"value":{"amount":"+0.7904379963874817","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":"Q2849485$FB07040B-7A84-4AB1-B2D7-A2643A6182D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abduction in logic programming as second-order quantifier elimination","badges":[]}}}}}