{"entities":{"Q5875397":{"pageid":7904948,"ns":120,"title":"Item:Q5875397","lastrevid":55951615,"modified":"2026-02-21T11:14:34Z","type":"item","id":"Q5875397","labels":{"en":{"language":"en","value":"Game-based local model checking for the coalgebraic \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649943"}},"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":"Q5875397$4BC9BAE6-E8A4-4EB8-9BA1-D5FC97321DA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a5b77d50e2c99c5b8c02feff26f37fbdd9f645b","datavalue":{"value":{"entity-type":"item","numeric-id":784133,"id":"Q784133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$FDD58978-A190-49EF-BE78-1BFB7B423E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$29F1B5F4-1AC2-4A47-A7D7-5777C49FFC3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875397$E7C789CE-595B-425B-9E65-7965FBC7893B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875397$3A60316D-58AF-4244-9D6E-37B79AFE6896","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96c55fa38ea9a7e44b3f07ed621e00e841729184","datavalue":{"value":"7649943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875397$1CDFAB31-2979-4E74-9DB6-C97F6F6D5E72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875397$4BC7CF81-51F9-4C3A-916B-C5B5B848BEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875397$6647343B-72EC-4314-87E9-D765AE0D09C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1847f1d1eb2343299689288309cd1e6ebf63ef","datavalue":{"value":"coalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875397$9AB6049A-B566-4C52-89A3-3E471AA9C4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62c7f7fd51b9bb752f44ec8647da5ff49ee16308","datavalue":{"value":"graded \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875397$85BEC553-9FFE-4B3F-A573-10CB1B0D7FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"452d8911340c1a867da444564a3d53250b86b5a5","datavalue":{"value":"probabilistic \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875397$A6C5BA9B-1E90-46FD-86C1-5A9D8E5A71C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875397$05418F02-E622-4BAE-A46D-FF4FC80DF445","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":"Q5875397$B1B1F0A6-DA4A-4654-8D44-6658C7FAFFAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$71F5ABBD-0E4B-42E6-83F4-E22ADD0804F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$18CC13BD-37D4-4AF0-A548-CB2D26E5975F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a0bb2ccb3376922fb3c2ed27ea82a3d330365b","datavalue":{"value":{"entity-type":"item","numeric-id":4995363,"id":"Q4995363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$4451026F-39CA-43F4-9965-928C9A083327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2cc99a8d71da1c5a6110884877d19a97e5ebc24","datavalue":{"value":{"entity-type":"item","numeric-id":4977976,"id":"Q4977976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$5C161C7E-C021-43C1-9750-38827427803D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ac3d7ec2b15acefd0efec27878eb9b4d230b02","datavalue":{"value":{"entity-type":"item","numeric-id":3867808,"id":"Q3867808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$9D55DFFF-8026-49F5-B233-12AF47224A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"868791ecbb8b2fef99c94f8ac3bfdcc20ea5c8f1","datavalue":{"value":{"entity-type":"item","numeric-id":3644748,"id":"Q3644748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$85A8858B-695B-4805-AF1E-2D5956CFCA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7382bd15ee0772f2a01d44c3ab123938e80ac15b","datavalue":{"value":{"entity-type":"item","numeric-id":3224669,"id":"Q3224669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$8098D526-BB70-4728-A16F-EDB28EAEF6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89368364142880546c00a220291e48a0b4ad7d86","datavalue":{"value":{"entity-type":"item","numeric-id":4580202,"id":"Q4580202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$A0105E26-0FE0-4F3D-AB97-AFE99B0D29F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"440a350c96b0ba6c90d200bf5d05d99fc766fac0","datavalue":{"value":{"entity-type":"item","numeric-id":1407541,"id":"Q1407541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$BEB13B5C-4BC1-4D2A-83BE-8E8D7E7F0DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd2e4db8ae14bb54e69255b03ddfbd8c1e28a91","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$63A2DBEA-BD57-44D7-BCC1-50963ED7C53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c3ee356cbbc1c3d5b36a8197a83e9b90ef5e6d","datavalue":{"value":{"entity-type":"item","numeric-id":4635817,"id":"Q4635817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$DD211CAB-3D8C-455C-AB65-571A7F634549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a68c9c5e6dc8c820f13872cc0a21e816d437222","datavalue":{"value":{"entity-type":"item","numeric-id":3535606,"id":"Q3535606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$FA48DF72-BBF9-4594-8F9B-EDC3207516FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$D3C906DC-E8BE-4BB6-B38E-11D56F69BEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d529d2f9e95ba1ddcd64c91dbb8283cb6eb618c","datavalue":{"value":{"entity-type":"item","numeric-id":1742625,"id":"Q1742625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$6519E490-DD0E-4552-A5BF-219E96261EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c6b4cd1ce0bbbce39b5941f4c43d5307110af63","datavalue":{"value":{"entity-type":"item","numeric-id":2828316,"id":"Q2828316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$6CC39C25-7E88-487F-998F-643DF4464351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cb5d87d6893f989fee7ae7b8db923929ffb4eaf","datavalue":{"value":{"entity-type":"item","numeric-id":2289080,"id":"Q2289080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$52A7E8C7-F6B9-49CD-B006-DAE2C505946D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825b6872a15bf96d878b4c4ae9a99b55a4097d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$B311650D-9D8A-4C47-B180-D32898A6110C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$B054ED36-44EC-4AD8-BB56-5D60473D0D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af5f40b1688002d626ced95ea52a62f7741103c","datavalue":{"value":{"entity-type":"item","numeric-id":4809076,"id":"Q4809076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$C5EF27E9-E739-44ED-815F-5DCEF0F9D8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46986697e9a2591d83bd32b37bbe4daa491a8b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3730012,"id":"Q3730012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$0837EFAC-4260-4ADD-9BEE-6A4436CEE2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f4b2eac24d9f89be1c7513caeb7568abecc973","datavalue":{"value":{"entity-type":"item","numeric-id":3346126,"id":"Q3346126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$F72531AB-B0B0-490E-922F-16F653167523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554dd80b26f1471d0a2efb82a159b112585c78b4","datavalue":{"value":{"entity-type":"item","numeric-id":4329525,"id":"Q4329525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$BBB59D74-E70E-4B73-8FCE-22A349A1987F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$86B791D6-96A8-4B15-91F1-C70122A6D595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$0F08090F-7F5A-45A5-BA59-A94EFB01BD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2f06c9b4f503b85bf56091ba53ba463c1b0657","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$459C611C-A38F-49B6-9CD3-FE2C9F1FC450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"029d50a541dbb3392926dc29435e106178377175","datavalue":{"value":{"entity-type":"item","numeric-id":5390017,"id":"Q5390017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$720E6821-C70C-4F08-96F0-FCD8E6E95338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875397$1CE68191-071C-4A17-8A58-9760B78EFE3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"551dda4e2f2b3ae071a0de93c4a48ba3390826cb","datavalue":{"value":"10.4230/LIPICS.CONCUR.2019.35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875397$3786B12D-F669-4CA7-8F1A-31B03FB6424F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa69056ab5036a815bab442049a021f9b11699c","datavalue":{"value":{"entity-type":"item","numeric-id":6597959,"id":"Q6597959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be0764baa6cda807f3d0a7437024f70210451cfd","datavalue":{"value":{"amount":"+0.8268039226531982","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":"Q5875397$7AEB25EF-1C35-4C2A-B61B-1B5E8D30669B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab8f377377348b5893bd6b7b400b45890205e14","datavalue":{"value":{"entity-type":"item","numeric-id":3644748,"id":"Q3644748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86272f6dad4b67ceee0e0e729426dd61f274ff0e","datavalue":{"value":{"amount":"+0.822910726070404","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":"Q5875397$26FF600B-C7C1-404F-B03C-6E352C224179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1462275c9ecb81a5764271180f980d60f928ea","datavalue":{"value":{"entity-type":"item","numeric-id":3224669,"id":"Q3224669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa86999e60136c18ec90d1fb8c2fd19af07feee5","datavalue":{"value":{"amount":"+0.8220286965370178","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":"Q5875397$3A0A8245-0775-4BE3-8813-8D76DA3FD115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"638dcd163079b05892c4f4da51df6b1b41c666fe","datavalue":{"value":{"entity-type":"item","numeric-id":2289080,"id":"Q2289080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9e052c38875f81888b673ac2b070303814fcb8","datavalue":{"value":{"amount":"+0.808112621307373","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":"Q5875397$A3062F98-788B-454F-92EB-676DFFA69A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"418cdc3167d6ee27ce49db1b448e034364c485d0","datavalue":{"value":{"entity-type":"item","numeric-id":4738473,"id":"Q4738473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df6204ef1a736ecb0cd68afa56e1b28b7ce2133f","datavalue":{"value":{"amount":"+0.7871044278144836","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":"Q5875397$9085A274-5797-440C-9F86-0A76A80BF180","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875397"}}}}}