{"entities":{"Q2909833":{"pageid":2920558,"ns":120,"title":"Item:Q2909833","lastrevid":51546854,"modified":"2026-01-18T17:47:22Z","type":"item","id":"Q2909833","labels":{"en":{"language":"en","value":"Tableaux for structural abduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6078506"}},"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":"Q2909833$95B536D3-FAE1-4A20-B223-A10874CA9A0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7524318f73e5f954f93a7aed8110584cabe9ef04","datavalue":{"value":{"text":"Tableaux for structural abduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2909833$1D183ED9-44C4-4E63-93F4-6BA00A6A28B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0b3affd8bee81e604db1ad42109ed0b3e81e7aa","datavalue":{"value":"1246.68212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909833$302492DA-13DD-4812-A732-B98E790F2D11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ceb6ddc51cf3a7217b57434fe54e93a81cdf9416","datavalue":{"value":{"entity-type":"item","numeric-id":2909832,"id":"Q2909832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909833$14345C26-6771-47CB-9766-C54C6D6E816A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec2ee5f3fb3ad4b04ebc27b1a49c143dcadb098","datavalue":{"value":{"entity-type":"item","numeric-id":385071,"id":"Q385071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909833$3A4D0A10-8B23-45B4-93A4-C8DBD965743C","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":"Q2909833$AF01BB73-BE8C-46B9-B862-7C1A85EFD9B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2e785076c925608e90781bb4173656a454ded85","datavalue":{"value":{"time":"+2012-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2909833$C3078E9C-0D7E-4221-9311-7E7546C09C57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909833$7A07DA5D-130A-49C3-A208-2CDED0BA2A73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a62a11fbcff5efe41a42bbdce405d5e492298217","datavalue":{"value":"6078506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909833$68B2D3AF-276B-4EA9-808D-9845550ECF36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9e972cff25e6d54b1e6f1f6277a004a8d61e75a","datavalue":{"value":"structural abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909833$124DE3AD-3303-4A4F-BA68-4BBF637D4936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9965a2292f1b3a1e36ee76fdba68d8034a32a825","datavalue":{"value":"rules for accesibility relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909833$2763EF97-8F6A-479D-B5FB-CFDC7BB4A665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09f6e0a91422f468661a25d4db9828f9b64daf8","datavalue":{"value":"abductive modal tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909833$F7AA8332-9F96-4765-B9DE-9D41A6CD621F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34dcf177942099ebd7908a85add90b504b1f7103","datavalue":{"value":"infinite branches","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909833$A817AEC4-47EC-4334-9B47-77DF8913ADA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"698aa9bc8cc03eebfc7d87ab087398152dad6168","datavalue":{"value":"changes of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909833$7814D478-0DAA-4644-BEF0-0CC4830A09E5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3c6e9e5cf2f4a95d2f7bb8b2e8d10051a3f3a286","datavalue":{"value":"Q58883304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909833$736B590F-AF2E-46E1-9DD6-B62AA1B5BCBA","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":"Q2909833$F4161134-23FC-4D4F-ACF5-3A9E23BB49C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6ef98e4a8e74b597b9f9be4f492c2c06e65a043","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzq054","type":"string"},"datatype":"url"},"type":"statement","id":"Q2909833$D09E32EA-DB98-4F58-9406-33C58D4B32BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fb8f8c8b0c2a49345d3fe500107fedb5948d8d1","datavalue":{"value":"W2011473085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909833$FB4274A1-1802-44DE-BEE7-D01FBBFEC461","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3b089e53b1457e27198cf37eeb4cb33944cca5a","datavalue":{"value":"10.1093/JIGPAL/JZQ054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909833$CE9C370F-63BD-45EC-8074-5CCB45311796","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"5de2843888e8de534818e22d1325777691794654","datavalue":{"value":"journals/igpl/Nepomuceno-FernandezSD12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909833$C8494BF1-277A-4189-BABA-FD607EA34D97","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":"Q2909833$6F091D93-3BE1-48BF-9F83-8E2FE6B20B42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50deff517241749ae90b84b8a8806203d67a6634","datavalue":{"value":{"entity-type":"item","numeric-id":4860658,"id":"Q4860658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7535b5438c56cf9efa827f1d57b753f3e05f8615","datavalue":{"value":{"amount":"+0.8340546488761902","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":"Q2909833$D2E9EDF8-9D77-4924-B533-B751F4BCD444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d5cf897fab50abe790e1373e1fad4ffd6c0495","datavalue":{"value":{"entity-type":"item","numeric-id":4235432,"id":"Q4235432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7535b5438c56cf9efa827f1d57b753f3e05f8615","datavalue":{"value":{"amount":"+0.8340546488761902","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":"Q2909833$D8498BA2-C641-46F5-8420-B487E898F78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d087fac4bcc1ee015080e3663d677c09ee6ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3533155,"id":"Q3533155"},"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":"Q2909833$FDA646A2-345B-4D45-A497-088A146100EB","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":"681561050e8e52bb1721a8015973c5489112c88a","datavalue":{"value":{"amount":"+0.7809886336326599","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":"Q2909833$C66F5B19-7E16-47C3-8F1F-19CFE83A80CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c04180c23d2eaf17ff6cf5d0fe6d359f8f899c4","datavalue":{"value":{"entity-type":"item","numeric-id":2909837,"id":"Q2909837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7588164efdc68b7ab55ba768446fa227884272a2","datavalue":{"value":{"amount":"+0.7757074236869812","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":"Q2909833$4B6FD4F7-2054-4F86-B511-F75726EEBC8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2909833","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2909833"}}}}}