{"entities":{"Q2851937":{"pageid":2862657,"ns":120,"title":"Item:Q2851937","lastrevid":83774222,"modified":"2026-05-07T11:14:59Z","type":"item","id":"Q2851937","labels":{"en":{"language":"en","value":"TATL: Implementation of ATL Tableau-Based Decision Procedure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213568"}},"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":"Q2851937$0D16693D-51E7-46C8-8BED-AF7E8CC2298C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06332e370f8aa41f7402c6975cecca1f782ee77f","datavalue":{"value":{"text":"TATL: Implementation of ATL Tableau-Based Decision Procedure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851937$B8A68FDD-305B-4838-A544-E480EE1E7369","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dd59d3c4219de29163195a1c7ff980099e3d22a","datavalue":{"value":"1401.68276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851937$FD6B30A6-D271-4C6B-9C8D-78DB11A7FC59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55e754fbaa9dd09478fe20a07067dad325de04d8","datavalue":{"value":"10.1007/978-3-642-40537-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851937$58B17545-4763-489D-8AE0-7B1965157D55","rank":"normal"}],"P16":[{"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":"Q2851937$EC4A110A-23A0-4ECB-A06E-D779295CF590","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851937$2AB6768F-5010-4352-8442-AF69247813FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1145dc38b4d246480a51682f22dd7d8a161033fa","datavalue":{"value":{"time":"+2013-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851937$F56099AA-0F73-41A7-AC25-B3AF123B905F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851937$5AF6DE3A-6608-4C46-8AE6-C9CAB1C0DBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851937$C080CFBF-5133-40E0-A0C8-A787C146F0AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a2c1552c24c5c630ee33a072172a5292524b71a","datavalue":{"value":"6213568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851937$1024FA72-0EB5-452E-837D-312670493BC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ae521718438d9dae164938ac201015537dd61f","datavalue":{"value":"alternating-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851937$9FF0FDDA-B0CF-41B9-A003-DA6FEA1ADCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851937$3EB4BB20-0743-4091-9C0C-3EB7E8189BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851937$2154B67C-4A45-4277-A672-834503A48506","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":"Q2851937$728D9DE8-664C-4F3A-8686-98F945784ED7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9c0ab5390c26524650fff721d95ef95150d3ead","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40537-2_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851937$FCAEF4DE-416A-43BD-AC0D-F5699E5E3AB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2039821e912695f0548dce8d2fc712eb247c5271","datavalue":{"value":"W2168797178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851937$40575833-776B-44A3-9D54-41430B3D00CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9e807ba28c404afbdb10d863d94e82cf902f46b","datavalue":{"value":{"entity-type":"item","numeric-id":432138,"id":"Q432138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751d9ea6be7e40f0d9b17b7fff427c4087b97115","datavalue":{"value":{"amount":"+0.81350404","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":"Q2851937$A6C18900-2CF3-4C64-BE92-8DFC0B43DABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b704e7b4321944ed6fa6b08979ea207748c7b44","datavalue":{"value":{"entity-type":"item","numeric-id":3431972,"id":"Q3431972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"697a31ff4d9b9dfb838a8a8558eedba89e490c16","datavalue":{"value":{"amount":"+0.80159175","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":"Q2851937$0D551C76-3152-4029-A776-99E1D2EFCF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70192699b2f4bf6f3062c2880bf9b612b45020b6","datavalue":{"value":{"entity-type":"item","numeric-id":3192199,"id":"Q3192199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f86204162a5d8610af631469093a5280814cd7","datavalue":{"value":{"amount":"+0.79654807","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":"Q2851937$D5106A7D-E52D-43E3-9E48-0212DD6F88FD","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":"9ee47ef55f8b69cdd4e7616eabc8690296979bb5","datavalue":{"value":{"amount":"+0.78378564","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":"Q2851937$B780106D-CEED-4155-ABA2-0FF294E102D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c9b7acc2a4e33e51eaee2adb35124482e98b56f","datavalue":{"value":{"entity-type":"item","numeric-id":4982121,"id":"Q4982121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95ffaf54b06708e109be4e1e10ec17ff7f6e78ef","datavalue":{"value":{"amount":"+0.7786331","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":"Q2851937$7047DF04-F07F-4B54-B5BA-2E60717C0E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4ce4b3d63fd0d43ead3834e5f12d0c5f419cda3","datavalue":{"value":{"entity-type":"item","numeric-id":5224785,"id":"Q5224785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0daced967fae18a66118813e64a04bc4b653d2","datavalue":{"value":{"amount":"+0.7748623","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":"Q2851937$DFF3C003-CFD5-4158-9FA5-C7F83BD78FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29ff405ace1f502f2e1b235dcf97c7008a8d71b","datavalue":{"value":{"entity-type":"item","numeric-id":5747771,"id":"Q5747771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c36f47ded013293109d499ff71af61807bfe7c36","datavalue":{"value":{"amount":"+0.7736395","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":"Q2851937$45B9CB7B-2021-438C-8CF3-F3319BB5EEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c67fea72b49df6e30a71b2441de21fe7ad628e09","datavalue":{"value":{"entity-type":"item","numeric-id":2753605,"id":"Q2753605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db9c9f346e901575672b04d9ed2edee80cccfe7","datavalue":{"value":{"amount":"+0.77009064","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":"Q2851937$6B19C42B-60E7-4C0D-B2B7-CDA52A2BDAE9","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":"be3072cfb4563157caf610079b13edbcc5fb8fa8","datavalue":{"value":{"amount":"+0.7700303","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":"Q2851937$BA482B12-DDC4-4135-942C-77D35B84E91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c08321b65605cf5c5f83a6ef1e598e3d3216c75","datavalue":{"value":{"entity-type":"item","numeric-id":1083222,"id":"Q1083222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f20b98891c9582109152566a2ad0589d0c0e443","datavalue":{"value":{"amount":"+0.7692263","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":"Q2851937$45A3A622-F837-42FC-9683-C6FB78CEDE9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"TATL: Implementation of ATL Tableau-Based Decision Procedure","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/TATL:_Implementation_of_ATL_Tableau-Based_Decision_Procedure"}}}}}