{"entities":{"Q3541703":{"pageid":5571607,"ns":120,"title":"Item:Q3541703","lastrevid":80954480,"modified":"2026-05-06T17:22:58Z","type":"item","id":"Q3541703","labels":{"en":{"language":"en","value":"Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5374243"}},"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":"Q3541703$D9DCCA80-7524-443B-B7AA-439644564C5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6621887b934353e185e9d4921aee21735f2f6481","datavalue":{"value":{"text":"Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3541703$D0B71E78-13D9-4731-9D36-A62FB59CE0BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbaebde550c04d1b253d63c93b10fd43fd400a95","datavalue":{"value":"1165.03317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541703$DAE4B1E2-B0E1-481E-ADB2-0FFA84F5EBA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d222ad91ed467a934dfa3c780b0a38638180f5a4","datavalue":{"value":"10.1007/978-3-540-71070-7_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541703$1FB68B25-CB50-4CD6-AE53-CD20EBC404DB","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":"Q3541703$7F79DF37-8164-4AD8-BE13-4B0A8D82C630","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":"Q3541703$AC870E90-2CDE-4B40-8152-34342969A3C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541703$558320F4-42A1-4BFE-B7A5-F500B5FDBCFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a5749b126b021d85a2ebf6a8aa65ef57ba3c669","datavalue":{"value":{"time":"+2008-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3541703$8C39A418-246A-4B6D-A9CC-34C6E494A04E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541703$4E2DCD11-DB9B-413D-81A1-0CA055A34C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541703$A5D083CC-39C8-40AB-8ADE-3233423ED5BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eaaba99c2fbb42689c2a29c53fb3cc4d4e936312","datavalue":{"value":"5374243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541703$B4944775-F4FF-46A6-A51E-7F9383FF101A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3541703$DCF0C351-3EDC-4256-A0FE-51F5C4549BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3541703$9F70D420-AF8B-4424-A65F-2BCDF0C0D117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e0ccf219b9d3559ffe1c612ca2738894146cec3","datavalue":{"value":"difference modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3541703$EFD3AD73-CA1A-4571-88BB-9B73164500FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4373289f055983506c932568f1bfa50f638cdca4","datavalue":{"value":"converse","type":"string"},"datatype":"string"},"type":"statement","id":"Q3541703$D5DCC25C-6131-4F93-9921-06753FAF76C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96bbc11051e7df69761c0a9fe452d973e56df1e9","datavalue":{"value":"tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3541703$C5D2E79B-70C9-443E-A18F-6C0DEDF1B36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3541703$6C69AEAE-DC54-4E25-A980-FC0361133319","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":"Q3541703$BF77D6D4-0DB3-4B7B-9ABD-3640048BA225","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78e47afa1ac2247da94de29043e692ec7eaa6a00","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71070-7_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3541703$8BA1BB9F-BF11-4620-ADAD-842956812F26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37873429b42cfb3087889ea53c2893bae2f0ea23","datavalue":{"value":"W1503578951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541703$0B7ADDEB-F5C2-4C92-855E-3F76DCAE6767","rank":"normal"}],"P223":[{"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":"Q3541703$B3FD255D-9FDE-4F84-A421-C935C772E736","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":"Q3541703$E2B4E641-7014-4D1F-BEB8-AD0E0F3114F5","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":"Q3541703$3DF57359-D191-452A-B431-54C490218B7E","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":"Q3541703$D7A7B862-77FD-4320-B749-8B267EB7255F","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":"Q3541703$13CA3DBA-BE12-4AD3-B8C7-23D1B81807B2","rank":"normal"},{"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":"Q3541703$94BA1087-CEA9-466D-ACFE-10E57FF8039E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482630ccbb4eaf6cb5c2ab91aad34922fded3ef5","datavalue":{"value":{"entity-type":"item","numeric-id":2535854,"id":"Q2535854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541703$D45DA3A6-E4A7-4412-A548-C94ECED6F3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2d6c6ad56dd9f7391b0125b4e664e1821250f7","datavalue":{"value":{"entity-type":"item","numeric-id":4982124,"id":"Q4982124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541703$8827E9AA-933D-4AC7-AE46-798554F63DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541703$EBE21CB7-C8C5-41C8-B487-440D0A3424EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541703$DEA22BB3-2B12-47D3-8F40-12BB9B163D59","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":"Q3541703$9768BE80-5C78-46C0-9ED5-FFB2FF5690FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054e1fee51a47209d6acee4d481805a6f1cdac89","datavalue":{"value":{"entity-type":"item","numeric-id":4260087,"id":"Q4260087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541703$18727368-1200-4D04-BDAF-E847BAA69188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75dcc66dd7c02761bfdae3bfb285783f55645057","datavalue":{"value":{"entity-type":"item","numeric-id":4487262,"id":"Q4487262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541703$F038B4D1-4027-4684-B2CB-BB651C6DE09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9066cd4aa2727fcf2939d8d889a4ccf4e4246bef","datavalue":{"value":{"entity-type":"item","numeric-id":2462647,"id":"Q2462647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541703$33498F4D-93B2-4DC4-BE38-0ED08EB5CD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063e7e857c48cc1eb631926e98563605e4f4c2cd","datavalue":{"value":{"entity-type":"item","numeric-id":4028805,"id":"Q4028805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541703$F0C4CB70-B010-417E-AFD1-9B9940E34C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541703$2F417372-AFCE-4B9B-8D7E-A29BAAF05A81","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":"Q3541703$AC05E02B-98D7-4095-8127-1A229B144C1D","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":"Q3541703$F8649A70-CEF2-4C32-AFAE-8F0EEAF8A1DA","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":"Q3541703$AAACC898-BCF9-4E10-8532-DD355B2F34EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1d89dc5849ea759265232a4f46af65741692c7","datavalue":{"value":{"entity-type":"item","numeric-id":3086787,"id":"Q3086787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541703$C3665E4D-55F1-4AFE-8938-7C4A9276A72A","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":"Q3541703$CF4EC65D-BAF0-422B-94F0-DBC3E24541AD","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":"Q3541703$C355AE25-2A4F-421A-9EA7-0EB5555A7148","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":"Q3541703$D379C7B6-F139-4763-9D61-55DFE17426F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed62affda232e5190a0a7d708ab74cbe94781bb","datavalue":{"value":{"entity-type":"item","numeric-id":5434485,"id":"Q5434485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541703$C38D5C6F-6FB7-4731-9C3A-13750CFD3E67","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":"Q3541703$310C08D8-EA90-44C7-8DA6-7B37CD559B50","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":"9757895737af2847532f382402c308e9dd1e9f16","datavalue":{"value":{"amount":"+0.917888641357422","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":"Q3541703$D5AF7592-9C79-4163-ABAE-C6DD2AE8FD97","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":"180272ecb0d36ab8b24eac1a4dc60794750f6359","datavalue":{"value":{"amount":"+0.9092355966567992","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":"Q3541703$9880F9EC-3687-41E3-AF6F-BA1BBF1C49C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ba7e99d457b2b3ac881724188f4711cfce91e6","datavalue":{"value":{"entity-type":"item","numeric-id":4982124,"id":"Q4982124"},"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":"Q3541703$664269A7-847A-44AB-B0FF-80FF10493B9B","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":"ecb18bcc0260bc7c50b15ec67fb4a7f251ead61d","datavalue":{"value":{"amount":"+0.8618647456169128","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":"Q3541703$F591E9AE-7743-4D96-B7E2-D41A0A906D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd3d67f8d145e9e7ec658177421e99201eb4122","datavalue":{"value":{"entity-type":"item","numeric-id":4982112,"id":"Q4982112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b403991ad3c0d964595b5e8bc3d2e82bf7aec14b","datavalue":{"value":{"amount":"+0.853054940700531","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":"Q3541703$D03641B5-1408-4BCB-A99E-30F5C1279A92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Terminating_Tableaux_for_Hybrid_Logic_with_the_Difference_Modality_and_Converse"}}}}}