{"entities":{"Q3452222":{"pageid":5227883,"ns":120,"title":"Item:Q3452222","lastrevid":55955320,"modified":"2026-02-21T12:00:57Z","type":"item","id":"Q3452222","labels":{"en":{"language":"en","value":"On the expressiveness and complexity of randomization in finite state monitors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507204"}},"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":"Q3452222$3F3A801A-19C0-43DC-A502-0C71F9A27298","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fc7d30c3d4cb2c9dc370833a5e6dc5dda05b5ee","datavalue":{"value":{"text":"On the expressiveness and complexity of randomization in finite state monitors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452222$082A4506-32A5-4AE8-A813-1C8FAC6B3574","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d66f57ff967340652c4af19805a7f4d30b890bd","datavalue":{"value":"1325.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452222$AEC47FCB-736E-450E-B4E1-7F46D6663CDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22ea208d937601d7717a87485ca5c2369df06a70","datavalue":{"value":"10.1145/1552285.1552287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452222$BAB21550-1FFB-4121-9F98-D0B617BFB544","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452222$7EF7E5C8-EFAA-4605-8D8E-D5591CB77EAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3452222$0E615F71-3EE8-4B35-9208-81655563EB06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452222$2B361657-0C36-4998-9B71-7CA242AA1EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452222$78C5F6AB-9EF6-44B7-AC0A-8294A717DA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452222$12C177B2-C2D1-4D1B-A3F3-C9AE9BFBAC26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c2dbd07c45e21610294ff717826a8d41a75a6c7","datavalue":{"value":"6507204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452222$D382B065-DA87-46F3-BBCA-EEB3427A03CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd34056fcf8d68ebadadee7520d398e23dd4b28b","datavalue":{"value":"omega automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452222$2FD5109E-41AB-4654-9C5A-4C8A6C7C5A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ab0532863d1fdfbdcc9d6c397ce2e2a173c1","datavalue":{"value":"probabilistic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452222$CCE6FD74-8573-4D36-AE96-6438A829A2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"679372600590a03c48d4032113dc215d14bd33c6","datavalue":{"value":"randomization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452222$6E5C82C0-CE85-4E5F-99A9-E176183F53C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e02abee36db78497dbbfeaea646ef9e348c939","datavalue":{"value":"runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452222$0AF034C6-41D0-4143-8F7F-AF521C2B2CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452222$C2B12735-A1D2-4DEF-AB32-9D7ADBF2414C","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":"Q3452222$79FB82E6-73EC-4E5E-B67D-BFF707A446A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"591d6fdda3fc6214b14b8c9485078491d87720aa","datavalue":{"value":"https://doi.org/10.1145/1552285.1552287","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452222$911964E0-07DA-4CB3-A3C1-B79F84FDE570","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"715d0ec2dd9eb494f715223b588a90814fa0d7f5","datavalue":{"value":"W1988501450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452222$6F51708B-89C2-4AE4-8D01-8E48E4112E50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40febbc263f8d1bea2e6fdcba546d88d0930af5b","datavalue":{"value":{"entity-type":"item","numeric-id":2938064,"id":"Q2938064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fac308794760b1f743668bb7c3ace3ca49fad5a","datavalue":{"value":{"amount":"+0.7737230658531189","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":"Q3452222$7F38E94C-4A5B-4709-8F6D-1676CC133E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e5628760be47d7aefb96543b1a6fadce05aee8","datavalue":{"value":{"entity-type":"item","numeric-id":5145314,"id":"Q5145314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aac9ebb1cce0fc336f610fa9c3346ba586a086f9","datavalue":{"value":{"amount":"+0.7633023262023926","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":"Q3452222$9CD1D66B-8484-4BD1-9DEB-C46AC20DB55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ccdfddd88e1648b11b4de119ec09d0d4b542f0e","datavalue":{"value":{"entity-type":"item","numeric-id":2399244,"id":"Q2399244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb2177654a3fd156dc9e75c0377d7e2a2b6266d","datavalue":{"value":{"amount":"+0.7500243186950684","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":"Q3452222$F2953988-B705-427B-A956-046CA8723228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a540b391114ecfc41681dcee8da785ecbfa0e800","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd46877b6ef43ddea08d8f1e403e803c2294abfc","datavalue":{"value":{"amount":"+0.7435095310211182","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":"Q3452222$C2F423EC-A421-4720-ACDC-F3E31C47F9AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3452222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3452222"}}}}}