{"entities":{"Q2814623":{"pageid":2825361,"ns":120,"title":"Item:Q2814623","lastrevid":83350442,"modified":"2026-05-07T07:18:40Z","type":"item","id":"Q2814623","labels":{"en":{"language":"en","value":"Certification for \\(\\mu \\)-calculus with winning strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6596664"}},"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":"Q2814623$F347E5B3-D1BE-468B-8A9B-7584451821A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"560334901a77a8e51a35b5672caad830779c21ea","datavalue":{"value":{"text":"Certification for $$\\mu $$ \u03bc -Calculus with Winning Strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2814623$D86E9322-EA03-48EE-B460-008230CFE87D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf04801a6a2c6c9e6ec77da3327627bbddcffaa9","datavalue":{"value":"1354.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814623$1172B704-652E-48A8-8349-67CAEC206D50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3613513b55fb1e0290159af56851b02983ee920","datavalue":{"value":"10.1007/978-3-319-32582-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814623$28327339-AD31-4BB5-9323-97B075C2AA60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814623$04B106D3-DE3F-4FE3-8376-C6DBF309B38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a40b8bdb8b5c7f29461b880e560da7e68b12eb1c","datavalue":{"value":{"entity-type":"item","numeric-id":2814622,"id":"Q2814622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814623$3352DA1C-7DC8-4211-B218-BAAA1DE3C24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69e260a263a8c533b05d7f8d3aa8c89b45a7453f","datavalue":{"value":{"entity-type":"item","numeric-id":2055858,"id":"Q2055858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814623$024F3B31-D12A-4D1C-B114-8187521EE4EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"522e9e5b50831c9c990a6ebdcfb4c44f217acf10","datavalue":{"value":{"entity-type":"item","numeric-id":2814620,"id":"Q2814620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814623$9F77F0FD-3FD1-4134-A947-28922A47545C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d83d2543337a9f3c481a9dc8012543a2c71e114","datavalue":{"value":{"time":"+2016-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2814623$B2958910-7915-4F76-A787-ECC10FF02D93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93b459004e2f8b2ccce17ca5ff736a2ef032ce49","datavalue":{"value":"https://arxiv.org/abs/1401.1693","type":"string"},"datatype":"url"},"type":"statement","id":"Q2814623$83DE9959-8952-4D5F-9EAC-D1D0C320B63A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814623$FDA608D6-BD7F-49EC-B154-F68BD6EDC4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814623$A428D12A-D4D6-47F5-A91D-EEA1BF875943","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"279afd1636f49ce8274c13feecd06d349f00fef9","datavalue":{"value":"6596664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814623$480F37B6-921A-4CE0-B556-B9DD01F5B50E","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":"Q2814623$B540D076-B075-4648-B133-7AD11D5941E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"437cb5c521d0d45a01735aa826308c9020645368","datavalue":{"value":"W1580864274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814623$FB2C8FE8-BFBE-44BA-A517-1845F5EE9CE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9519d7a8809afea12f17beb7be7e7502b77169f1","datavalue":{"value":{"entity-type":"item","numeric-id":671352,"id":"Q671352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92468c8449ad264f972714d51e25e322ea597142","datavalue":{"value":{"amount":"+0.8206185698509216","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":"Q2814623$8538103F-2593-4147-8ED3-F518993FBA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"306f27ef787fa91b00b5802d39e2d9044ba98198","datavalue":{"value":{"entity-type":"item","numeric-id":5309728,"id":"Q5309728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92468c8449ad264f972714d51e25e322ea597142","datavalue":{"value":{"amount":"+0.8206185698509216","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":"Q2814623$BA4A6708-1737-4E19-9F59-18D76B65D55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"031b785b36fb4a3fa03f1c32da8f2ce73befc6a9","datavalue":{"value":{"entity-type":"item","numeric-id":4553254,"id":"Q4553254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97892245b5baf2b303d84ea9074efd2ca3f0bfd4","datavalue":{"value":{"amount":"+0.8006043434143066","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":"Q2814623$90CE1A80-66AC-45CD-B6B5-F22354CFEB5A","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":"db72b3e061b4e8e566f3aa1a31d3513252083e10","datavalue":{"value":{"amount":"+0.7920060157775879","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":"Q2814623$90090F68-A569-46A5-93E8-9E7B196CBD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb13c1532832f1593102c334878453fc9ba22ca7","datavalue":{"value":{"entity-type":"item","numeric-id":3614877,"id":"Q3614877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db72b3e061b4e8e566f3aa1a31d3513252083e10","datavalue":{"value":{"amount":"+0.7920060157775879","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":"Q2814623$81123D4D-902E-44CA-AF63-F2742945D097","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certification for \\(\\mu \\)-calculus with winning strategies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Certification_for_%5C(%5Cmu_%5C)-calculus_with_winning_strategies"}}}}}