{"entities":{"Q1578397":{"pageid":1589137,"ns":120,"title":"Item:Q1578397","lastrevid":72236265,"modified":"2026-04-14T03:32:05Z","type":"item","id":"Q1578397","labels":{"en":{"language":"en","value":"Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1496839"}},"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":"Q1578397$342AAC34-D141-460F-BDBB-5601A2593896","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c833f9f1886edaa07dc1d3c8380526194403e4a","datavalue":{"value":{"text":"Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1578397$D45716DA-B05B-4D74-BF8C-6DCB720B6458","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d3acab81a5d9dc70805514734c342ce50c91f08","datavalue":{"value":"0966.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578397$4DEE0846-83E3-4E5B-AD67-726579FD3E93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"992447f4f05b4fb37f79c072df9892acd6383aa4","datavalue":{"value":{"entity-type":"item","numeric-id":995463,"id":"Q995463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578397$B2028E6E-984F-4F4A-B8FE-AD478D0B1E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"366bac7ca69609c1193e693fe737e2f5bd5c012f","datavalue":{"value":{"entity-type":"item","numeric-id":995464,"id":"Q995464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578397$251BD503-8037-4F17-8005-923C5DC56BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32dc381fd422071be3266824655b7cf0738e9e6c","datavalue":{"value":{"entity-type":"item","numeric-id":510893,"id":"Q510893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578397$6580467F-6EA0-47FD-820B-988298F3FD50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578397$8C7A264D-38A8-4C7E-ADE3-9D77E2FAAE47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"229e2d23f76ddb02242aca0dcd4be23ab0b751e5","datavalue":{"value":{"time":"+2000-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1578397$BA727135-CEF3-4298-926B-DB8DB53DA1F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578397$E9354538-E8D3-4F01-93FA-1B37C504DD64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"718e99f35e42a6cfb57890624b4d9b05d590e0be","datavalue":{"value":"1496839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578397$77B80C44-710E-47BC-9061-28418786C633","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2f8ad3f40cf438b3ececc1ec0a4392d83cf5f0d","datavalue":{"value":"statechart diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578397$E6C4F574-01B6-413D-B409-B2B01D843E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63d1e01722cf0b91470a3dcb64c759e8bfc480a5","datavalue":{"value":"unified modelling language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578397$04D1265F-C7B2-4F4D-9D2C-22D15C36EC99","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578397$6E7EE74B-5922-4F8B-ADFA-29F3817078D3","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":"Q1578397$89CDFEA4-2E02-43A0-AA8D-03C5442C908E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca700ae03c3940d2f25b214fdd3db8197a56ffa1","datavalue":{"value":"https://doi.org/10.1007/s001659970003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1578397$211945CB-62DB-4138-8463-30ADDE11CB34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02dc70cbb65c797840108b25c480f20d83324103","datavalue":{"value":"W1977237988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578397$755D0386-A937-48F0-A01A-9392E9B7B9B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"200b16aab7a364aaae076f49ef6bae52bedabde6","datavalue":{"value":"10.1007/S001659970003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578397$94F17605-9B5F-4EB7-B752-BF7F9A0128A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a4b3338b3af97897f121003b028b1aee32b4d7","datavalue":{"value":{"entity-type":"item","numeric-id":4483796,"id":"Q4483796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"342350e2f66ad27df3e227ef526a11ac2163cf7a","datavalue":{"value":{"amount":"+0.8362364768981934","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":"Q1578397$FE5857C6-885B-49A4-8B26-31DD979B7B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b0a5426e86c17c482dbbd0aa569e1f06ddf86b","datavalue":{"value":{"entity-type":"item","numeric-id":1858428,"id":"Q1858428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57abe389c28535eb21b6e16cc659c250c850ae52","datavalue":{"value":{"amount":"+0.833315372467041","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":"Q1578397$56F65DF9-CE55-481D-8968-83F0EAC38E69","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":"e9710547b41afbd9decee4722cd27cecc5dbb167","datavalue":{"value":{"amount":"+0.8138315677642822","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":"Q1578397$2882A6DE-5F0C-49CD-8241-6C94B07C5707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b3736f6b16d01ad8a8f8a99ce9158e97c684fa","datavalue":{"value":{"entity-type":"item","numeric-id":4251114,"id":"Q4251114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d34e7b88c735352f88dddf0d47b36934e0b659f","datavalue":{"value":{"amount":"+0.8048718571662903","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":"Q1578397$76D3A96A-4E27-41A2-AD09-E38624C68DB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_verification_of_a_behavioural_subset_of_UML_statechart_diagrams_using_the_SPIN_model-checker"}}}}}