{"entities":{"Q5504120":{"pageid":7533680,"ns":120,"title":"Item:Q5504120","lastrevid":41872509,"modified":"2025-05-09T06:52:40Z","type":"item","id":"Q5504120","labels":{"en":{"language":"en","value":"Cut-Based Abduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5495723"}},"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":"Q5504120$D404156B-A482-45CC-88EC-288C6E082CD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9796fc82eba85128f5d99943bda26c31809ea0f","datavalue":{"value":{"text":"Cut-Based Abduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5504120$A08CB469-EC2F-4821-A8D8-9707496B49B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1a8dc4280cedaa57e0d855c97de272d36effa92","datavalue":{"value":"1156.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504120$FE8E39C4-7817-4F94-83AE-5762C533BDEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd74b551dc598d94e51622f5fee0611a3782ba4c","datavalue":{"value":{"entity-type":"item","numeric-id":281147,"id":"Q281147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504120$794077A2-9D42-4452-AEEF-7154B663EDF3","rank":"normal"},{"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":"Q5504120$2C34E578-FCFA-4891-A29B-D78CC5A9E086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504120$D9126F90-080D-4E09-B9F9-4642D461B3D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecf289ffa08c547e658749b84476576936008772","datavalue":{"value":{"time":"+2009-01-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":"Q5504120$E964AFCC-4AA2-4821-8E04-D00250FC0479","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e2a6e06767a4fa94dd8f4c07eb3502901326049","datavalue":{"value":"https://semanticscholar.org/paper/9eb7eea93a0d1f017b6eb3b56ea2b02cb2c0acb6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5504120$DF66EAAD-BCA4-43A3-ACB1-32DE057ED446","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504120$A6C2E907-C2AA-4995-88EF-D37659854A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504120$69263868-D768-4AB0-9C30-A6952C56E9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504120$130CE70B-4B66-4C2E-AE46-3E45A5FEAB96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eeff11b367af349eef94292c942c6e0ab217b488","datavalue":{"value":"5495723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504120$A7C7CA48-2ACC-4095-A1DA-D00F36A9084A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5504120$B5D04C5B-6ADD-4E26-AF13-7E856488EFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f550afd509bfc91355c0ba1372d54a6d22a91e14","datavalue":{"value":"hypothesis generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5504120$C0236110-3406-4502-985A-91061177E958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20e8523755c629936b223c108cd9b934e50817c8","datavalue":{"value":"lemma generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5504120$92D12567-1D49-473F-BB94-B0A967672947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0061e13c7976b61549ed472f7333da24d48462d","datavalue":{"value":"cut formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5504120$4841ABA7-05A1-438E-8CBD-11E2F07B8CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5504120$8E6593FC-DCAC-451C-9173-33A8305A7260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"463e0378f2bf7783daddc0d9b1c379b40141c17b","datavalue":{"value":"tableau-like system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5504120$020CAF92-2784-471A-9D55-B42C7FFEA69C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a08e6cbc9e13faf93521773f1ec57f9f811f9315","datavalue":{"value":"Q117021980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504120$463112AC-D702-4F0A-8C46-F6D5524E53B5","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":"Q5504120$83338632-824F-40D3-81D3-6B3E4716EBF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2966a06a776b367c423a44ed224ca661911742c2","datavalue":{"value":"W2159959838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504120$DACC84DA-4DA8-468E-B8D7-9A31CFDEA422","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae2c1cb084072f1e74cdcfafcfc712a30ca6ba63","datavalue":{"value":"10.1093/JIGPAL/JZN020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504120$0B4E7C24-11FD-47CC-B15D-10ED010B97E1","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":"Q5504120$D2566E1F-2594-4F48-9E24-1627314BCFBA","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":"29e0286b5f0312d32cead7d2ef87fe42dbff4c94","datavalue":{"value":{"amount":"+0.8663168","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5504120$B8073B54-A7E5-4F52-A36F-FA59CFBF2D58","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":"8551830b9e672b68ac0f300338cff9d2cd6fc83e","datavalue":{"value":{"amount":"+0.8206886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5504120$BD05476A-5A2B-45E7-96F5-0B8D265ED83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ed7b5351f09ca585023388a4b8c6404833cb05","datavalue":{"value":{"entity-type":"item","numeric-id":5082337,"id":"Q5082337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ababbb6c971d61855d367771f912ae82894c8228","datavalue":{"value":{"amount":"+0.81550825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5504120$7E3F6CBC-0EA0-47E2-99DA-FA332F39C768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d08f107f5ec0016ac3e268ee5386997e5d1a72a","datavalue":{"value":{"entity-type":"item","numeric-id":898774,"id":"Q898774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c684cb67c71ab8e6af5f65e5a39f2dc15a7a36a6","datavalue":{"value":{"amount":"+0.8110714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5504120$6BF87568-6463-4E90-999A-FC645EDB0B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aad7b065a52f317d2baa1a8c143f4ac9bb89d18","datavalue":{"value":{"entity-type":"item","numeric-id":2766987,"id":"Q2766987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f917325fa514c0838662e7d6d0b333caddeccec","datavalue":{"value":{"amount":"+0.8037893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5504120$EC620F98-59DA-43A6-B12E-EA741C16AE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"291e1c5a9a4a836dec4cd1b8e26f2e17afec79b7","datavalue":{"value":{"entity-type":"item","numeric-id":1182159,"id":"Q1182159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a2937d380b03ab5ddf2efc1427852c86351934","datavalue":{"value":{"amount":"+0.8019377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5504120$50B71F12-5434-4CA3-B09F-D2A1D538BBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1510250e56f450fa1dd82f918a0d39f3feb0500","datavalue":{"value":{"entity-type":"item","numeric-id":2575795,"id":"Q2575795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f81b4ccb2ee5dede7d8e54fa563a15cf8585598","datavalue":{"value":{"amount":"+0.80183434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5504120$710CCD0A-2EC9-43E0-9BBE-8C9E3A85B0DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5504120","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5504120"}}}}}