{"entities":{"Q4576245":{"pageid":6605834,"ns":120,"title":"Item:Q4576245","lastrevid":53139392,"modified":"2026-01-24T07:24:04Z","type":"item","id":"Q4576245","labels":{"en":{"language":"en","value":"Parameterised model checking for alternating-time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6902572"}},"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":"Q4576245$C093B8E8-79A4-4B9C-BE87-0E5FEB3BF6EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12acb42499320d43728ba02d116b0807fa0406fb","datavalue":{"value":"1403.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4576245$C4817EAB-619D-471B-A8C8-6CA64734302C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34c456b07f9f28970f2cf59fa442feaf953660bc","datavalue":{"value":"10.3233/978-1-61499-672-9-1230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4576245$2E1B43BA-835F-46B3-8584-F659E4E29AF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e8d96050dc8f97139400c8a4bb666fa6fdd207e","datavalue":{"value":{"time":"+2018-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4576245$85B82A57-4D87-4ADC-A805-635952ADF8FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4576245$09BC0EB5-7D93-4BB8-973D-2476E4B3AC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4576245$09C6C357-E930-46D8-AEA3-7EE992866D92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f2f133170ba993261b3e758c029693afcb1bcff","datavalue":{"value":"6902572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4576245$C327FE0A-07B2-4B01-9F15-E137CCAEE8CD","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":"Q4576245$B8B1F30D-8EB5-48B0-90BE-6585B9423EAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d0f686b101e01e9125e111c2dbb87644781347da","datavalue":{"value":"https://doi.org/10.3233/978-1-61499-672-9-1230","type":"string"},"datatype":"url"},"type":"statement","id":"Q4576245$FE36D0B9-5C04-4468-AE85-1F2AF16FBC82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"647cc08b41a54cd96f5ef6dcac67e72ef057f42c","datavalue":{"value":"W2572663997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4576245$1A8B3290-7AF5-4CD3-85EB-8B057FA00D8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6d483a1fcdf99060ec45b443209f881d3e0e7df","datavalue":{"value":{"text":"Parameterised Model Checking for Alternating-Time Temporal Logic.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4576245$840BFEC3-2069-4986-851A-A369FD3BF674","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4528fc1117a9ea3ee248f84fdf749257495eaadc","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"118e7ab7df5dcee59ca62d514ce51416aba92f18","datavalue":{"value":{"amount":"+0.8313756585121155","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":"Q4576245$F9B51B66-DFF8-4DB2-876E-0FC3B3276AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6d6b36f1cdd9e12aa75c2139e1c1312794d065","datavalue":{"value":{"entity-type":"item","numeric-id":2481560,"id":"Q2481560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0aa321356452a817f8391a717145fdb5e6e4f30","datavalue":{"value":{"amount":"+0.8051088452339172","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":"Q4576245$FEFB3C6F-23EE-4F98-BE5B-4B6A9DCDEBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e207c6ff9814a6fefac4833831975dc3e82eb3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5894193,"id":"Q5894193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29602196f54586693d4e7bbbe0ed642197a8140b","datavalue":{"value":{"amount":"+0.7851945161819458","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":"Q4576245$4CC7E2D5-97B1-41D5-AEE0-B8903D7C8EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e16be8de6727908d97fdd88664055d7a5c510cb","datavalue":{"value":{"entity-type":"item","numeric-id":3511240,"id":"Q3511240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2492ae7630ada117ac50240f37e3c5a4febe754","datavalue":{"value":{"amount":"+0.7843142747879028","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":"Q4576245$2F6F1749-5D15-4705-B4DD-D24CECE6AC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437a2fff1f99d90f371a09474bfc630c8aaba1b5","datavalue":{"value":{"entity-type":"item","numeric-id":2424878,"id":"Q2424878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0297449056e65acc0023691fe04b26c97065895b","datavalue":{"value":{"amount":"+0.7816299200057983","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":"Q4576245$FA76EBE3-BB53-4A14-BAB2-77E9214006F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4576245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4576245"}}}}}