{"entities":{"Q5300576":{"pageid":7330150,"ns":120,"title":"Item:Q5300576","lastrevid":41818640,"modified":"2025-05-08T17:14:33Z","type":"item","id":"Q5300576","labels":{"en":{"language":"en","value":"On modal \u00a0-calculus over reflexive symmetric graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6182020"}},"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":"Q5300576$62A8BAE7-4F3B-4B0C-B37F-76862A966D91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0528ca27fd16c5837a9100882c3e251d05dca44d","datavalue":{"value":{"text":"On modal \u00a0-calculus over reflexive symmetric graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300576$ABA1E461-F130-4ACC-AABE-6C48F292B969","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44fd75004599d32de0d40815fcbcef69c32b26f7","datavalue":{"value":"1276.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300576$3086BFC5-6FC4-40A6-8784-CC27B126D8FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bc4d377d3637058f1e83788786b9a25ae94a603","datavalue":{"value":{"entity-type":"item","numeric-id":481099,"id":"Q481099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300576$3F4A4F9F-3C3F-4F0E-8221-BA6A7FBF859B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a24a57d77aefd8460dbb03e9524615c44c518008","datavalue":{"value":{"entity-type":"item","numeric-id":392378,"id":"Q392378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300576$23762A7E-01B3-4CD8-A0AA-AFA7C03D85FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3597cb1f80734925febdf12e95bdb9febd2257af","datavalue":{"value":{"time":"+2013-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300576$2705A494-19F3-497A-A45B-354EEFCCDA8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300576$D6F5BB72-4F89-473D-80F8-55298F525728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300576$5D653196-C1A9-4B33-AFA0-86A5E1BF8771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300576$3BF39E44-58F1-43AB-8B36-27BD8FA9B9CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ad28a7b527db8f8da78e00f93c1113c313c9613","datavalue":{"value":"6182020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300576$13E2065B-4E73-4B36-9714-B389F665CEC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300576$330FAF51-41F2-4E96-B810-DADC9ED1DEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300576$ACF6C5EB-F618-4BEB-9D8A-535848D343AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300576$487C5E21-5265-4E39-BF4A-23D87FFB472E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5cad1b4c902c651f8560ebce6ecad68baf0e844","datavalue":{"value":"fixpoint hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300576$94083986-800F-4C29-AFDA-E9B21F4E55F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7afbb1b7b5c13cde2f378fb248820bd5f27db16a","datavalue":{"value":"symmetric and reflexive frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300576$3EA8281B-1D05-4183-BB54-F7ED4BC9C9DB","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":"Q5300576$08BB12B7-3E35-46E5-AD39-FFE40F5F6533","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28cf522fe7e39d754bafae87c50e6824dc0caec9","datavalue":{"value":"https://doi.org/10.1093/logcom/exs028","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300576$AF321584-906A-408F-8E4E-B1216C15C913","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acfa93d39116790ac331bc753d0a6dcfd00d7d5d","datavalue":{"value":"W2136839729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300576$5D9FF851-7DEF-4539-9386-F5FC6FEF65AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71e6bc652176611d717cc19bc3c362f0e7443126","datavalue":{"value":"10.1093/LOGCOM/EXS028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300576$1B7305C2-5AF6-4853-A6E6-0BE1D3966181","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300576$2BEC05EE-8E4B-469E-BA42-5B259A7E1455","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4abb079d9008f6a66be199478d5e07bda28a079","datavalue":{"value":{"entity-type":"item","numeric-id":3454725,"id":"Q3454725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b91b1ab8401bf2498211a3924d127db6049adc0","datavalue":{"value":{"amount":"+0.9786387","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":"Q5300576$8E217A83-E8AB-42FF-A0D2-5CC754E8B935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"321a162f15494b7e79d442d0f154a127773a86c8","datavalue":{"value":{"entity-type":"item","numeric-id":5151000,"id":"Q5151000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c68cd686a45505f1f73f70dcf3ad1f92224d0c","datavalue":{"value":{"amount":"+0.92811984","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":"Q5300576$74B28A10-92F9-4905-A2E0-63593CA8DFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"accc36da34e31585b3dd82e0ad614e33578dc624","datavalue":{"value":{"entity-type":"item","numeric-id":2358703,"id":"Q2358703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f22e32632083fd1ad27889b0c91ea0ce969510a2","datavalue":{"value":{"amount":"+0.9103689","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":"Q5300576$3D10B40F-C050-44BB-BDAB-3482B24419D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c43ed1f34a04101fe88762448461aa1b3686a82a","datavalue":{"value":{"entity-type":"item","numeric-id":2909221,"id":"Q2909221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5650683c25914399b720b8aca7078d059bfd261","datavalue":{"value":{"amount":"+0.90807205","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":"Q5300576$A28E2473-C341-4332-AF07-A682AC9BD3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2401b97e560361b6c612cb6a2a7a202302cc17d9","datavalue":{"value":{"entity-type":"item","numeric-id":4823810,"id":"Q4823810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ec2ac8d6d6929bc306e5be2336a3c4c7f3b2c5","datavalue":{"value":{"amount":"+0.89632547","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":"Q5300576$12339F21-05DE-4E29-929A-B2083FB372A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a51c8995db8c0d9c7111b433f42184d330dda0","datavalue":{"value":{"entity-type":"item","numeric-id":1744424,"id":"Q1744424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"367bb22fe791bcd99a4170ce367f61c91d961299","datavalue":{"value":{"amount":"+0.8944105","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":"Q5300576$AD05004D-0524-41C1-A0DB-37F2F69C58C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa381a38d8684b9fd647f2bf3d9bb87762c847a1","datavalue":{"value":{"entity-type":"item","numeric-id":281163,"id":"Q281163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e352a67659c9e4f5f497e04acf686c912c3b45e","datavalue":{"value":{"amount":"+0.8915914","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":"Q5300576$37556259-21BD-47FD-B4E6-0F1318A889D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4a8c0b4de7ee56825982eafcdf16c0418b3cda","datavalue":{"value":{"entity-type":"item","numeric-id":4593954,"id":"Q4593954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"096a615a6300a48380c56778ee83d625665f9f3f","datavalue":{"value":{"amount":"+0.8887118","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":"Q5300576$ABFD2097-0BDC-43FA-89C9-8A890A072C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd62199ab8a1e6d3b338dd769068a0cf0a3d45a","datavalue":{"value":{"entity-type":"item","numeric-id":530865,"id":"Q530865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d5742f7e0ef7fddd7fbe482f47271446536fb1","datavalue":{"value":{"amount":"+0.887553","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":"Q5300576$81B4F9A5-0BD9-4E69-93C5-4DBE6B7BFCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597a941b3d56ebc8098883216ce0c529e8d5e8f0","datavalue":{"value":{"entity-type":"item","numeric-id":1990000,"id":"Q1990000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d3a357e56302d6b23581c70baa9cd73629fa95a","datavalue":{"value":{"amount":"+0.8869649","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":"Q5300576$57D330B9-0374-4922-B881-FBCEA12A9023","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5300576","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5300576"}}}}}