{"entities":{"Q3192199":{"pageid":3202907,"ns":120,"title":"Item:Q3192199","lastrevid":45644470,"modified":"2025-12-11T20:21:01Z","type":"item","id":"Q3192199","labels":{"en":{"language":"en","value":"Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348243"}},"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":"Q3192199$88320C52-999E-461F-9399-091EBE4CB62E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15f83f359fffc7bd1a057854c566916163d7736b","datavalue":{"value":{"text":"Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192199$7164E1C6-784E-4764-817F-59A99E4AC8ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9c09df851ef0dfad0990a22afb933c6828f25f8","datavalue":{"value":"1423.68410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192199$47D9D124-13F4-4E3D-8BFA-FAE3137457E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33a3e02585f0e6ecc5c8e312845a7a27fabb981d","datavalue":{"value":"10.1007/978-3-319-08587-6_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192199$90E6E876-206E-4FDE-9C4C-F364AAE4022C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2286efb444136e1100eb0b2f7ac6cc03053147b","datavalue":{"value":{"entity-type":"item","numeric-id":229750,"id":"Q229750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192199$96EF6F10-F7F2-417E-95F2-89B3BC152EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4a5fb3e1e8f77c1327875a9fad6ceab7a6663ca","datavalue":{"value":{"entity-type":"item","numeric-id":1694464,"id":"Q1694464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192199$BE83B062-074C-47D4-A574-BE554A94B7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192199$0C464C01-71FC-4355-8AC5-D64D23B0186F","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":"Q3192199$81FEC591-3E35-4458-817C-A8F463F29B85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-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":"Q3192199$467D9D98-B83A-45F4-B782-6F7B650765FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192199$6B9B503C-16C3-4AC2-B961-69AEEA1491DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192199$9D4BFCCB-D3AC-493D-8511-780E20224D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192199$A07B440F-81B6-4A28-A3B5-9AE5D700D269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192199$4987BB3C-56CF-4D53-908A-C24A499682A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa32eb182ab9fb27325dcdcc585526b9512dd3b9","datavalue":{"value":"6348243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192199$363C0F34-0E5D-4920-B5E6-FB91408BE04E","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":"Q3192199$CCA5D8BC-A04C-455A-8762-59772BACA1BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bff6d5d68347d650619d5ff3b36efc9f94762c4","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08587-6_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192199$6BEA3FE7-8A6B-48E1-B24B-24972BAA14D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b229d672a86396f10133d7d3ab3bc3c5e1e0be45","datavalue":{"value":"W3104288886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192199$1B2BD497-102E-45FF-A51C-A139CBEC5AFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8ff0559c90e71f8bd33dab2ca673be18744c84","datavalue":{"value":{"entity-type":"item","numeric-id":5277905,"id":"Q5277905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758f899dad2449a318d55d7dc330f52ca291d1bb","datavalue":{"value":{"amount":"+0.9709529","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":"Q3192199$13B61E4F-0FD2-40B8-B81F-4B67F12A7E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"584b1e5ee6003a69cf231249fa33c8af6da11be9","datavalue":{"value":{"entity-type":"item","numeric-id":4636296,"id":"Q4636296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27580e747d28c262705d3c54dcdc5cd6ef64afe2","datavalue":{"value":{"amount":"+0.91491675","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":"Q3192199$4232E80E-12B3-4460-9419-2EEF4C864DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23de453f775486c73bd1519a9c7b7e37186fe8c6","datavalue":{"value":{"entity-type":"item","numeric-id":3454093,"id":"Q3454093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670b7bfa20b7b73aeaf91757e7c878925b8b4f83","datavalue":{"value":{"amount":"+0.8960831","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":"Q3192199$E9570838-4B41-4798-824A-26C7F9CF9042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c964a0de9d90a23e2357bc2e4c7d91c3a559d651","datavalue":{"value":{"entity-type":"item","numeric-id":2386107,"id":"Q2386107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f25c88d53f35666503a03da6f2977d939ac13774","datavalue":{"value":{"amount":"+0.8662311","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":"Q3192199$23C9A6DC-8065-426E-9B44-3552B1E85163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75f8ee1b680fdc51f9610989ebf52c4e6c8d6a1","datavalue":{"value":{"entity-type":"item","numeric-id":2368988,"id":"Q2368988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6725a9650e09b61db3cfa999d7c9e1a186537d4e","datavalue":{"value":{"amount":"+0.86317253","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":"Q3192199$A6D2C225-CAAF-40D7-81E9-1135DB8C718B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc3888c5351158eb372a3f1ea8aba2a8299778b","datavalue":{"value":{"entity-type":"item","numeric-id":2334601,"id":"Q2334601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7adab8980638290840e1f0b587ba53a1ce4ec23","datavalue":{"value":{"amount":"+0.8619732","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":"Q3192199$6632C4C2-6B50-4D8A-AC14-1C238569D91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"598b93fedfab5914b4f006e71e819687fed1d842","datavalue":{"value":{"entity-type":"item","numeric-id":2669249,"id":"Q2669249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c009daf2078a61dbfdc499964828bbc37b494e60","datavalue":{"value":{"amount":"+0.8586491","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":"Q3192199$D1D53800-A412-4805-9DC1-E13DD7D9BA00","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":"85722140e8c9bc39112c46c8e6307cd887407f18","datavalue":{"value":{"amount":"+0.85856485","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":"Q3192199$4FE87C3A-0665-4995-A5B9-40AFC0792F28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192199","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192199"}}}}}