{"entities":{"Q2810972":{"pageid":2821710,"ns":120,"title":"Item:Q2810972","lastrevid":52548047,"modified":"2026-01-22T22:43:25Z","type":"item","id":"Q2810972","labels":{"en":{"language":"en","value":"Refinement sensitive formal semantics of state machines with persistent choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6589709"}},"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":"Q2810972$1CE4FFC8-B88C-435B-9EE8-1958009C2661","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2dbdd8a70ce67e7ea88a031d878ab07a9a58fdf","datavalue":{"value":"1339.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810972$74BBEBCB-6A10-46DC-AB5B-FB6F4FAB138A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5887fda0e194efa53a5f3440f04d1bf60a9bdd1b","datavalue":{"value":{"entity-type":"item","numeric-id":184519,"id":"Q184519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$8FEF9E7D-803E-43FB-B156-77DFDE6BCE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9ffd9f9d935cc6b86f0480ec49fc5c623611399","datavalue":{"value":{"entity-type":"item","numeric-id":407771,"id":"Q407771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$35C16E61-989B-4FAB-8B6B-B4E52837E937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a438cdcade263adf2b3b40214c6eeea5cca45921","datavalue":{"value":{"entity-type":"item","numeric-id":2810971,"id":"Q2810971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$01A4C041-21A8-4D65-95AE-200909B5507D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35fc089f2173d2cca71cedf816da15f5be891974","datavalue":{"value":{"entity-type":"item","numeric-id":1029092,"id":"Q1029092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$A487A739-B9C1-4007-8CAD-9A91DBEB2508","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$E102B701-A87D-418C-B76B-4506171197FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d066e43a0d378deda532184f86b234184fe2275a","datavalue":{"value":{"time":"+2016-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2810972$E553FD23-2AD2-4A6D-8188-07CC76330317","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810972$61F5E294-6464-4791-9CA3-527F8863D3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810972$E7FA826F-5B21-445E-A710-64B2819A9B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810972$E8E5181D-F576-478B-8E71-E28549530383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810972$81298C40-6A5A-40BC-94F9-D74437432461","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0db1974b197d79cd352e0581ed380d8793fa999","datavalue":{"value":"6589709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810972$260DCC96-5576-4951-9550-040F701228BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9147207a604cf27763c14ec3539bd8b4e41bf44b","datavalue":{"value":"modeling language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810972$C3D3E0AE-5524-45BB-8131-61A8A8ECD6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810972$D6C43B54-7C30-4C8E-A803-876640064961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810972$72F20A39-6A89-41CE-81E3-F2238F6C17FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15edc483b8f2d0b861c82b38da24993f0077c374","datavalue":{"value":"3-valued satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810972$DF02C11D-39C0-4A87-84AB-0631EC5AE757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810972$5415F359-CF30-4640-8ECB-D9DFDA12D477","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":"Q2810972$A2C6E097-0824-4154-B75F-732A72316951","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d26b82b72e2c51d73c9743da282ca4f9c0534461","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.08.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2810972$69A98B30-994B-44B0-9EBD-7548D829589C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3ee9d40b83af4399b7b4fdf4c3cb191eeefba39","datavalue":{"value":"W2109649660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810972$AFEE673F-D6DB-492D-A5FC-9F7211EA114D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$2FA06C22-16F3-4071-9A14-682472F21BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f488ca0bee76ae556527d1ce554b7c31a7e653","datavalue":{"value":{"entity-type":"item","numeric-id":5711491,"id":"Q5711491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$0119CE96-C6C8-4714-91D8-B842AB46678A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eedae2cecc1761746c1685837fa028c309302a2","datavalue":{"value":{"entity-type":"item","numeric-id":706511,"id":"Q706511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$620159FB-309C-4062-8D65-CAAAE3DDFB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5854c5d3aaee6bf0dc703d8cc0f9b880f20f1682","datavalue":{"value":{"entity-type":"item","numeric-id":3522918,"id":"Q3522918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$4019B148-1D0E-4587-B722-334475D2CE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca892b7da56335d2b06bc411873042960a046d73","datavalue":{"value":{"entity-type":"item","numeric-id":2871829,"id":"Q2871829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$4FE4D118-1348-4F0E-976C-A2F2B9471FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$A01B645D-1D24-4289-A817-DADB15D3D66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$763699EC-AB65-4281-B3B7-C79705B4A059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$9D45C4B0-9AAE-4E37-A414-C0AF3DDAD56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$06F25B11-9428-4E54-89D8-42C4411AE1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a5b891cd9d989bfb84e7d114268daa13d09acd","datavalue":{"value":{"entity-type":"item","numeric-id":5392299,"id":"Q5392299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$F5124C4F-C366-4FBA-8493-6F51B0958028","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":"Q2810972$0896F645-2B7F-404C-84C0-60CD4E0AB096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$B7590C39-4251-4217-B90F-7B7C1E493CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa35f57cd9dce2bd1377c75eff83eacb1e2154f1","datavalue":{"value":{"entity-type":"item","numeric-id":4989487,"id":"Q4989487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$3D53F182-EBA4-4264-A5A5-85450E9822D3","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":"Q2810972$8B734287-E580-47EB-8E22-8E3B25F7C834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38338272dac8f01a00cfb949ea75569fdb402496","datavalue":{"value":{"entity-type":"item","numeric-id":5308433,"id":"Q5308433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$35F74BD8-B367-4BB8-9867-E5B2BBB4DF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d806f594f992f595c54bdcfd46429f37298748f","datavalue":{"value":{"entity-type":"item","numeric-id":958307,"id":"Q958307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$F3B4A41A-EE54-44FF-ACA5-111F7BE13D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a185e0ab2dc8b50c7ab26d72b4ab8103d4555c0","datavalue":{"value":{"entity-type":"item","numeric-id":5952907,"id":"Q5952907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810972$8E60B7DE-3D0E-4D6B-9F35-FD64856C3F85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe3d5028ef530f17a97eef174b81597a9cace852","datavalue":{"value":"10.1016/J.ENTCS.2009.08.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810972$52BED027-0722-4123-B25D-315036912252","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b79e213457398cf896410c5238857351b9ce373","datavalue":{"value":{"text":"Refinement sensitive formal semantics of state machines with persistent choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810972$5B2CB11A-5278-4F19-A2C7-89DA8F6B6D0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5636a70be7c17f97eb72f1bbbed2b517d533a995","datavalue":{"value":{"entity-type":"item","numeric-id":3400934,"id":"Q3400934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda0c2f425851612c0ade75c5ba18fa36c348207","datavalue":{"value":{"amount":"+0.7511659860610962","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":"Q2810972$2B5D4A77-1CEF-4805-A466-4E48F5674241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa21767a783934e002833c7487898c9790bb8995","datavalue":{"value":{"entity-type":"item","numeric-id":2844827,"id":"Q2844827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33ec869d12fd6a393432ffd1dbf580135b651ec","datavalue":{"value":{"amount":"+0.7392631769180298","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":"Q2810972$0818CBEF-07FC-4597-892A-EF1AB1982313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23295ae29c88210ca4368c4ea2ddc4c5e6fa9eb","datavalue":{"value":{"entity-type":"item","numeric-id":4472204,"id":"Q4472204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"822899aa11dd1f96b429d839e06ccdb4c2c0842e","datavalue":{"value":{"amount":"+0.7346789836883545","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":"Q2810972$488BC02B-163C-43FD-9A8A-AC9B8DFEB239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c27882d4806b204242b4a4792e33fac6b556eb","datavalue":{"value":{"entity-type":"item","numeric-id":2753710,"id":"Q2753710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9a910efe8732008c42d70fd2f19fbc4d4fc36e1","datavalue":{"value":{"amount":"+0.7321399450302124","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":"Q2810972$7A3C2D44-5CD2-4E75-85CE-A68C26702399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a49badc6c2c198641c1f33391ffcc6b31ccb5f","datavalue":{"value":{"entity-type":"item","numeric-id":5312986,"id":"Q5312986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb283d0604901edb14b38e0d665c5fd32f44db08","datavalue":{"value":{"amount":"+0.7254844307899475","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":"Q2810972$5E4123F4-047F-4EC6-9B04-A9A33CCD7357","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2810972","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2810972"}}}}}