{"entities":{"Q2266992":{"pageid":2277735,"ns":120,"title":"Item:Q2266992","lastrevid":50915039,"modified":"2026-01-15T17:52:08Z","type":"item","id":"Q2266992","labels":{"en":{"language":"en","value":"Weak bisimulation is sound and complete for pCTL\\(^*\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5675360"}},"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":"Q2266992$605DDDC6-6AA8-4CD6-9A41-A7AD9007F9AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1e2270ab165772bffa6aa86e8f7f31776735d4f","datavalue":{"value":{"text":"Weak bisimulation is sound and complete for pCTL\\(^*\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2266992$A6F5906E-D214-41F5-8D5C-1EF3D128D1BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf34809961cb3ec7b5641d4d5acd7aa35a1fe52d","datavalue":{"value":"1189.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266992$1D305B0E-E84D-4F36-B0AE-84D5F37A7843","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d8ddfb0d343fe3cfdb2f7d5a790a7afcf3447f3","datavalue":{"value":{"entity-type":"item","numeric-id":383366,"id":"Q383366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$DAD8F71E-BF11-4366-9D97-AC3EF6ED609A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e95519429bb258c9c0e2a586925faa69d5aa579","datavalue":{"value":{"entity-type":"item","numeric-id":596027,"id":"Q596027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$15457A12-DFBB-4AF0-A713-D64F058FA1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"689f673efe434f3abaa101c00ec8aac6d9847719","datavalue":{"value":{"entity-type":"item","numeric-id":596028,"id":"Q596028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$BB48F339-3726-45C2-8A43-8BF4E5273DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a55516c9acfe06eeff291481b7f91efa8e1b2799","datavalue":{"value":{"entity-type":"item","numeric-id":283764,"id":"Q283764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$4684425F-87F4-49CE-9FE3-3A9E1E4C50FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$9EFB224A-8BC4-4B00-8922-C93BB21D3C8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2195fc72ff17bfc6dcec3fd161ae063250a7c2b8","datavalue":{"value":{"time":"+2010-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2266992$26FCB5F1-9902-4C2D-BE58-86A79F20641E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266992$A7EA3EDE-0A50-4C2A-9E1A-887E305A161B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd5a10be49288fa1bccb1c4e72d74e95de3611da","datavalue":{"value":"5675360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266992$8695F886-6AC8-4B95-B9C0-4FD0D37C657C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52ef9677a47b129b805e97c79757a6a1062887bd","datavalue":{"value":"image finiteness'","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266992$18FC46C4-7CD0-4E18-839C-D3E8F10C90F4","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":"Q2266992$97148EA6-1127-49E8-B96F-9DEC05E6B4F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ad1e890d819042db4fa9a60fa0dbe46a8654f38","datavalue":{"value":"https://doi.org/10.1016/j.ic.2009.11.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2266992$BE6437D0-E2F9-49A0-B798-7516C1E790AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4d157f3193856b05da4b0b201f3142392d9adc7","datavalue":{"value":"W2056928795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266992$FA75DABD-2A6B-4C4C-B525-4AA5D14B4462","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$C789E835-EFC3-43C5-86D1-01BB4D1D732E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd11fb78461370c19c8beaf6b0de4dd26489cef","datavalue":{"value":{"entity-type":"item","numeric-id":1923100,"id":"Q1923100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$53AB61B0-AF9B-42ED-B859-DAB71D7BFD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846bd11e2686d660a49438abfbbd46392b179b05","datavalue":{"value":{"entity-type":"item","numeric-id":4535031,"id":"Q4535031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$CD32BA4E-9214-4C14-B35E-5A2EE4DF14BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b12807bd0341fddeb39b4de0894426ae76e789b6","datavalue":{"value":{"entity-type":"item","numeric-id":2653620,"id":"Q2653620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$A1B8648A-DD99-4A60-92DB-417D61E9DD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97eb29540a694cc02b27b20bc11daeddb9cd6bbc","datavalue":{"value":{"entity-type":"item","numeric-id":5658888,"id":"Q5658888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$61DEC735-DB9C-4130-8343-25C119D9C950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdd4fea53b7d739c7649130a0202bbf906aa47a","datavalue":{"value":{"entity-type":"item","numeric-id":4270063,"id":"Q4270063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$230075CE-41C4-42C4-8FBB-94EE84DBACFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c62dbd19ef1e84aaaa2b095c3c41d3e69d8080","datavalue":{"value":{"entity-type":"item","numeric-id":4484498,"id":"Q4484498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$55C62711-BA71-4966-9673-394942472D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8862b43cfd7dda3400a88a9cff2ab2712adae3","datavalue":{"value":{"entity-type":"item","numeric-id":1400292,"id":"Q1400292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$9A1706AB-70E0-4B44-884B-D2A6D3BF7988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4e969fddea0dd7e8a0a8e4fcc390e6fb8eacff7","datavalue":{"value":{"entity-type":"item","numeric-id":3225169,"id":"Q3225169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$1F06643C-38C6-4EAA-B56E-95E43496C8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3be4ea28a022538a3c0e48a97c15227a81dc3ea","datavalue":{"value":{"entity-type":"item","numeric-id":5428857,"id":"Q5428857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$E530AFF2-91C6-4847-8C9E-1A15AEF467B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6af56092ac7d59558df3b0b65c04aeb844b4c18","datavalue":{"value":{"entity-type":"item","numeric-id":1341758,"id":"Q1341758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$17BFDE1E-B656-45F4-9CF2-2734DD3E92E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$E175295F-C20E-487C-8FAC-F4931FE0DFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548d853a18eb713f9463402e105feb27bfd6a78f","datavalue":{"value":{"entity-type":"item","numeric-id":3849299,"id":"Q3849299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$BBD38178-0F62-42F9-8812-625409A9F81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$AF8F9812-D1A8-4B93-BDD7-B5C7FBF4D715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"981e4266a357f202b9751e6845e0edf8066539cf","datavalue":{"value":{"entity-type":"item","numeric-id":5512462,"id":"Q5512462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$6EC89CFB-8A7C-4F46-B2DE-88EB2D32CDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc15cea0e01e2a84509c7d2b5a4b258a406efdc4","datavalue":{"value":{"entity-type":"item","numeric-id":4536612,"id":"Q4536612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$1AC702D3-18DC-4BCF-BD3B-F3A3811694C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa0c98fccdf02731ab8c1cf468a105ce73a57d6","datavalue":{"value":{"entity-type":"item","numeric-id":5758058,"id":"Q5758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$73DE243F-AEF5-4387-9029-71FBA0F7464D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"642b3d2ac9c1062af75bb63e119e66c8aaa1ee8a","datavalue":{"value":{"entity-type":"item","numeric-id":5516366,"id":"Q5516366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$43739624-582B-48FB-B240-5DF08D1ECB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2366dd37d544fe56ffa25ad7fd7629a072348b","datavalue":{"value":{"entity-type":"item","numeric-id":5756588,"id":"Q5756588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$23536C4B-42B3-4926-8044-CAF56344D79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$EADD509C-0B60-47E7-9EBC-37295500C467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7aac5fc80d6b5dd2654373ac1513a53fac48bc","datavalue":{"value":{"entity-type":"item","numeric-id":4791270,"id":"Q4791270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266992$D31E1ABC-CD0A-453C-A290-2F2471C74626","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edd2fef15fa73b04497b6b1d8bd1b40f6c83f73f","datavalue":{"value":"10.1016/J.IC.2009.11.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266992$CADA6F27-AF22-445D-9E5C-C04687FDE52A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f6688b2856eecdb869e02c40926bd45c8e06b8","datavalue":{"value":{"entity-type":"item","numeric-id":4484498,"id":"Q4484498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b91914245fbb22139813644ab564390da71aec","datavalue":{"value":{"amount":"+0.9902163743972778","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":"Q2266992$AF351158-0E6D-4C57-ACC0-FEDABD302FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e04e28a65958541ac34a5814835d312f57fea436","datavalue":{"value":{"entity-type":"item","numeric-id":3190122,"id":"Q3190122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b91914245fbb22139813644ab564390da71aec","datavalue":{"value":{"amount":"+0.9902163743972778","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":"Q2266992$4E92B20B-474D-4C76-A921-4F51F6B6DF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913724d19c5f2456e6de8506edc37016dd1a83da","datavalue":{"value":{"entity-type":"item","numeric-id":4536612,"id":"Q4536612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"231de830c4a534e3c69acb0e500024bad88d29c3","datavalue":{"value":{"amount":"+0.8762729167938232","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":"Q2266992$6C52A8D4-8DB3-45EA-B553-0BDCFC03D654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d79c643ed2eb6f64d3c5a50ab38aa863a767695b","datavalue":{"value":{"entity-type":"item","numeric-id":2866317,"id":"Q2866317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"126069a9f8d995a91c66ae736f1bcaa5b217d8d7","datavalue":{"value":{"amount":"+0.8756960034370422","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":"Q2266992$12FB76E8-9533-4298-BFB2-4F1C5B913B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ef81862bca1afbd34a6a39bb10b75740caa503e","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12fa3487c7b2232dffde23829f092ff5edb53525","datavalue":{"value":{"amount":"+0.8173629641532898","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":"Q2266992$3FBEC25F-0187-496A-A4E3-0CF83C5F3DA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2266992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2266992"}}}}}