{"entities":{"Q5892517":{"pageid":7930448,"ns":120,"title":"Item:Q5892517","lastrevid":51254192,"modified":"2026-01-17T11:33:11Z","type":"item","id":"Q5892517","labels":{"en":{"language":"en","value":"Automated synthesis of tableau calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900075"}},"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":"Q5892517$4AC87F93-CD9A-4B2B-9609-496E672D539D","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":"Q5892517$FAC6116F-5B02-4847-ABE1-9D6E8F282224","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c2d9a90fc42accd5756ecd846177b8c113df04b","datavalue":{"value":"1218.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892517$2D303831-A8DA-4D6A-812E-2F135BB400CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"967b9a77562dc41230315e9898b29d78cffd6f39","datavalue":{"value":"10.2168/LMCS-7(2:6)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892517$0436BF51-A224-4C25-85A7-03625E233D30","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":"Q5892517$D123BCC4-8201-4AEB-A86C-2B2890BBD276","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":"Q5892517$F865DBC8-D3AA-4DCB-88FA-03288CA6FAFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892517$3C34FC6D-EAEB-4645-8549-ACE38EFE00F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5892517$FB2886E2-29D9-4FCC-B1DD-38CCA60760DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892517$AE05A17B-B19D-44D4-B1D9-14C12E23CD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892517$DEA8C87C-C3EC-47F4-BBA6-65A5171F6648","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"909e69903cb7605ddc39e6e257331009389fa97f","datavalue":{"value":"5900075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892517$3FE5FC38-EED4-45EA-9F83-0601ABFF13C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b175d91947f17690275c9651eae20663616dc0e8","datavalue":{"value":"calculus synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892517$622B385A-C711-4522-AA11-EE4C41B0741A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d120f16a4a449e17abe99fcf1fc6dfa592e9035c","datavalue":{"value":"tableau calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892517$36140B89-C4BE-47AC-AD41-BE50A4BE3741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892517$C75F3A33-5F2D-4438-8BCD-8ABABFA88C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892517$9FE1D437-2793-46C6-9568-E305F49403D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892517$760608DF-FB49-4686-8E6C-A841A717EF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892517$4C5FBD69-AB36-457D-B81E-CBDB32C877EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892517$707C8733-0E5E-41F4-9C1A-22CC914396C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892517$89246C0B-3F4C-4430-A835-58AAFD011836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892517$969BE3C2-170A-4414-9BF0-0500F9C9BB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892517$4AB9F49D-BECC-4D7D-A25B-DD1E141AEEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892517$DD986FE1-546E-412B-BC4A-9189BA9854C1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9291db8f6f24de7d39d503e17e069cd87b7516e8","datavalue":{"value":{"entity-type":"item","numeric-id":19701,"id":"Q19701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892517$A65D3DF1-E3CE-4B90-A63F-E89ECFF31FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a8d622aa17d5fda12a0a4ec7736fa013c79a513","datavalue":{"value":{"entity-type":"item","numeric-id":40605,"id":"Q40605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892517$4D363289-5D24-4F2E-BD02-BC2B6F3694DA","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":"Q5892517$A3B2014A-9328-46ED-BEA4-1B39877908E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f28117a43087594de7c2b6ec0cefd5ff35194e3","datavalue":{"value":"https://doi.org/10.2168/lmcs-7(2:6)2011","type":"string"},"datatype":"url"},"type":"statement","id":"Q5892517$716C8022-39F5-44A8-AA1E-E00B4754FD33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d2cf9a050f3354825f0df96621684c0314b7608","datavalue":{"value":"W2569781727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892517$9ECE45E5-6DD0-4360-85A6-28CFF334C47F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ec6a5b98b7fba8ff952e15584af56c76ca9d46","datavalue":{"value":{"entity-type":"item","numeric-id":5902297,"id":"Q5902297"},"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":"Q5892517$2265E661-2230-4A22-BF66-750C67E83BAD","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":"d0b9bdf9acb75d966f126cdce4d43bda3626f0c5","datavalue":{"value":{"amount":"+0.8668564558029175","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":"Q5892517$52A0E42B-E196-4C9A-A9CD-FC07C83E2414","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":"bb3334b04a145b94d0999075d004473269cb5887","datavalue":{"value":{"amount":"+0.8176941871643066","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":"Q5892517$DECCCBAC-9629-4A2E-B890-2686D38DDF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"553bb8fccc21fcd98c66f3bfee4c1a71213ffb01","datavalue":{"value":{"entity-type":"item","numeric-id":5479274,"id":"Q5479274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6634b9e9624f1cc73386f6d3cf0226d73861a49","datavalue":{"value":{"amount":"+0.7594895362854004","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":"Q5892517$6A4DF6AE-9D57-4623-B3E5-FDA233D9B4C8","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":"32fab74d06760dd4d38546c92be2a2ad9828a126","datavalue":{"value":{"amount":"+0.7467399835586548","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":"Q5892517$587F7967-1BD5-4E83-9D80-5424BD5C4BC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5892517","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5892517"}}}}}