{"entities":{"Q5282971":{"pageid":7312545,"ns":120,"title":"Item:Q5282971","lastrevid":52858340,"modified":"2026-01-23T16:03:09Z","type":"item","id":"Q5282971","labels":{"en":{"language":"en","value":"\\(\\mathsf{ATL}^\\star\\) with truly perfect recall: expressivity and validities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6747886"}},"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":"Q5282971$89A6509D-35AF-4FF0-A7DF-415A37410903","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bf0049f6a7ab0098ada27af37f93697849ac148","datavalue":{"value":"1366.03183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282971$D4540137-2CC1-4CA6-B576-28AD2A3E260B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25ff1cf7a8d164a6f0b1ef151149191d50dc7d44","datavalue":{"value":{"entity-type":"item","numeric-id":322074,"id":"Q322074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282971$55D93945-747E-4EDA-B268-3AAA07638889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3bc5ca0cdf3d434f2877c83bb14fe1425e818e4","datavalue":{"value":{"entity-type":"item","numeric-id":885522,"id":"Q885522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282971$D54B3D06-EDD8-47DC-9F49-B9081525C69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5c51b936642ad68b8aafc49219d1352ab084d88","datavalue":{"value":{"entity-type":"item","numeric-id":2822941,"id":"Q2822941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282971$19646DBD-DF4A-486C-986E-DCC52FD3DFD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62e26106cac22eebe80c29038bb39eb76039e480","datavalue":{"value":{"time":"+2017-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5282971$D1738C53-4F99-45C2-87CE-8B0683D0B124","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8182116a3cdc6d695cbec1d5eb33fd96cccb3b3","datavalue":{"value":"http://ebooks.iospress.nl/volumearticle/36936","type":"string"},"datatype":"url"},"type":"statement","id":"Q5282971$63F2B792-D353-4058-8407-1B1634C934E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282971$F612536F-A31F-41CC-B828-0EC56036E76E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1085bba299d2cb1c61e443289fd560910af06793","datavalue":{"value":"6747886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282971$FF7B4708-545C-424D-AF96-B2B49AAC8A7F","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":"Q5282971$E6A2B92F-B6DE-4061-9627-E550B1A89A2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"525a52c1ed5a117ade6a78bec574bdfb9e2217db","datavalue":{"value":{"entity-type":"item","numeric-id":5222875,"id":"Q5222875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"476d3ce9b715707f52b96259b408630512793769","datavalue":{"value":{"amount":"+0.9441866278648376","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":"Q5282971$3061F503-8434-4E9E-BE8F-327E9A4AC9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"921f9905cf005cee930391936e86cb85105ad725","datavalue":{"value":{"entity-type":"item","numeric-id":2844043,"id":"Q2844043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"486525578e2244a2629df5709a47010c543a1cbc","datavalue":{"value":{"amount":"+0.8383910655975342","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":"Q5282971$D026EC3B-E4F2-4B5E-BCED-9D94954178DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61d5ae02988cf89fafa847e035f6b40a766c3456","datavalue":{"value":{"entity-type":"item","numeric-id":4992516,"id":"Q4992516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ccecd2370a7dd20b1b7d3a53274aee48fd61c59","datavalue":{"value":{"amount":"+0.8217539191246033","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":"Q5282971$94C78329-A793-4D74-B01B-C35CE4B9E880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b27f49d6eececad98023bf7bc598e72ddfe6053","datavalue":{"value":{"entity-type":"item","numeric-id":3605522,"id":"Q3605522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1606cf18d3331289e14d5e1f55aa6342b58d44","datavalue":{"value":{"amount":"+0.8149140477180481","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":"Q5282971$42119D5E-348E-43D9-8DBD-3A0E28C20744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b239ecb5fe7bf0b69ddd7584644b449fa00085e2","datavalue":{"value":{"entity-type":"item","numeric-id":4681371,"id":"Q4681371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec067d6361ec9505724fbf70ade9bc95418a678e","datavalue":{"value":{"amount":"+0.8095188140869141","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":"Q5282971$90AEBCE8-C528-4248-B440-287E69185687","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5282971","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5282971"}}}}}