{"entities":{"Q3533155":{"pageid":5563059,"ns":120,"title":"Item:Q3533155","lastrevid":88482839,"modified":"2026-06-04T14:38:39Z","type":"item","id":"Q3533155","labels":{"en":{"language":"en","value":"tarfa: Tableaux and Resolution for Finite Abduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5359333"}},"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":"Q3533155$FD1C70CC-6D4F-42FA-9E61-76682896270A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ebf7f373a17110ea65376c05e31a60d703a4d45","datavalue":{"value":{"text":"tarfa: Tableaux and Resolution for Finite Abduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3533155$F069B2CE-5BC4-4363-8350-E53BC02F7159","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2090fe50adc9c4ed9bce7fae354c50fbd5e8c0a5","datavalue":{"value":"1152.68534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533155$33DEC6CC-2618-465B-8D0B-C545F44A8B18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d0622873c364878255d418eda999db8dd3fd61a","datavalue":{"value":"10.1007/11853886_49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533155$6E0294B5-85B6-44A5-B6E0-9F916165740C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9622bd208146678e3bc46d7e0457e5df6f1be5b","datavalue":{"value":{"entity-type":"item","numeric-id":391145,"id":"Q391145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533155$E48487E7-6DF2-4CB0-B784-DC7CF88F9776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2fa2a21ac417907ec877c12eac929bb8d4360ce","datavalue":{"value":{"entity-type":"item","numeric-id":2446680,"id":"Q2446680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533155$C4841731-F79F-4545-9586-EC31C3160ABC","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":"Q3533155$0F5EA7A6-D422-4922-862F-685813584165","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a314951617bacafcd051bc028a7f73602f45eed","datavalue":{"value":{"time":"+2008-10-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":"Q3533155$1BC10D76-8A18-45F0-866C-5D48E9897A1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533155$953808EB-C20A-4F1F-ADCC-2A23D0E3AD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533155$B0D8460A-4C67-45AC-9F9B-1B4C208C0500","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd0392dae20c0c767c65590bba7d82dc953e7cee","datavalue":{"value":"5359333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533155$3EB734FB-0B70-4BFE-B840-B6BFF12D4699","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":"Q3533155$5AA8D3DD-8570-4572-942E-51666D69F9CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4da7c24be27481df33f8fde7fd9206e7eaa2faa","datavalue":{"value":"https://doi.org/10.1007/11853886_49","type":"string"},"datatype":"url"},"type":"statement","id":"Q3533155$7E615686-976D-45CE-B0A1-ADF4C4D7C6AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96d6b42470ea27e440b2414a15e532fa485c6bf1","datavalue":{"value":"W2186890178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533155$C5F2516A-F429-48FA-BEAF-2764D9017BDA","rank":"normal"}],"P1643":[{"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":"2b84f52f9de86de45da64a5496dfd30d51381ef6","datavalue":{"value":{"amount":"+0.8256732225418091","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":"Q3533155$E0248132-6658-428A-A7E2-CB3949714A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d3b84e8549dd7413194dcd66c0a137b25d30ac","datavalue":{"value":{"entity-type":"item","numeric-id":3647297,"id":"Q3647297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7366ef625e0d806fec6c4131eb2fa91da48a897","datavalue":{"value":{"amount":"+0.8146467208862305","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":"Q3533155$A840A81C-2582-46C8-A8CB-4D6391131C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"799459f24a16ade748ea32066fbefc9ec19c842c","datavalue":{"value":{"entity-type":"item","numeric-id":2909833,"id":"Q2909833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d7e718d0bf04fac68a84c897e4d58d99ace1bca","datavalue":{"value":{"amount":"+0.7927935123443604","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":"Q3533155$9E20A085-7B4C-464E-8F82-5FDAC7A98FC2","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":"7b605af9535a14d32e74da426670eff7d668800c","datavalue":{"value":{"amount":"+0.788543164730072","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":"Q3533155$6D41471C-1C75-4A9A-91B3-AFE1F60C1982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc9426bd8abd6208e365c6f3a02728782007e20b","datavalue":{"value":{"entity-type":"item","numeric-id":4819009,"id":"Q4819009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11561b6ffada8adf2a5fc4e7aa6207e54297f6e2","datavalue":{"value":{"amount":"+0.7800661325454712","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":"Q3533155$74E90C5C-EBCA-4567-B242-136096EBE201","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tarfa: Tableaux and Resolution for Finite Abduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tarfa:_Tableaux_and_Resolution_for_Finite_Abduction"}}}}}