{"entities":{"Q4982124":{"pageid":7011702,"ns":120,"title":"Item:Q4982124","lastrevid":52231598,"modified":"2026-01-21T05:20:13Z","type":"item","id":"Q4982124","labels":{"en":{"language":"en","value":"Hybrid tableaux for the difference modality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418744"}},"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":"Q4982124$48CCBE86-6815-4F4B-8DCE-CF16EC8C151E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d32b27b2ec53da5bc225349521df9edcb4aacf9","datavalue":{"value":{"text":"Hybrid Tableaux for the Difference Modality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982124$22DE5FA3-1485-4DCD-A045-6FD148D24424","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"245cf52c1bfdf04a2a72336af24f7b772aed9514","datavalue":{"value":"1347.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982124$28A434F4-465A-4180-8FD4-91B83525DFBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44b6965f702c25ca4aa2bb1fe3823f82e953c560","datavalue":{"value":{"entity-type":"item","numeric-id":286084,"id":"Q286084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$C5103144-DABD-41A9-AC8A-5B4F5715C882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$AB14707F-7553-4658-8C5A-792E0FB51002","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$67EC54F7-9CF5-4C83-9A70-91829443C784","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982124$50F6DD4C-1719-4C0C-AD41-7192E6AD4B19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982124$09D6978A-8CD0-4338-B847-81701D4FD11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982124$901F1D6B-F199-4997-AB6D-3E4DAF3ECC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982124$31A4C37F-353D-4756-8D54-DA530A89E786","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c6ee198724f974b7072de752423223a192e01cd","datavalue":{"value":"6418744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982124$9B1450BC-796A-49D6-9453-8BB99A48A146","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982124$D39129F1-DB4F-4042-8A0E-0BE897F112C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982124$772262DE-79FA-4819-8DB8-3DB5B5730E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e0ccf219b9d3559ffe1c612ca2738894146cec3","datavalue":{"value":"difference modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982124$67BE9759-EDC1-422A-BC3F-8530A222DA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4726c1830b2878e08ce0394f148de15b92b68384","datavalue":{"value":"terminating tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982124$FE603F9B-5F07-41DC-889C-40EFE9FD7864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982124$A33EA1D3-8000-404C-9D8C-404A37B78C9B","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":"Q4982124$2FB8C991-ADF2-4F1E-9BE4-275698CBB88E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d07411f37ce82c86617f4e4276ef473a5663b8d","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.02.039","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982124$0FF2C6BA-C655-46A1-80D3-47AC15303CCC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4664cf2c588a5bfe84fcc34df785df736b3fd5d3","datavalue":{"value":"W2002949351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982124$A0ACE30E-339A-4ADC-9E60-097CBEA51CF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f679be7e862c11d0f8c9c30d7bdfa2a2fb7096c","datavalue":{"value":{"entity-type":"item","numeric-id":4511543,"id":"Q4511543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$E67D3A2A-B589-4416-830D-44EAAFF9526D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$3CD5DB11-C108-45D2-A62A-E15D5FEF10ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$2AFAC31C-55B6-4C71-AA19-6A868AB67836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a434d8d83635d48a94c51e468983008bba00fd2a","datavalue":{"value":{"entity-type":"item","numeric-id":5431611,"id":"Q5431611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$5B30FE10-1694-45F6-B52E-34F8D43C76EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a7cec9b821e2e4c8ea02adb846615582ed2171","datavalue":{"value":{"entity-type":"item","numeric-id":3431972,"id":"Q3431972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$ADCCF528-282C-4E69-B702-C8237197D261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45588cd7360799e3b56381b497f12f36a21e9b0f","datavalue":{"value":{"entity-type":"item","numeric-id":1314288,"id":"Q1314288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$E724110B-A4AE-410D-AA31-F3BF8484C713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19a13d21f909bc5d01ac054faba1d283210dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$143CF8A9-B7D7-4235-A704-0B5FD18D64AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37772bc8a9ab069bf1b2842d6e80861b80209223","datavalue":{"value":{"entity-type":"item","numeric-id":4032643,"id":"Q4032643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$7C629EC2-FD49-45B2-8A76-537393F13D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1182fb0a35a2f892a7941d2fc6503a7824f6878c","datavalue":{"value":{"entity-type":"item","numeric-id":4645235,"id":"Q4645235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$F965D252-11BB-4F57-BF4C-FE8EAF3AF826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e932574c9f27ff275d773156b5437912784e81ef","datavalue":{"value":{"entity-type":"item","numeric-id":4796460,"id":"Q4796460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$2853A6AA-7763-46A2-955C-6B4C62EA9D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1aa73dfe0d0c7090d64e64b87f9b4f3015ccdf6","datavalue":{"value":{"entity-type":"item","numeric-id":1589576,"id":"Q1589576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$BF7503D4-B15F-4A15-8FC0-6884DF66558B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0457f0d5a737e9bb31a4a77d28a97e459977c406","datavalue":{"value":{"entity-type":"item","numeric-id":4108293,"id":"Q4108293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$DA32788D-4D87-4E4D-A20F-B7FC8F835839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9a06043cabfdf1bed4266f0e66e1ffa6ee1ecad","datavalue":{"value":{"entity-type":"item","numeric-id":4570895,"id":"Q4570895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$0F9AB8A2-303F-4C50-944A-B29ABE434A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff88c8deafe84aa3979279617493df51d40e2371","datavalue":{"value":{"entity-type":"item","numeric-id":1310624,"id":"Q1310624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$9887D903-3B51-405E-BDC5-B736DB517202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b356ce08b4c99f2940e2874e7822fa7411c905","datavalue":{"value":{"entity-type":"item","numeric-id":3478385,"id":"Q3478385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$160B5293-586D-41D7-8993-628848CCCB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dc21616495510372343ba5d18598addacd13ba","datavalue":{"value":{"entity-type":"item","numeric-id":4647549,"id":"Q4647549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$1C03226A-FA17-43F2-AF1C-1C0C63B1E0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3efaf7196a1042742f6796e8fe3994a0c6d9bad","datavalue":{"value":{"entity-type":"item","numeric-id":918533,"id":"Q918533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$8927D4BC-11A1-4CD3-B1AC-6C0864E22DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab70e716db6bd0be49c95804865bfacd3b74f727","datavalue":{"value":{"entity-type":"item","numeric-id":2867945,"id":"Q2867945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$3748BC42-9B9A-4E19-A464-677914F0CE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8699f899d3d9ead3546ea31dca3cd85bdb091db7","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$932DD29C-EF7F-4D6E-AAC4-301C285813AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ed020b59c477403bed93a2bd5eae02fddd49ee","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$7D90E5A3-A661-41B7-A3A6-47B31374F86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e12ebc4beb0a2509586b59f5001ca0b126ecbbd","datavalue":{"value":{"entity-type":"item","numeric-id":4276034,"id":"Q4276034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982124$444E2D8E-3FC7-4137-BB74-108CE7E9DB0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bb5ac5d261fd5781c4d7eafe38f8386df46647c9","datavalue":{"value":"10.1016/J.ENTCS.2009.02.039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982124$221EFA69-D927-4D36-AA07-30753F16848B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20c8603b2d8f201a1b66efa4ac981e09b8b947fc","datavalue":{"value":{"entity-type":"item","numeric-id":1047795,"id":"Q1047795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba79053a36205f49f6ef87634973c02f9fe2b0c","datavalue":{"value":{"amount":"+0.8786693811416626","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":"Q4982124$97022746-C58B-4E07-8F51-0011E7B07FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3404477fa4a67601e561a14d17c6c39eb0d456b8","datavalue":{"value":{"entity-type":"item","numeric-id":631086,"id":"Q631086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2915d1e201f194d2979d5a00ed2a19a605e0bf6","datavalue":{"value":{"amount":"+0.8752394318580627","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":"Q4982124$573502A6-04A5-4775-B076-CBB7E9E1586E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f22b407052d5e8a7b574e326c79bdb80a52596fe","datavalue":{"value":{"entity-type":"item","numeric-id":5431611,"id":"Q5431611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67cc8bf9643a1ed978066bea9bbd568710d3956c","datavalue":{"value":{"amount":"+0.8716092705726624","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":"Q4982124$1BA5033E-C991-4546-BF95-43686A7BDFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9fb46176b6712b99d7a2afe9166512817cc544d","datavalue":{"value":{"entity-type":"item","numeric-id":3541703,"id":"Q3541703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae7ad2bad229a5ebf240a2d60eae8b11013cd2b9","datavalue":{"value":{"amount":"+0.8633005619049072","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":"Q4982124$3BB30F7E-51BD-43DF-AFF1-710BAF723B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"576167e7b715cd69728567c58c913537565117b6","datavalue":{"value":{"entity-type":"item","numeric-id":4982329,"id":"Q4982329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78fd08461e2deaced30abedb29eb3cdb1ecfc8b0","datavalue":{"value":{"amount":"+0.8540448546409607","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":"Q4982124$5E2F3A8C-47B2-441E-8A59-4C369739899F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982124"}}}}}