{"entities":{"Q3454093":{"pageid":5233493,"ns":120,"title":"Item:Q3454093","lastrevid":52405937,"modified":"2026-01-22T14:06:10Z","type":"item","id":"Q3454093","labels":{"en":{"language":"en","value":"Deciding \\(\\mathsf {ATL}^*\\) satisfiability by tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515508"}},"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":"Q3454093$F28AD413-7E25-4BB1-BFFF-825885FF500E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f07815d680a351e2042920343d7f46e2f428677","datavalue":{"value":{"text":"Deciding $$\\mathsf {ATL^*}$$ Satisfiability by Tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454093$A1B1969C-EE66-486B-9040-074F3B3A5F14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2628599aa0c054f396d4621ac9c93b2d7421f7f2","datavalue":{"value":"1465.68278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454093$B27F44C6-F9C9-498D-9884-882E051DD684","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecfb32bbba043885c493b4975628ef9c704246b7","datavalue":{"value":"10.1007/978-3-319-21401-6_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454093$3123DD08-19E9-4308-8D60-B81386728A4E","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":"Q3454093$0FFB7260-4A31-4E95-B090-C5F5ACB9DA95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454093$929F7641-CF14-43F3-9633-7F531B7C528F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454093$0DCB7AE1-1392-4BA7-BE1D-2EDCA2D3FEFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454093$0698A63D-677B-4492-AE50-738C9B18A241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454093$2440CC97-C3E0-4FA6-8FF2-2AC21AB8049C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454093$EEDB2480-51B6-422E-9232-E19D9520A26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454093$D22DEC15-1096-405B-9ED0-B732DE60F88C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22124701baae0a56ed45f350691152df5731d6c3","datavalue":{"value":"6515508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454093$343CDCBB-5D20-4BF7-88B5-F42B98C8DCC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ae521718438d9dae164938ac201015537dd61f","datavalue":{"value":"alternating-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454093$BD16E065-6267-4896-8AF9-36742F64D4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be6ac7a48d9928bdbe1d77039b940c0cfe4ed037","datavalue":{"value":"\\(\\mathsf {ATL}^*\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454093$6F110707-2984-4A0A-8C2A-F09AD15DB30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fbe3c7285c82b7e85a0384689c42c38ba7418e4","datavalue":{"value":"automated theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454093$DB018271-1E15-4ADD-B4AC-0C47AEA10AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454093$4BFA50A0-B1B6-453B-9244-9A91B443D8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454093$79C98D18-FD64-4E5A-883F-13A3A859B5B5","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":"Q3454093$F80B15B4-38FF-46A8-8C40-8CADC0DE2305","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c32b692b1a42eb5fffd7803f8f8ab8f38a5e341e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21401-6_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454093$03744514-B82B-478F-B4C4-59976A4064AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bde4ea98f562e3c28c5c05bd6218c17a63dc77c1","datavalue":{"value":"W1454650980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454093$EE292496-26E6-414C-9921-68214CE6A0E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454093$2BECE03E-C3F0-4169-A6A9-73A6368D3DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b959e0e164481495ecae4d2cba2355cbea08a0ce","datavalue":{"value":{"entity-type":"item","numeric-id":3192199,"id":"Q3192199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454093$5A6F6011-0224-4401-9977-8D2B7A1B4999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef1205f0c0dc2694394cd4f7519fe91cef20a37","datavalue":{"value":{"entity-type":"item","numeric-id":3192212,"id":"Q3192212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454093$80E642B7-3BB4-45ED-B816-C4AB90471E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454093$0151ABBF-523F-4583-81C4-1DF7A20145F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454093$E8C223C9-6B3C-4AA3-A86D-A760F70246AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e581dcd09c790b4f570a19c52904f213c309fe","datavalue":{"value":{"entity-type":"item","numeric-id":1773954,"id":"Q1773954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454093$42E219D1-9FF5-4028-83BC-B50084A9A78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36ba274ee48c70de1d44858a2e62c5d0fb3d000e","datavalue":{"value":{"entity-type":"item","numeric-id":4992506,"id":"Q4992506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454093$14CD677A-C656-426A-95B9-A83760ACBBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f790ef2f580ed796607afddaa2f4f77f9cb97d","datavalue":{"value":{"entity-type":"item","numeric-id":3519515,"id":"Q3519515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454093$150EDB2E-2CAF-475C-8082-597DD4808266","rank":"normal"}],"P1643":[{"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":"691e8a27db9b3d7b04db6c399c4d6d0b5b1ccc57","datavalue":{"value":{"amount":"+0.9240173101425172","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":"Q3454093$38E7B8FB-F546-431F-9756-DA6E34920802","rank":"normal"},{"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":"6d92d2405fbc93a2701c12fdd9259d6eec2fae17","datavalue":{"value":{"amount":"+0.8849896192550659","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":"Q3454093$FF531A6B-8525-4115-B253-5C1EFF6584C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21baa223d35c52cff4ea325f227007b7d709b3ec","datavalue":{"value":{"entity-type":"item","numeric-id":2851937,"id":"Q2851937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d2fee61a2d9313abc3f290ee197ddb5d47994eb","datavalue":{"value":{"amount":"+0.8774271011352539","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":"Q3454093$FC80A6E6-56B5-4898-87CA-4CFC2DF4ACD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bd55b52fca7aaf0fc30a5e94377454ff6da43fd","datavalue":{"value":{"entity-type":"item","numeric-id":2946589,"id":"Q2946589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7df445ce43ecc81d9f520e1e3dc41b56a960fb9","datavalue":{"value":{"amount":"+0.8630579113960266","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":"Q3454093$6847ED70-693E-4B80-BFB2-8203FB740F02","rank":"normal"},{"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":"d1e3a291a6402fe2a197dee618f341cbaa4b409d","datavalue":{"value":{"amount":"+0.8513780236244202","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":"Q3454093$56A513F9-0504-4993-BA6D-0CB81DD3404D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3454093","badges":[]}}}}}