{"entities":{"Q2753601":{"pageid":2764340,"ns":120,"title":"Item:Q2753601","lastrevid":83063153,"modified":"2026-05-07T05:50:43Z","type":"item","id":"Q2753601","labels":{"en":{"language":"en","value":"Tableau methods for modal and temporal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1670415"}},"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":"Q2753601$CB859152-56BE-4CD9-8E97-0ECD5412C085","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7e66289ffea53767ced16c19b045c515a7c84cc","datavalue":{"value":"0972.03529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753601$D903E749-55DE-4A16-8EAD-72470EE3BF5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2753601$375F1C49-1E57-4550-92F3-C49BB354DECC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92d19076fa5f41c8b15489cd1cb0813d6b7ac213","datavalue":{"value":{"time":"+2001-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2753601$4314190B-B7C2-40E1-9223-F6998EEDDD34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753601$5EF0DAEE-DD7B-4BF2-9A4E-DAAD542DA6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753601$7D8AE82E-47FA-4891-8B3D-AEB3B6A60596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753601$AE2D935D-F38A-44F6-8883-16FE1BE903FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753601$51ED813E-4510-4013-805B-911E69C59A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a76f5cf4e9b65d085145841490fc2f7aa5f0bff","datavalue":{"value":"03-00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753601$044F118E-657F-49E6-8258-8B116A5B0D1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"851b3470d86c56bd1bd18cf12fbc1d0dbabcf157","datavalue":{"value":"1670415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2753601$C978E473-E75B-475C-8FE8-89B9025104AF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccd1d0bb2717360c541381c661e7bb40d86b318","datavalue":{"value":{"entity-type":"item","numeric-id":21962,"id":"Q21962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2753601$29B072BE-169B-4BC9-A43B-A17354B4DA4B","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":"Q2753601$AC63F3D0-772F-4504-916C-3714BF2CC8E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6c7f2a7a0b89621ad1c30ba9d3ba87f8d47cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ede89df3ea8dfce5a5fc27a402dc3b81a3fa4ae","datavalue":{"value":{"amount":"+0.95127726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753601$5B1ACC0B-1C47-4FD2-BBDA-7E6DCDC1AE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e1cd463dc7f8ec9f4e3d0e3310e50401508e41a","datavalue":{"value":{"entity-type":"item","numeric-id":1896755,"id":"Q1896755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba95023054ce0057230e56328370da81dba6dd0","datavalue":{"value":{"amount":"+0.9322361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753601$6DBDF91F-EB06-46C2-AD6F-0EC199B27328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a07f2a6beb028087719ba0aca6f1aee7efe667","datavalue":{"value":{"amount":"+0.9308639","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753601$D1DFB933-46F7-43F2-B80B-DF4558CFC734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e131f96cd9adfa814a0fd2261b2c4cee007291","datavalue":{"value":{"entity-type":"item","numeric-id":2849494,"id":"Q2849494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e95cc6817e6e69cf44229ea82c9ba118facc220","datavalue":{"value":{"amount":"+0.93019694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753601$9250F385-B183-458D-836E-692BBC0297D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b018392c0ce66d828239079ceefc669b9e00bcc2","datavalue":{"value":{"entity-type":"item","numeric-id":5187862,"id":"Q5187862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec01598498a3c0e79094203ac8cc67a4c8a17fc","datavalue":{"value":{"amount":"+0.93003565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753601$1140E8A6-5217-4E9D-B303-2A272AC79FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a1668fa9f79cc715a6efdc82c7715fff5cba97","datavalue":{"value":{"entity-type":"item","numeric-id":2753602,"id":"Q2753602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbf9f478e0efbc0d1f354ca19c8a753bf5fdccf","datavalue":{"value":{"amount":"+0.9260217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753601$E13474BD-024C-41E2-A1FF-D45F518FC2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26f8f005331d9110af60d1327eaf392873db629","datavalue":{"value":{"entity-type":"item","numeric-id":5259659,"id":"Q5259659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa05b93a294e817dd4e0c9f7295c53eecbc9d1d","datavalue":{"value":{"amount":"+0.9250678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753601$23EE92F8-3D19-4A92-98E5-C73451E47A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55400300a4200ea2ef755c71c47748c8f4843f1d","datavalue":{"value":{"entity-type":"item","numeric-id":4236067,"id":"Q4236067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0481bbc9e04e8d7771a36a38c410a0daad3ccd8a","datavalue":{"value":{"amount":"+0.9242866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753601$DBBA67EC-AD1C-43A3-9565-AE50AAC20E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a0ccf8aed1c673137633994f8b3d3c07e6e633","datavalue":{"value":{"entity-type":"item","numeric-id":2506829,"id":"Q2506829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55c6a3583a46b5d11d579bda273a83279883f5c7","datavalue":{"value":{"amount":"+0.9217386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753601$102C220D-02FD-418F-9552-720C80F0EEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a23a911cb36449fb7a77fbad1a80a54bba6b3435","datavalue":{"value":{"entity-type":"item","numeric-id":1357163,"id":"Q1357163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb89df4e27d1a95e133167649e65ad1866d60879","datavalue":{"value":{"amount":"+0.92145216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2753601$2A86F2C9-1014-4411-AD58-4664753327B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f1b44dfad96906d582c3f3bf46ac2980126df04","datavalue":{"value":{"text":"Tableau methods for modal and temporal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2753601$2FC778FE-B46C-4C91-8138-2981A94710B3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e6a4cc3b43a6c2730375040d953d18d22aef0be2","datavalue":{"value":"See the review of the entire collection (Zbl 0956.03001).NEWLINENEWLINEFor the entire collection see [Zbl 0956.03001].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2753601$F7091BCE-9BDF-47F0-AE6B-E70AFFBE11C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tableau methods for modal and temporal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tableau_methods_for_modal_and_temporal_logics"}}}}}