{"entities":{"Q5200489":{"pageid":7230060,"ns":120,"title":"Item:Q5200489","lastrevid":94531865,"modified":"2026-06-05T07:03:29Z","type":"item","id":"Q5200489","labels":{"en":{"language":"en","value":"Alternating-time temporal logic in the calculus of (co)inductive constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6102408"}},"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":"Q5200489$58AF434E-A078-4241-9F5B-3AE9FE6741B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b110bcf3416989351eeb2f955b5e3dd6e6ffa553","datavalue":{"value":{"text":"Alternating-Time Temporal Logic in the Calculus of (Co)Inductive Constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200489$32BA8098-3E18-4912-920F-107B80213D91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"855f3e5004b3a02059bdba5a8d2f253b98772357","datavalue":{"value":"1372.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200489$789283EC-3853-4106-9035-F74F742CA9BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"350d4db006c353d88015230364faeb3f41cf3c42","datavalue":{"value":"10.1007/978-3-642-33296-8_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200489$783F4F78-57C4-46FD-8601-EC3E0F7B302F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3488839ca76a610ef43647e306cb07c12f6bf0b8","datavalue":{"value":{"entity-type":"item","numeric-id":5200487,"id":"Q5200487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200489$EFCE2CDB-96E2-4B3D-BD14-AC3FCF23BE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98b1d0c3bcc0f90d6fd18a317c6452cb60f2ad98","datavalue":{"value":{"entity-type":"item","numeric-id":1671161,"id":"Q1671161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200489$29A61E7C-AD96-4019-B36C-6C0441CFB362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"152d406f3ccb03a00cd28ceb51823a4589d2f659","datavalue":{"value":{"entity-type":"item","numeric-id":5200488,"id":"Q5200488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200489$EF6D1F33-D571-4C9C-8D94-2D9A33A6548C","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":"Q5200489$5A272E67-C8E3-4607-8472-7593D5436992","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f5d0b9aef60a4c2a8df4614c30e2b940c8c4a5d","datavalue":{"value":{"time":"+2012-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5200489$D00DAC55-AD40-455E-A470-9739EFFC87DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200489$13843D0C-3436-470B-8BEB-70B3FE0E923E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200489$D358C95C-F3D6-43D5-A5D7-3092EC0D3FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200489$7EE1DB81-1B61-4FCB-B045-7D09F57AA867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200489$EB6C737B-F209-49B0-A504-C7CCFDBE1DB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3fdab7b3dd2a5feffb1255c31a56859b3c2196d","datavalue":{"value":"6102408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200489$0A51E1BF-D9D9-435A-96E8-6420D3AF661E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200489$7B0CFD17-BE75-4A00-96C5-C1362B3058CC","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":"Q5200489$D4501DA4-CE8A-44D3-964E-AEBEBC14A6B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12facf51b7a9696dbfd87001989ed687e9747af2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33296-8_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200489$08CD347F-59F0-4D77-8331-6E662FDF5B48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"edd0d2072d3940362225f0ccf3444dd077e2c55a","datavalue":{"value":"W157956888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200489$B3AB1204-4499-4686-AE48-2DF74E45E3AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f75f8ee1b680fdc51f9610989ebf52c4e6c8d6a1","datavalue":{"value":{"entity-type":"item","numeric-id":2368988,"id":"Q2368988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56684a916e41527ab2351f88e34a76619fab86b1","datavalue":{"value":{"amount":"+0.7812349796295166","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":"Q5200489$24A28F24-5427-4F3D-A889-E1ACE67842B6","rank":"normal"},{"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":"e0e038d6b1c4c9e623c73a21bf715b7f14d40bd9","datavalue":{"value":{"amount":"+0.7512866854667664","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":"Q5200489$514E5797-8E14-4A13-A0DE-B55E35193DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"813e89fa2adc3db1930757e134780ad5a61ab0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4817052,"id":"Q4817052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"574d9b038250dd449fe86adf1b47c5a8d03cb9e6","datavalue":{"value":{"amount":"+0.7359973788261414","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":"Q5200489$75F5D651-75D2-4996-9E3F-0CF598DF98BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948c51ca78fd2f7f901011ee5beb79dd03c3e3a0","datavalue":{"value":{"entity-type":"item","numeric-id":4812313,"id":"Q4812313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ab9d1bdefd82b8595c1950c6dc1c4f650b3e6a","datavalue":{"value":{"amount":"+0.7231709957122803","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":"Q5200489$45C82730-7B84-42F8-B14B-16D217A7D92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a102745a56774457a53b7f365941838873f14e71","datavalue":{"value":{"entity-type":"item","numeric-id":1420807,"id":"Q1420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5893abf9a9ad2dd51feebefbfe7d38b031e1d2d4","datavalue":{"value":{"amount":"+0.719374418258667","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":"Q5200489$F6249A9C-69B3-4D1A-8F37-DA7184859C1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alternating-time temporal logic in the calculus of (co)inductive constructions","badges":[]}}}}}