{"entities":{"Q5902297":{"pageid":8011249,"ns":120,"title":"Item:Q5902297","lastrevid":102016217,"modified":"2026-06-06T03:19:00Z","type":"item","id":"Q5902297","labels":{"en":{"language":"en","value":"Automated synthesis of tableau calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640975"}},"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":"Q5902297$747EB615-EE12-472C-82D6-05CCB7226BC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ca7340c0d0eb5e4ac65a22f4019214f1caf3ec9","datavalue":{"value":{"text":"Automated Synthesis of Tableau Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902297$EB7DDD7B-87DD-45B2-A398-2E1238429B10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d4ab276c7e79fbdb0b179276c954e18932e0473","datavalue":{"value":"1218.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902297$00B594A8-8120-428C-AFE9-58F2F936ED30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e107b8a97823bf18f079c6c583bf0530290f3306","datavalue":{"value":"10.1007/978-3-642-02716-1_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902297$DA525AE5-FC18-4D1F-AC0F-A29CCE310BC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902297$4B7EAB34-E2CB-495C-A2AF-134288F3A19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6f6116a537b2100eaf2b15ff2d89502763ddba9","datavalue":{"value":{"entity-type":"item","numeric-id":702099,"id":"Q702099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902297$DB5C4E26-1944-4636-A4AD-C3E8B0D86E8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902297$654554E5-EC65-4262-A128-344EEDC8DCDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8bdd78fc222a44e05f767ee071ed0c7d623c0a6","datavalue":{"value":{"time":"+2009-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902297$62CD261E-B442-4619-9A0A-EF480FE4F900","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f1eeff57b21ee463e5fa0ed4e84b60490d42a89","datavalue":{"value":"https://arxiv.org/abs/1104.4131","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902297$68C060A2-EC64-48C3-9128-697B6E9F5EFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902297$04DEE40C-EC77-41B1-A942-83F3FD83D01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902297$F9684AC4-5A8A-49B6-8DEF-8BFCA1E6C517","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a74c4f9a2586411b55569511fc2e4742a3796b69","datavalue":{"value":"5640975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902297$8D5EB555-30BC-4B24-AAD5-B2F9EF4F212F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b175d91947f17690275c9651eae20663616dc0e8","datavalue":{"value":"calculus synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902297$4189E963-E3E1-4AA0-A8B5-AF510322ECDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d120f16a4a449e17abe99fcf1fc6dfa592e9035c","datavalue":{"value":"tableau calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902297$F8FEAF7B-D183-4303-ACBD-B285A064C3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902297$A9B1102D-F5BF-46E7-B5A7-A09485439C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902297$3FE634A3-254E-4D0B-BA96-707E818DA533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902297$D878EBF2-092D-41B8-A36F-0CB1AD483F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902297$F53D6958-1AF4-4EFD-960D-827DCBF22BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902297$C312C09E-95B0-4B5D-881F-52A3F6E973EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902297$8CE5C6D7-CDDD-4B00-B45B-6A12458C03D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902297$606BCAFC-F7C1-4CD5-8289-4CAEDDF124A8","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":"Q5902297$0C7F84E0-6588-4D8C-92C8-5A3C9E5DBA41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b54f227f1cfa0cb07e8df0a7f4701560f11a63a8","datavalue":{"value":"W2408610956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902297$40A7B910-AD45-4A96-8EFC-78BA2355C2ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af209c681bc7ec5398760aeebfdea6370501e651","datavalue":{"value":{"entity-type":"item","numeric-id":5892517,"id":"Q5892517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bbab880d7fbc21d7657b18e498e018a5386047e","datavalue":{"value":{"amount":"+0.9894791841506958","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":"Q5902297$47BAFD40-0DFB-401B-ABFD-3195F650C047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aaf1352533135c4417397fd5c4ca7971e024d46","datavalue":{"value":{"entity-type":"item","numeric-id":3007566,"id":"Q3007566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66361005487e47bb67b9d82658a7435627c71de5","datavalue":{"value":{"amount":"+0.8629602789878845","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":"Q5902297$DB181EF0-4591-498D-A660-27014C2B3840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438161d580242b1bd18397d7421ea3ce7f7dfdab","datavalue":{"value":{"entity-type":"item","numeric-id":3185770,"id":"Q3185770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"473c97ef4e1b2e192aacea96f7fb3c53cdc8b90a","datavalue":{"value":{"amount":"+0.8173225522041321","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":"Q5902297$C55A9DD0-12EF-4E92-B6C9-ACE859CD1C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c0bec91397d2419c4cd6446727ef5c89817380","datavalue":{"value":{"entity-type":"item","numeric-id":4244301,"id":"Q4244301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f935028c1299edcb1608dda2c170ae7738cfd61","datavalue":{"value":{"amount":"+0.7706352472305298","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":"Q5902297$C1BE766F-0F50-43C9-BDFD-FF1DF2450C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c75afe9048b90d96d419aafcc8f618e7a8d0d9","datavalue":{"value":{"entity-type":"item","numeric-id":1334905,"id":"Q1334905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321d27754add8d2248c62ebb84c722cb5ac0af8c","datavalue":{"value":{"amount":"+0.7629766464233398","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":"Q5902297$F4C89FF7-D0CC-4CDD-A85B-5F5BEEBE4FDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated synthesis of tableau calculi (scientific article; zbMATH DE number 5640975)","badges":[]}}}}}