{"entities":{"Q2403821":{"pageid":2414564,"ns":120,"title":"Item:Q2403821","lastrevid":74007327,"modified":"2026-04-14T18:02:03Z","type":"item","id":"Q2403821","labels":{"en":{"language":"en","value":"A unified rule format for bounded nondeterminism in SOS with terms as labels"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6773914"}},"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":"Q2403821$3A9BEE8D-7F19-4C2F-8670-5E89607EB51A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96507bbb91c6b8d38326bb694c200fd61780b32d","datavalue":{"value":{"text":"A unified rule format for bounded nondeterminism in SOS with terms as labels","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2403821$4AA4BA74-E8E6-4D6E-A8D5-96C59775F8DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"692e1b54a8fa55f4e7f54ab4ed8f9dce6974f4c5","datavalue":{"value":"1373.68285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403821$610BF895-F043-49C3-BC74-1A9AAA7BD181","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$0C8DDF50-4FE0-4837-B6AC-41FB5AF3F843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e7478430eb26658d7e19e913ffefd51e148e64d","datavalue":{"value":{"entity-type":"item","numeric-id":2403820,"id":"Q2403820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$8A589E5E-C751-4708-B6E7-A40B01337103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eca54fe392e745d9898202aa45be4e90bc1ba592","datavalue":{"value":{"entity-type":"item","numeric-id":2324014,"id":"Q2324014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$06B56A5C-48D8-4BFF-A9CA-A3BFAC92B537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$EF9A1B78-3149-4BC9-B1B6-B6C09DC7FB34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$42F2C7DB-8D6F-4178-B143-1DB432E7C20A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2403821$CB4E0CA0-DD18-4E39-954D-0333C1F89718","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403821$D7426BB5-B981-45AD-859F-78D396A4B001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403821$2A81315C-F4FA-45DD-B55D-E66B328B0948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403821$5F45A1D7-48B0-401F-8972-D1194DE08261","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29aa488fb223bafb494f93644817c1c14537a02a","datavalue":{"value":"6773914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403821$6CA7C543-C676-402B-ADCB-A0FEC2B33BF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a70f2b66d80319d5c576190c5bbba86ed8f1068","datavalue":{"value":"rule formats","type":"string"},"datatype":"string"},"type":"statement","id":"Q2403821$F9264B22-B25F-4433-A035-7678D1FF9413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4ce0166617d2ac95331636db988db19aa614793","datavalue":{"value":"bounded nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2403821$C521750A-0159-444F-A76B-09C4C80BF0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2403821$B1A7863C-CC0D-4883-B6D1-9CADAE6D4750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2403821$D930658D-6F51-4403-92C1-AE86B7AECD6D","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":"Q2403821$B07E9809-C3DA-48FC-91EA-90D390FACE5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44e006f4024aa3053b4a9957433341394d754363","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2017.03.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2403821$C26F757A-E283-48AF-8D2E-1A2F9E4FD4A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72fae1780dad32cfb15cf5390f429366235dfa80","datavalue":{"value":"W2595581340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403821$8C5AA683-8FBF-4879-9E88-DABC5129622C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf58587decdee95f676a746bd278ed5978d708","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$48F8DF3C-92F3-4AF5-8B2B-A2530E03CC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$93676FE6-1A0C-45F8-BE79-614335B43748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c42bce165d885db401ec0df33a4dd89efddfbf","datavalue":{"value":{"entity-type":"item","numeric-id":2796231,"id":"Q2796231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$64A2767D-0B35-4B5F-B7FB-06C8B85C99DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e886d26c194047ea44bea7544fbb6d8bc9138f4","datavalue":{"value":{"entity-type":"item","numeric-id":287256,"id":"Q287256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$55E86AC4-EDA5-497F-B829-F774CE23F6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2204ee7d30bcfa8fbee857183801f78bafc2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$4B85BE75-2378-4B59-8A48-FEB417BF2E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$BDC6878C-B97F-4F3F-9FB9-E6F19D271538","rank":"normal"},{"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":"Q2403821$DC534DBE-4916-4692-8B43-19DF3F4586FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1655f4b54c34b1728eea7080448cc5236c5e3cb8","datavalue":{"value":{"entity-type":"item","numeric-id":3178277,"id":"Q3178277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$B4F983D9-16D0-469A-A89D-79C7B16AC7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a5be0c101b23bfa62ae4840034b8ca646534b1","datavalue":{"value":{"entity-type":"item","numeric-id":1079949,"id":"Q1079949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$CCEA6F3A-6A1D-4690-AF50-824C5D5868CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a513c45897b31ffec63e5469a25464b2be8ac4b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941495,"id":"Q4941495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$D454B931-43BE-420A-A5A6-C2AA10AE0E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95213ed61e1cc3e450a500294edf29985451bfe","datavalue":{"value":{"entity-type":"item","numeric-id":1424357,"id":"Q1424357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$5A6683FE-B810-4D4F-A36D-0E3882EA2B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$2155DC25-8FBA-4272-A78F-00CF1C5EF669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7029317a5f94cc73979296e01633b9e1b95a332","datavalue":{"value":{"entity-type":"item","numeric-id":3753475,"id":"Q3753475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$BE10F18C-D077-404A-A100-6DF4CA0685CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73c058e3df5c701e63f0f6d9f39f2b9e12c36e","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$FADE2631-B69D-4FB7-AF02-8394B0227AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$3C651CFD-527A-4E17-9BD4-4A2DC99E3156","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":"Q2403821$A77A311C-D782-478B-A5C6-BF27722ECA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$B464B9DA-426B-4C12-BEA2-2A8FCE19F359","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":"Q2403821$F422093B-1103-458A-9AEE-5BED323CECEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dde321b65edc6ca92c524be1f1dc3a54d0ce2735","datavalue":{"value":{"entity-type":"item","numeric-id":5897491,"id":"Q5897491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$91EA1EB4-6F51-46EE-9A96-9584F79F0ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e608391d5fff20267259ee8e0ce0bb8fd94bb4f5","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$F1C20175-F91E-4E02-9F59-0097C9521232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ffef44f4d63520001869844161b5a9ab99f758","datavalue":{"value":{"entity-type":"item","numeric-id":5357704,"id":"Q5357704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$F2934015-F2DD-4E7B-8CC1-5E67C8743431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11ea5c2da66a2858bec19443b0c09c28f422dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3657409,"id":"Q3657409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$FE6B5C44-7541-4434-8C29-2E790705BCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$837E95FB-23A2-4851-96D6-59D79BB6E6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0857e8878bcf78132758435c76b6420a8b1c319","datavalue":{"value":{"entity-type":"item","numeric-id":3486858,"id":"Q3486858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$831DDB36-0244-42C5-92B1-AAB533DD65E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$792EC6D9-BFB8-40CD-A0D1-F889B143B786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade402c8643377c95736cc4de881776c386a1875","datavalue":{"value":{"entity-type":"item","numeric-id":1882909,"id":"Q1882909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2403821$8410487B-D554-4DD0-882A-484A6596B516","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5cec5d3490f270b06444ab254c06e53bdad4309","datavalue":{"value":"10.1016/J.JLAMP.2017.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2403821$31A3B6F1-0130-411B-B02B-A7CF190391A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73b47747060d769e1eb8f7da4c7221d4fed59aee","datavalue":{"value":{"entity-type":"item","numeric-id":2796231,"id":"Q2796231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e779d8eb0d485cd9beb91f1181b1feab76b577","datavalue":{"value":{"amount":"+0.9018253684043884","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":"Q2403821$F8077C85-FA76-4FC0-835E-40E217F15DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6502048d48bfc14a99e826434572722cec3bad4","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29913e097f80ef80a3e6a662def6fbce5d1faf3b","datavalue":{"value":{"amount":"+0.7551324367523193","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":"Q2403821$7C27CEB8-F95C-43F2-BEE5-0BA885482341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afd1d2aabe6ceb9b09a5b94edd86a2e786e8512f","datavalue":{"value":{"entity-type":"item","numeric-id":1331924,"id":"Q1331924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58950d607d0ecca4d9656be8b3cd7fa7e78268e6","datavalue":{"value":{"amount":"+0.7448777556419373","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":"Q2403821$20131865-D893-4C3C-B5E0-779C7617842A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8b769e5889b7203cfa43430fbcaad7e3dc2efb","datavalue":{"value":{"entity-type":"item","numeric-id":2852093,"id":"Q2852093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575538f2d273fcd605fe22167a769b1a09442de8","datavalue":{"value":{"amount":"+0.7336201667785645","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":"Q2403821$36E87271-75B8-4BDF-A2F7-4B0C69EDA997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42ece358a5a9473a876a73ea822872cc2cef640d","datavalue":{"value":{"entity-type":"item","numeric-id":3401088,"id":"Q3401088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56ecf1dd5edb45363163a10ad7107aed74bbfedb","datavalue":{"value":{"amount":"+0.7247528433799744","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":"Q2403821$3FD4B818-A86B-4EBD-9A02-CC037CE35461","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A unified rule format for bounded nondeterminism in SOS with terms as labels","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_unified_rule_format_for_bounded_nondeterminism_in_SOS_with_terms_as_labels"}}}}}