{"entities":{"Q3535606":{"pageid":5565510,"ns":120,"title":"Item:Q3535606","lastrevid":49306165,"modified":"2026-01-06T22:42:46Z","type":"item","id":"Q3535606","labels":{"en":{"language":"en","value":"Enriched MU-Calculi Module Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5365473"}},"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":"Q3535606$89FCC0C6-1134-4608-AA54-DF69282BC74F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f502434152598600328a4d33356e53376fe16879","datavalue":{"value":{"text":"Enriched MU-Calculi Module Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3535606$CD77980D-D23D-4FC4-96C2-98D2D340F0F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d37975be0c1e36ef6913665dae0fe0a648d9f0a","datavalue":{"value":"1147.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535606$7A05994A-1D6F-44A7-95F9-59C2A6C0C46E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"335ba28c344efee383d7bc3f512a85251e43803a","datavalue":{"value":"10.2168/LMCS-4(3:1)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535606$7D2390E5-6BA1-4AF3-929F-8CF097639A64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b797c575157eab559005f02368290434a93f0965","datavalue":{"value":{"entity-type":"item","numeric-id":1006064,"id":"Q1006064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535606$186DA381-CC90-498E-ABFC-3DD105637B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535606$0A43D232-45E6-4577-A415-9A7441B92E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b91b7e9b71b17972586982d48b569d6d7014de4b","datavalue":{"value":{"entity-type":"item","numeric-id":671528,"id":"Q671528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535606$A48F8CA1-7DA6-4D93-8CE1-FC6E857C418D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535606$5FB02D0D-9856-41B3-AE99-E1A594DF15E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27f25e9d3b3894d698b7ec67f164a27a3aba1f7c","datavalue":{"value":{"time":"+2008-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3535606$AACF49F4-647B-42A0-83A0-EB98F538FB2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535606$7C3493E0-9257-4B18-A677-3E362C582C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535606$49455BF3-52EF-4614-B8D7-9FB500BEDB8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62cda6ee553cdbb563426f4e091981c1d841fcf1","datavalue":{"value":"5365473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535606$F2F57E9F-215B-4FC1-9DA1-C853F0477485","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535606$B4AF6384-80EB-4A60-B318-0D0FB4393BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"206c784d52c4a36fcd8ea9f081b4eca6ce243be8","datavalue":{"value":"open systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535606$1030B76B-CEA1-4B8D-BF63-B6AB347928CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535606$13438293-28EA-4426-A5D6-B52D67B89AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f45aae95e90632dfcd6ab7e0144d94e4b3ca37bd","datavalue":{"value":"graded modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535606$F51C5F49-42E4-4E18-ACC9-75CBAEEDE2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9c4a0a2c8b3643109d6c20e02df8853a46f0d26","datavalue":{"value":"automata-theoretic approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535606$479B35F1-2B6D-4952-9BE8-2C703EBBFAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535606$3A212F3C-C731-4DEF-89ED-A8CFD58C40D5","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":"Q3535606$49D08D4C-125B-4D6E-B9B3-402578732B73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3cdbaa03f26c176e8088b3c877ea22dbb4f54d7","datavalue":{"value":"https://doi.org/10.2168/lmcs-4(3:1)2008","type":"string"},"datatype":"url"},"type":"statement","id":"Q3535606$9FC54130-3074-4010-996A-2984E2528758","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2445b0c8c633b480b2fb216113eec8fc3e76b5b","datavalue":{"value":"W3101497863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535606$68EF986A-857C-4596-828E-A82A19C277CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad556670ef1a7e79c2648b034e7ab922d2175f3b","datavalue":{"value":{"entity-type":"item","numeric-id":5758045,"id":"Q5758045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","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":"Q3535606$8727F9FD-7730-4493-A9F2-8E2D7E53CD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da470fff85f8cc4edd28dca66c5419a822ec0924","datavalue":{"value":{"entity-type":"item","numeric-id":3498485,"id":"Q3498485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2db82c3f7cdd0f68026476e859b1df7185b77bc","datavalue":{"value":{"amount":"+0.9614316","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":"Q3535606$100397FC-0E40-4890-8ACF-674DC550FBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44999439e2e30d077c5c9e9e2363fee856cf2c04","datavalue":{"value":{"entity-type":"item","numeric-id":3176384,"id":"Q3176384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03fe97f7810074e2cba30596e0b694b1af7fcbb3","datavalue":{"value":{"amount":"+0.8837323","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":"Q3535606$311C80AF-029D-4183-A201-DECA057A5606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fbd6f2006b2a8096c61390a4d0015aa0e6959a","datavalue":{"value":{"entity-type":"item","numeric-id":3591423,"id":"Q3591423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eebd42ae7ec56aeaffc4ac6d64f066ce45ada7a","datavalue":{"value":{"amount":"+0.8784979","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":"Q3535606$23EDFBD8-294A-45DB-86AF-78E7DCAC2D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc645096fa5c90d3479b83345dfb3c4ad7ca9d6","datavalue":{"value":{"entity-type":"item","numeric-id":3535618,"id":"Q3535618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eebd42ae7ec56aeaffc4ac6d64f066ce45ada7a","datavalue":{"value":{"amount":"+0.8784979","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":"Q3535606$A0A41C6F-0270-4DDA-A02E-03FDFD7127A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b372590df06dd31bbbf717ef217515a92785c86","datavalue":{"value":{"entity-type":"item","numeric-id":4353562,"id":"Q4353562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d950a899afb7d75c7a9e0d74a4ace0d4b55acb6","datavalue":{"value":{"amount":"+0.8750128","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":"Q3535606$C576E23F-74FC-4922-9EAD-015C96663EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14396cd9bd793a2ddf8fa5ff64e5c9589086b357","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b367f38d9c2b89a9614a04b2c46455a37c13cab","datavalue":{"value":{"amount":"+0.87244713","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":"Q3535606$2B6F63F1-AB4C-48C3-BFE4-064DD8D39421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b416427a4304b1f4d23bb76171b3eb488a30d682","datavalue":{"value":{"entity-type":"item","numeric-id":5854737,"id":"Q5854737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"882dd56216888e493ec41fbdeaa8d90b57cd868f","datavalue":{"value":{"amount":"+0.8632197","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":"Q3535606$49259E98-46BB-4FBC-8F7D-52C0EA1A2E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78a636806e2b85ffe545e69f53a74d3ab65f64fc","datavalue":{"value":{"entity-type":"item","numeric-id":2849862,"id":"Q2849862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c271a7f546a226f674d4ecaebf44a1125ae29031","datavalue":{"value":{"amount":"+0.85741454","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":"Q3535606$73D2E109-54A3-4ECA-9042-9DA6FC653FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b0a50e466707129605d225106e5b7250c6fcc1","datavalue":{"value":{"entity-type":"item","numeric-id":4635600,"id":"Q4635600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb546a93f93ff558002b7aa7f879c326caf5b5e","datavalue":{"value":{"amount":"+0.8547147","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":"Q3535606$C81E319A-05C4-4405-8887-FF30A17165DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3535606","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3535606"}}}}}