{"entities":{"Q3431972":{"pageid":3442675,"ns":120,"title":"Item:Q3431972","lastrevid":46252957,"modified":"2025-12-24T10:05:30Z","type":"item","id":"Q3431972","labels":{"en":{"language":"en","value":"Tableau-based Decision Procedures for Hybrid Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5142595"}},"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":"Q3431972$DCEDD66B-45FD-4D7E-8507-54AF6125CAA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"baa320443483ed43ca3d2b0298d5ee872de92080","datavalue":{"value":{"text":"Tableau-based Decision Procedures for Hybrid Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3431972$AA70DDC3-D27F-454A-B31E-1DB5B1531198","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92538a7cf5eb76b88819e6fa50e97f5e899cb15e","datavalue":{"value":"1122.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431972$7A89979C-AD1B-4DE0-AE44-63E025600295","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96e0e2617a3a4b7424e5d388e4d779137235a082","datavalue":{"value":{"entity-type":"item","numeric-id":302219,"id":"Q302219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431972$AD6CCE51-9E52-4C90-B855-006B32649011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87abbbe5ddeb1a2defb2085fac3663f2b985b91e","datavalue":{"value":{"entity-type":"item","numeric-id":243302,"id":"Q243302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431972$F954EA70-F9A8-4D7D-9E77-BC11BA084365","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e086009e2064e6604f7111e0363ab46c19c8ced","datavalue":{"value":{"time":"+2007-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3431972$32DA1489-ACFD-4A2C-9615-7FCC1497BF5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431972$7586E15C-115D-4608-9F1E-B6B36DDE0602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431972$5C4EAFE0-7C3B-4980-B4A9-55F38D9BBEC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd2e433be1cd9359253e86df61956f17929b0c92","datavalue":{"value":"5142595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431972$AA0D680E-7E4E-4A4A-9B46-893F17CBF9BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431972$ADECBB69-6B02-488E-AA85-5867802823C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431972$14125148-951E-4F40-A0CA-291FCC5B5490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51fba154baa628caab407b010a5472ee9b6d71e5","datavalue":{"value":"universal modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431972$E2828C1A-C4FD-4CAA-904D-CEF506B6EA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61646aae39c181a804d97b67e1585d6cb82b95f9","datavalue":{"value":"tableau system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431972$8170B4AB-52A6-487C-AD30-4D43D937E11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431972$265D5DB6-5B45-4C19-947D-16E2CE95BC27","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":"Q3431972$16805B51-F497-4F92-BBC1-DA6F692C066D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41cac5cb84980a0e8855cc04f59756c26ba63298","datavalue":{"value":"https://doi.org/10.1093/logcom/exl008","type":"string"},"datatype":"url"},"type":"statement","id":"Q3431972$8C34555A-1ECB-42E4-AEA8-B9253B00C3DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c219b306cdd721a097ea554564cad97df45ba49","datavalue":{"value":"W4238889938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431972$A1E51443-6CB6-41E5-A7D5-02AE450AA8BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de2d9461ad2f7141cc2fb58053e761499755bda2","datavalue":{"value":"10.1093/LOGCOM/EXL008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431972$D9F7C021-1553-4BB7-8301-1A7E3D19EF73","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431972$E466608E-0EFD-42B1-8338-D24658A4E9D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d5539556ac7372003ea0e5e8e64e437a780730","datavalue":{"value":{"entity-type":"item","numeric-id":4263021,"id":"Q4263021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9844f5a170ba6664301c4b4a29c1e36ad93a7ca","datavalue":{"value":{"amount":"+0.923163","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":"Q3431972$ECDF152F-95CE-4C82-9E5F-F0FCF4E0B39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac70c152169f0947abd4ded9c44fcd545c9e8c3","datavalue":{"value":{"entity-type":"item","numeric-id":2351166,"id":"Q2351166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e216102f77d45086113fc8efa40cf7d5239f080","datavalue":{"value":{"amount":"+0.9210203","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":"Q3431972$D324271A-7D88-4020-B8BD-476052B5213E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0701f0222d934c4ba2274344feeec9b8272d652","datavalue":{"value":{"entity-type":"item","numeric-id":4412850,"id":"Q4412850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd308a18e9875c709ae6f6602f2a0cfc652b828d","datavalue":{"value":{"amount":"+0.91795546","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":"Q3431972$6FDDD989-9308-49E0-94A4-44C5B9EAC4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15290e81669e7236286187ecb0f9a898a988caab","datavalue":{"value":{"entity-type":"item","numeric-id":2817942,"id":"Q2817942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4285fdd189bccf26745c09f0d717bfbec02a96","datavalue":{"value":{"amount":"+0.9136519","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":"Q3431972$E7C1B226-6C29-4049-A6E4-EB6704A3CFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ecc38b4b9905f225674d8f5ddcd4c491037145","datavalue":{"value":{"entity-type":"item","numeric-id":3010363,"id":"Q3010363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87f0b5512d0b872fe0d4e1e7aeff66cd12d63fe3","datavalue":{"value":{"amount":"+0.9059036","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":"Q3431972$B0F365B8-F360-4D9E-B931-8616D8C1EA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e455af3f87cfeed8ba3213a7ad4f48c8428c3e18","datavalue":{"value":{"entity-type":"item","numeric-id":5495914,"id":"Q5495914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fbe2328022efbca7708762e50607c603f1cf853","datavalue":{"value":{"amount":"+0.8989525","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":"Q3431972$EACBDE1D-7C38-40E5-A922-D6271156C841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1879fd9138001b632cd5609e61e2d2f7dfb37d90","datavalue":{"value":{"entity-type":"item","numeric-id":2096470,"id":"Q2096470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ad00ce4272323cce06c49a2698a5dff63c353d","datavalue":{"value":{"amount":"+0.8925828","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":"Q3431972$C3C7AC72-A16E-4724-AAD8-298E2ED4F3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d33b2b81dfd8f0ee2ff4645628b2fa7d00bf6ae","datavalue":{"value":{"entity-type":"item","numeric-id":4947999,"id":"Q4947999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f985ebffb17c5a881685f14b4c59a269f0d302","datavalue":{"value":{"amount":"+0.8883226","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":"Q3431972$1BB5C099-371C-4287-A3E7-6A727E213F82","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":"3e42d8cf8e5fe9e08d5947bf4bdb86a63e58a861","datavalue":{"value":{"amount":"+0.8853903","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":"Q3431972$9C79F9B1-8839-4AD8-9357-0F893C2AD382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae02a2f413ef457f5c2594dfdfcdb3900b7abba","datavalue":{"value":{"entity-type":"item","numeric-id":3605536,"id":"Q3605536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"667604a1a0eff8a8ca4d24954338b98ccf7bd3f2","datavalue":{"value":{"amount":"+0.88513917","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":"Q3431972$604E15EC-5983-40CF-9E62-CE631A462C60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3431972","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3431972"}}}}}