{"entities":{"Q5952907":{"pageid":8129709,"ns":120,"title":"Item:Q5952907","lastrevid":41865125,"modified":"2025-05-09T04:59:45Z","type":"item","id":"Q5952907","labels":{"en":{"language":"en","value":"Alternating tree automata, parity games, and modal \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1690549"}},"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":"Q5952907$A384D855-B699-4DFB-9B79-F9EFDF2AE799","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b32b40258f0664157cd45ec4a93c7c4a8d71ef76","datavalue":{"value":{"text":"Alternating tree automata, parity games, and modal \\(\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5952907$1DFF0B6B-B11E-466B-8764-8762E8ADDB61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ba6f1384fc13702adbb9c470367e7384d22969b","datavalue":{"value":"0994.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952907$4260B829-797F-4BDA-BB0B-DCA232A9F2E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26eaa7a3159ba545420366ef8b151ea4c3766e0","datavalue":{"value":{"entity-type":"item","numeric-id":208756,"id":"Q208756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952907$B7B95B5D-AC01-4F44-83BF-5C2B7A5C5AC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4f16ddc5cdb18d4f4fb3ee6d704d6609c3404ba","datavalue":{"value":{"entity-type":"item","numeric-id":223802,"id":"Q223802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952907$A4818D4A-129B-494A-B608-50ACF9291D66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b10c0a8ab114f307ae85cd2e8ca5f34e82e75864","datavalue":{"value":{"time":"+2002-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5952907$5257CE8E-FD46-4C1E-9F2A-B4026D3CEADB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952907$3E8CF3AD-744A-4FEE-AF14-052BDB9FFE77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d257eeb4799cbdd5336f0cd33c7e89bbd88721c","datavalue":{"value":"1690549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952907$62C9BF1D-D3AB-4D95-A87A-6C9185D5D486","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50eb2948a3ad8ae2842382e57af23ca278f07101","datavalue":{"value":"alternating tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952907$E0592DE4-2B7F-4DBF-BB8F-FBABEF6CAA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952907$084AC307-8E81-427C-9304-040F1A8E84FE","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":"Q5952907$3F0F18B4-453E-4622-ADF3-BE07987980E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88af436a118436296d1afc914ce6499a1bdceff2","datavalue":{"value":{"entity-type":"item","numeric-id":4412833,"id":"Q4412833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e7c1fffbc1f3592cfbe9592aa8f01144b0aaa28","datavalue":{"value":{"amount":"+0.950253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952907$68FB0CFC-BFDD-4517-AC62-08301DB4DBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96745fba719914b12ac11b6f4ad0a2e0133ee129","datavalue":{"value":{"entity-type":"item","numeric-id":4412832,"id":"Q4412832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3ea38a963d6ffb567c26ceeae3ba996d5ad299","datavalue":{"value":{"amount":"+0.9324782","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952907$AAF1B826-A49A-4085-8873-8BC9E7851FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6954d036613e2abc87d7216850fcfa41d472d99d","datavalue":{"value":{"entity-type":"item","numeric-id":3787993,"id":"Q3787993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f838a90e5bbffa8d9e7d80fc532063b9951f58f","datavalue":{"value":{"amount":"+0.90919316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952907$50AE8DE1-AFD9-428A-9970-6E039A9F50C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fbc54422c85d4d1580c3b18f9b4b9c82ba7497f","datavalue":{"value":{"entity-type":"item","numeric-id":4938419,"id":"Q4938419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a728e64cffdc4498f371b333cff2cbf9cb8af043","datavalue":{"value":{"amount":"+0.90719914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952907$A4553DBA-98B8-4BF8-A275-A274B408C6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc9a597cb9dda9e089ec4ded3fcc8264a38427f3","datavalue":{"value":{"entity-type":"item","numeric-id":5224488,"id":"Q5224488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11582e8d9fdd4d45f069302556e97e5cd7c2fd94","datavalue":{"value":{"amount":"+0.8909817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952907$AEAAFB85-6345-49F9-AC42-31FEC41D4A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875ab71b75434c0405ffea4b9a49e18890f7287e","datavalue":{"value":{"entity-type":"item","numeric-id":1193871,"id":"Q1193871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a623640fe4317328b3c85ee73b18a02fdbf1b50","datavalue":{"value":{"amount":"+0.8886918","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952907$6BCDA97E-FFCE-45A7-94C1-3FDF3AB27EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd182e6e7ee252e3c10b03f928c4565b0c730301","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce913be3f51827efd77d290535c38602537c8d3","datavalue":{"value":{"amount":"+0.8869875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952907$B4726636-BEBA-4FDC-B67D-EE0159E8F714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789c66e93af945020ac63c9c5a14fa8e77c11897","datavalue":{"value":{"entity-type":"item","numeric-id":4726235,"id":"Q4726235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c5e30938da11ca949224ab0322f58a7eeb9ad4","datavalue":{"value":{"amount":"+0.88501203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952907$89EACB06-4F18-428C-A068-78DC97B8531B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678d86d5fbf6d5d9bd1bc7b9d17cae6f050e9076","datavalue":{"value":{"entity-type":"item","numeric-id":1742625,"id":"Q1742625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b54ac61cd159c1dfd9de9ae7e6719d9f9d4c838","datavalue":{"value":{"amount":"+0.87674785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952907$5620FAB4-3C40-4A02-B84C-2E09533CCDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63aa83cdc55d660d7b97c73c4285edd9ceb54c7f","datavalue":{"value":{"entity-type":"item","numeric-id":2963922,"id":"Q2963922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d10ac008d76cc303455486c48bfd52a80af0de7","datavalue":{"value":{"amount":"+0.87565255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5952907$62334CB8-2FCC-47CA-9839-55C9F479304D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5952907","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5952907"}}}}}