{"entities":{"Q2946589":{"pageid":2957309,"ns":120,"title":"Item:Q2946589","lastrevid":58062771,"modified":"2026-04-03T16:02:45Z","type":"item","id":"Q2946589","labels":{"en":{"language":"en","value":"Tableau-based decision procedures for logics of strategic ability in multiagent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483099"}},"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":"Q2946589$98417D34-B555-436B-9F11-178AD1650AAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31653391c493f171b9bcf0952345c920749aee9c","datavalue":{"value":{"text":"Tableau-based decision procedures for logics of strategic ability in multiagent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946589$BA509A64-9A02-4B51-BE62-4C54E69DC0CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cdaf9e24fe91b2fff03e6b3b17285d151a399cca","datavalue":{"value":"1351.68266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946589$2BEEF5B3-2127-4756-A4A0-642666BE08A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea24af318b53e822621b4560febc84437ebc5494","datavalue":{"value":"10.1145/1614431.1614434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946589$B3F7E047-24A5-4F87-A502-5750015F6569","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73faf7a6e2f59746a2f1227234196c68fcf7d40","datavalue":{"value":{"entity-type":"item","numeric-id":1623149,"id":"Q1623149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946589$41739977-653F-4BD1-AC38-ADC3A12B7E12","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":"Q2946589$904E5646-2547-4AF1-AAFB-56B808654DCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946589$9AEBB273-A42C-4D13-878B-5CF8A4FFB008","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946589$A3E9D752-B5B7-4817-9DD6-F176194418DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f9e1ac5bd95fdb0dc1d9102d7192a4c7d207063","datavalue":{"value":"https://arxiv.org/abs/0803.2306","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946589$0FC09909-54EE-4196-9107-309B424ACEC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946589$84DB1923-8065-4DAC-AA9F-772DFE875D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946589$3D5BEA9C-D488-40F1-8D26-C75524F54A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946589$48F247B6-5BFD-4DD9-B151-54AFDAAA5D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946589$F183582B-A1C3-4234-83FD-6B60F93C01EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f3f3d7919fdee6828e37aeab2d5254374d8940e","datavalue":{"value":"6483099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946589$EA783C81-9745-4719-A41E-1A1E31D4A6A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c89ea378b30713d691465f871aacdea85b7e52d","datavalue":{"value":"Logics for multiagent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946589$4057CAEC-6B39-44D3-BAC2-3DCA763AC15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ae521718438d9dae164938ac201015537dd61f","datavalue":{"value":"alternating-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946589$6C6B4972-3CAB-4077-B100-EC139FA20AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946589$7F29C9DF-B7EA-4B88-9765-01AC3BC0645C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946589$5A1CDE24-3ECA-41DB-B84A-6C6306245E56","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":"Q2946589$08AAA504-E443-4619-8240-E32E9565243D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27ef53490cde183ea6494180343622b3ff40a2c7","datavalue":{"value":"W2139978539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946589$520177F1-5725-41B8-95EC-EB1AA6F085C7","rank":"normal"}],"P1643":[{"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":"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":"Q2946589$14FA3A66-CAA6-4EBD-BBB6-583EE3BC94AF","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":"3ef4c007b6cca044deba203e2351a10e1b1f90c7","datavalue":{"value":{"amount":"+0.8567525148391724","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":"Q2946589$1C862E33-57D4-4DEC-8346-181AA52774BF","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":"5979935bfc7c4ac84c3bd912131d467d593a618c","datavalue":{"value":{"amount":"+0.8411985635757446","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":"Q2946589$E000F173-BB99-43BF-AE06-8C2CE06B3FEB","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":"3f91907d33dad2ca2030f28e13a4b28b9580637a","datavalue":{"value":{"amount":"+0.8067286610603333","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":"Q2946589$5189484C-4334-469E-B615-733C12F8A583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"193b3e3c734ffdb5b4d05b77bbee0733d9691d0a","datavalue":{"value":{"entity-type":"item","numeric-id":4925179,"id":"Q4925179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eb9c94918d66d7a615518be2df9b30a2e9b4aa2","datavalue":{"value":{"amount":"+0.7994552850723267","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":"Q2946589$AC404F87-E70B-4472-9689-5EDE8B4181B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946589","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946589"}}}}}