{"entities":{"Q3411859":{"pageid":3422562,"ns":120,"title":"Item:Q3411859","lastrevid":87090812,"modified":"2026-06-04T10:39:34Z","type":"item","id":"Q3411859","labels":{"en":{"language":"en","value":"Abductive Equivalence in First-order Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5076814"}},"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":"Q3411859$AA1FA792-7FDD-43E2-84CE-A6F8C0DEEDE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccba2ece3351216f946405bbd2ed4c979ea34dc9","datavalue":{"value":{"text":"Abductive Equivalence in First-order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3411859$BF8D7B9F-DECB-4F23-8089-20F1D2F2B9F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce8d05c4c9bc7a5273e6e328691853957c9cf9b3","datavalue":{"value":"1108.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3411859$E9D4507C-3971-470F-B06F-A5002F304886","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e804c1f7efed58c4ab3563ef841d7e67b0819c","datavalue":{"value":{"entity-type":"item","numeric-id":374190,"id":"Q374190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3411859$C411BBAC-F6A1-4D1E-9DA0-D2E27EC6F8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb7f365089f19283ba2a09add7a0eb7b4b253f67","datavalue":{"value":{"entity-type":"item","numeric-id":413853,"id":"Q413853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3411859$456CC5B6-7ABC-4360-A6E2-127A03B89C4D","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":"Q3411859$BC15D524-B476-49FD-98AB-ECED1EE66768","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56aa8c6e4ac4f5d231a0800c03fdd1ce450287c6","datavalue":{"value":{"time":"+2006-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3411859$51D5CAA6-F8E1-4044-917E-2AA7BC13BC9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3411859$FEE985F6-FB20-4664-96B8-803993416ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3411859$DA8EE47F-FF3D-41EE-AAA7-9990A47B6AE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"519a19f8b9000feae6a704f8f49b5c962dae9c05","datavalue":{"value":"5076814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3411859$1ED62E31-D254-48C6-B377-BEDCF3D39069","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3411859$2EB1060E-C7F9-4682-9681-AFF2B3A54BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4f4b2ec50f5ec3ba442b67977c176158491704b","datavalue":{"value":"equivalence of abductive theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3411859$6209D010-19E7-408D-B9E6-DDE0A489A384","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":"Q3411859$E8A72945-DA12-4CB5-AE4C-491212B3A208","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbbf41b2e23f71ec048f1068102f361161b8b8fb","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzk022","type":"string"},"datatype":"url"},"type":"statement","id":"Q3411859$F49A3811-B863-41AC-A622-194A224D1ED4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5961025005af3b5e5a2b7471884e47931b275e68","datavalue":{"value":"W2164099738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3411859$53699AE7-1923-4877-A82C-028F8DB96217","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1cbad4fcbda8f5e7ca768fe547f4fd4bc186a608","datavalue":{"value":"10.1093/JIGPAL/JZK022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3411859$FFFAC813-2A35-4A55-9321-65F07B189C82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e2558ba90f86d11c1db62cb3c1b7e897600048","datavalue":{"value":{"entity-type":"item","numeric-id":833733,"id":"Q833733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8eb9a6f18cc6cdf2284503d7ebc52971238c5a4","datavalue":{"value":{"amount":"+0.8299862146377563","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":"Q3411859$8A0AACB9-DE95-42FC-BFC5-BE02DCF4347D","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":"7e8adad4e6674358233b778936a7cf4a3deb174c","datavalue":{"value":{"amount":"+0.7843509912490845","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":"Q3411859$B4AC999C-6D45-425C-9BC8-8282764848DC","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":"ef9170a50e69b596694b5c1e871f814eedfe1bf1","datavalue":{"value":{"amount":"+0.7820906639099121","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":"Q3411859$DF8CBE41-1335-450E-85E0-F3E1C24C9285","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":"43c3025b4db5769c5c5b706e86ab5b1ee88728c2","datavalue":{"value":{"amount":"+0.7795457243919373","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":"Q3411859$624F4382-4F46-4453-BE7E-FF1268D0C1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebcdca6a1723a9fded274a9ffd1546ea4979f86f","datavalue":{"value":{"entity-type":"item","numeric-id":4369855,"id":"Q4369855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"810892334c8542711fa3187478040780cdb751f0","datavalue":{"value":{"amount":"+0.7760923504829407","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":"Q3411859$A8C7A1BE-26D5-4D01-800F-B24C6733BA52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abductive Equivalence in First-order Logic","badges":[]}}}}}