{"entities":{"Q1853596":{"pageid":1864338,"ns":120,"title":"Item:Q1853596","lastrevid":74352735,"modified":"2026-04-14T19:41:34Z","type":"item","id":"Q1853596","labels":{"en":{"language":"en","value":"A comparison of Statecharts step semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857120"}},"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":"Q1853596$AF31BB63-C801-4A45-9730-3610D93E26AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9241d0f62043f47661ab772ae42e5c4834f9c21b","datavalue":{"value":{"text":"A comparison of Statecharts step semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853596$A3860212-7770-42B0-98F3-498D2A779345","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bb51fffae0161c6adf1ffa92a073d73dca39aa0","datavalue":{"value":"1018.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853596$BCFACE69-E3ED-45B6-B3B8-F4FF59F5CEB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83e4369a3cc2b6c4621d05bd0a63ce29ec29b624","datavalue":{"value":"10.1016/S0304-3975(01)00381-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853596$25AD3953-E0D0-43BE-838F-43CF1E9EA30F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f22f66a56e43cd19f60d6d99d6fee093715ec0","datavalue":{"value":{"entity-type":"item","numeric-id":264998,"id":"Q264998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853596$18D50B72-34E1-4E91-8D16-9CAD0772C275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd4b76f0953196f6fe39bfffcac9dd860fc56e60","datavalue":{"value":{"entity-type":"item","numeric-id":236458,"id":"Q236458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853596$C2B8C0BC-2815-4A04-90D4-7A3E097EF891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"986210a7788bf135576802eb9fb5ade52a93410d","datavalue":{"value":{"entity-type":"item","numeric-id":256972,"id":"Q256972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853596$2EDF3BC1-3391-430A-BF96-C703A5CAD97F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853596$BDB545F8-0CB0-4056-9069-890FA188723E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853596$1B81F2AE-D469-4401-9376-2FFC8976191D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853596$0E1F4042-9EC3-4DC2-8973-AA261E1D38EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc1e69dc08c0c0b014657fea886ee1b51369fcd0","datavalue":{"value":"1857120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853596$752B12A4-2BC3-451B-859D-8A165970F845","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84ee2ee1f99900c06084df1cd10d6861052e75b6","datavalue":{"value":"statecharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853596$A49566D2-C5FD-4606-B8DC-973E6B5E1CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3efeeb5c0c4fb840b585795ad3fb3f82d5196daa","datavalue":{"value":"preorders and equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853596$A9F896CE-F4A4-43D6-B7C2-F5A354225463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853596$2F7A1464-5ED4-4282-B73F-433FDE0E7A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a70f2b66d80319d5c576190c5bbba86ed8f1068","datavalue":{"value":"rule formats","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853596$3331D067-5D64-47C8-A948-FD211C429A30","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853596$1858CCF1-4201-41C1-9E55-3856D6D7CD7E","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":"Q1853596$745E73C1-DC2A-4EF8-AA61-31560B42FECC","rank":"normal"}],"P223":[{"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":"Q1853596$349489A9-6EB9-4EE9-B0FF-CE8DFD40DF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853596$4FE7C673-276B-4249-85CB-C13138DCCDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e66c63c51508778ce501709c80be252e81c998","datavalue":{"value":{"entity-type":"item","numeric-id":5277691,"id":"Q5277691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853596$011115F4-249D-46FD-A0FD-C06786EDB741","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":"Q1853596$74CE7015-E09F-4DE2-8668-59558DE1E895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2404ae1b749d5d39e85ae495f2d6b6dfa333160e","datavalue":{"value":{"entity-type":"item","numeric-id":4818861,"id":"Q4818861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853596$FA3AAFB4-3BA9-4648-8905-B1FA2F5C23E8","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":"Q1853596$070785F7-625B-497D-969C-033F03FDA029","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":"Q1853596$3F9B46EB-8AD0-425E-ACC3-FE15EF891513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d844e9b0bbca57d84dcca816adb08449eb3aee72","datavalue":{"value":{"entity-type":"item","numeric-id":1194330,"id":"Q1194330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853596$A4CA6E12-191F-4C1B-B794-E6412FE36BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b407c1db27f4fbab214a00dacb554c06694941d","datavalue":{"value":{"entity-type":"item","numeric-id":3792222,"id":"Q3792222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853596$BFE86C55-7EB2-45AF-85FC-B08DA98A905C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe3c0282ca08e17e502d48783c1032c53cc1aff","datavalue":{"value":{"entity-type":"item","numeric-id":6162113,"id":"Q6162113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853596$53962C2E-11C9-4B5D-840F-CA09294A7A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28ecabde8f5d0b90df596cdd1697be80853d9f1","datavalue":{"value":{"entity-type":"item","numeric-id":5096220,"id":"Q5096220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853596$41AEB52B-D07B-4B35-A5FF-7B29030E0351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853596$7684D70B-2FB1-45C5-9F0B-C713B564873E","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":"Q1853596$B19C24AC-70D4-422A-9DCB-D9978034DCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a0cdcfdba2cb7be20b3ff60a87448ba5f273bd","datavalue":{"value":{"entity-type":"item","numeric-id":4847024,"id":"Q4847024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853596$2DBEB416-F443-4578-8B26-F62D6B5955AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"682e500e673df3c9c7bcce7a659562a38b1b435e","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00381-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1853596$B8FD9450-8B8E-43F4-B8B0-4ED53E2004B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd3911d229038edf66408084c5e080c394d7f15f","datavalue":{"value":"W1987349236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853596$851E5363-E7D8-4794-AC06-0015213DE68E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8eba9189962a7072e93927ee9348be2ec8ab1dc","datavalue":{"value":{"entity-type":"item","numeric-id":5096220,"id":"Q5096220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abb4118fca2b9a2cde63e90b7398a67d2694d56f","datavalue":{"value":{"amount":"+0.930508","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1853596$A0DE1E3B-31FE-486C-A83B-3E158A387BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7222831c4571623d446b4714075acdbe28a730d9","datavalue":{"value":{"entity-type":"item","numeric-id":4520893,"id":"Q4520893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d004eb21d155fb488c0a626174e806ab7e1559aa","datavalue":{"value":{"amount":"+0.8825476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1853596$F5BF13DF-72AD-4198-B71A-3BCC30E45DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ce822f7dc4368e0fe4aa905959aa6c46eb3e14","datavalue":{"value":{"entity-type":"item","numeric-id":1001804,"id":"Q1001804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37bd433c294ed462f2e8c7289fc35db2f560b876","datavalue":{"value":{"amount":"+0.8819996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1853596$903B8A51-8567-465E-B53E-4A7D77894763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c8fde27ae1007726445209193035d36ca8cfff4","datavalue":{"value":{"entity-type":"item","numeric-id":5738950,"id":"Q5738950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ea4c10c4d8be754569a12c145a654c5105ae15f","datavalue":{"value":{"amount":"+0.8756552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1853596$E52CA7FA-7366-4E61-863A-F72D93C0A836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e5f7dbe6b75ef2ce70c60dce794a5f4775dc387","datavalue":{"value":{"entity-type":"item","numeric-id":5491167,"id":"Q5491167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa51f2fde0de9b2501a0d060cf0d5c56c0a5eb32","datavalue":{"value":{"amount":"+0.8730047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1853596$BEC337DB-7D92-43E8-A996-A20815816B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e7604d5ed2e3e63634294b4579d39e49f34869","datavalue":{"value":{"entity-type":"item","numeric-id":750133,"id":"Q750133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc79fd7370fc483de5415e94ed67f68f8923c32a","datavalue":{"value":{"amount":"+0.8723954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1853596$D2021686-63FE-4EC4-AE30-7507369AFAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73763ed91538edae85e64a6439fd5fb7237f667b","datavalue":{"value":{"entity-type":"item","numeric-id":4028132,"id":"Q4028132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b48360695fe33342ee94a869ea11f0111f1ebd4","datavalue":{"value":{"amount":"+0.8600019","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1853596$4D19C982-44AC-4D0C-83FA-A7509C571E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14769bb0b35d33367daf96f9521194d625b8bb12","datavalue":{"value":{"entity-type":"item","numeric-id":1194330,"id":"Q1194330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5a7fb6c0d5af276940c370e5940016c5f73dcb","datavalue":{"value":{"amount":"+0.8573912","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1853596$B14F4773-7B5B-4723-8307-9B7DED4D8C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db5740846d634b9eb9a484ca21375a0eb2c69cc3","datavalue":{"value":{"entity-type":"item","numeric-id":6162113,"id":"Q6162113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a07cc892cce0e235d0304cee45bf5cdfb74ae7","datavalue":{"value":{"amount":"+0.85289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1853596$B69E821D-A76C-4C99-BB30-500358F9FC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb1f09238f0b82638812b323872d1a136cf2334b","datavalue":{"value":{"entity-type":"item","numeric-id":4645270,"id":"Q4645270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be6bbc69a88056fd0247a1743c334d2c85f4324c","datavalue":{"value":{"amount":"+0.8513651","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1853596$9607488C-EB3A-4E70-A15E-38BD563CC312","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A comparison of Statecharts step semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_comparison_of_Statecharts_step_semantics"}}}}}