{"entities":{"Q1858428":{"pageid":1869170,"ns":120,"title":"Item:Q1858428","lastrevid":69129867,"modified":"2026-04-13T04:58:24Z","type":"item","id":"Q1858428","labels":{"en":{"language":"en","value":"Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1868264"}},"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":"Q1858428$A60898C3-FBF4-49B3-A0D2-02B5E4C0E8A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"921eb65f2cb0ab495db109e02fc9f0ee87915681","datavalue":{"value":{"text":"Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1858428$89331322-DE78-47A2-ACEC-1155EC53380C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc8a7a874a39d671ba3b50eba344b89b6a9babe7","datavalue":{"value":"1008.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858428$F59C02A7-B702-44F1-A4D2-5DD79D163392","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4892c6b8c02b27e0b55b9d96f266067211bad1af","datavalue":{"value":"10.1016/S1567-8326(01)00012-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858428$79A6681C-6144-464F-BE86-6105BE87761B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd2984005ce562423e705837ece60ae424b1f13","datavalue":{"value":{"entity-type":"item","numeric-id":246445,"id":"Q246445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858428$FA8ECAD2-E24F-4873-A6CB-A6692287BD89","rank":"normal"},{"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":"Q1858428$6C4DB43A-88AD-49B9-B9A1-1D4531531C99","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":"Q1858428$AF756618-0535-4EAD-AB79-7DA48E2A9F67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858428$55CDD12C-07CB-444F-A4A0-81F9029E8ECA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeee03ff93cd4d2bc8e8bd2001afc62b5646464f","datavalue":{"value":{"time":"+2003-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1858428$9498B91F-6C29-4983-886A-D2B594160FFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858428$E54EB75D-FD7B-457F-A7CF-CF6AF966CEFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86ac42c7ed95d214fa1cab6ef8edd0ccd89b3e30","datavalue":{"value":"1868264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1858428$8E4A9385-9FD4-4C9B-831F-F451AFD0937F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858428$BF571427-0E74-4FA9-9462-36E1D3F4920F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858428$132EFC3C-53F3-4C86-BFE5-66AFF26269F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858428$8B73F28E-77BB-4718-B10E-9F6F571881CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858428$6DD80D1D-9A6F-4859-8596-83A3A75814BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f75b3e5b1f5ce47be185e9116111a6151f0b94e2","datavalue":{"value":"UML","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858428$7D9C9505-FB14-47E1-A5C7-9DCAFB6F0067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2e441e92fec06decae6ca757195c3c99a8473ed","datavalue":{"value":"ACTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858428$45F5438A-305B-46E2-A602-EB810A61D62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3eb3ec63a528883efc8b9414900e17d89986e32","datavalue":{"value":"JACK","type":"string"},"datatype":"string"},"type":"statement","id":"Q1858428$8809C06A-0ACE-4DFE-BC14-2919C52793F3","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":"Q1858428$FFB66B26-6080-4497-8FD5-61CAABF2E290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858428$56784BFF-3D33-40B1-BB59-205299449B17","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":"Q1858428$38A03AF7-C144-4966-A936-B1F19F779FC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f3459305ac937293a3547b4e7b928bd3325bae","datavalue":{"value":{"entity-type":"item","numeric-id":4318992,"id":"Q4318992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858428$57D614E9-1BAB-48C2-B5D3-A9F83D3771F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4501e9a7ac9cd9b136e70f08c37dbb9024e4b36d","datavalue":{"value":{"entity-type":"item","numeric-id":4251109,"id":"Q4251109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858428$F2E7C9AD-0908-4AAB-AF79-C68019378126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b07eeec4a1bd343d449e6233e3f58cbea42083c","datavalue":{"value":{"entity-type":"item","numeric-id":4733398,"id":"Q4733398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858428$E7ABDBA5-2253-4FBD-B1F7-26605EC7D982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8fff6d2653f5e55d025371ea7a7334e5537a8c","datavalue":{"value":{"entity-type":"item","numeric-id":4697197,"id":"Q4697197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858428$A9EDB9A7-59FB-4869-ACF1-FD551D12D30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858428$2CBC5276-A6E8-4EDD-B99C-339BD8840FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9999f41194175939c9534bacf5a48b78837038e","datavalue":{"value":{"entity-type":"item","numeric-id":1326587,"id":"Q1326587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858428$6ACB383B-6259-4E84-8EA8-9F92C236C417","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":"Q1858428$E22B6330-C899-4441-9E14-AB4603F96394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f14593b713a33a73976f04d36c53f1d22d9026","datavalue":{"value":{"entity-type":"item","numeric-id":4251114,"id":"Q4251114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858428$B8018A19-A473-4009-A423-E4B7D1992DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed5d835a91e5f8b780c1597601ff74c03afb28a8","datavalue":{"value":{"entity-type":"item","numeric-id":1578397,"id":"Q1578397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858428$332B6551-7C55-4D85-9D46-A40B50BA0AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea12a9d5054eb283864eb6e1e0f33182f274918f","datavalue":{"value":{"entity-type":"item","numeric-id":4404415,"id":"Q4404415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858428$4D9CBBAF-2C03-4171-BD2E-C4F9304B1DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1913056ee4890f61e2ac414dcbdf1f99d9a1e82","datavalue":{"value":{"entity-type":"item","numeric-id":1374458,"id":"Q1374458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1858428$CA837587-3336-46C1-9609-7F1734A38085","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":"Q1858428$C5E7ADCD-9085-47FA-A161-A89EF26516B8","rank":"normal"}],"P1643":[{"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":"517c336f2e450c86a3a8f646fa540aa27e3273f2","datavalue":{"value":{"amount":"+0.8629376888275146","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":"Q1858428$4C7330E2-9FB5-44BD-AD25-0CD9F20A709C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68cc0e1dd25fde533ef5a36b3c5119a4a5a3075","datavalue":{"value":{"entity-type":"item","numeric-id":4438797,"id":"Q4438797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9587a64bfb78267480bd6c8f56bc6ac942fbd6e9","datavalue":{"value":{"amount":"+0.8346492052078247","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":"Q1858428$476090F1-8593-44B1-B6AF-BD89BA6D08F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1224ca09ab0dedf29a3ded0f65f366d1febc995","datavalue":{"value":{"entity-type":"item","numeric-id":1578397,"id":"Q1578397"},"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":"Q1858428$93A60C8D-DF71-4D13-A6C8-5A3D9874CB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f65fa881f324653632221acdc28efb6628307f53","datavalue":{"value":{"entity-type":"item","numeric-id":4435883,"id":"Q4435883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad8ba93e82f02ccc75cabe76b1f255d730bf3de0","datavalue":{"value":{"amount":"+0.8249083161354065","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":"Q1858428$5CAB94AE-0ED4-4314-90DF-8C85DEB50C5D","rank":"normal"},{"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":"8dddf1babec9cf5c2d7f19bcd0b695b5011a8789","datavalue":{"value":{"amount":"+0.8144919276237488","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":"Q1858428$256B0A0F-0EAE-4D8B-A963-264B3B8370AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modular_semantics_for_a_UML_statechart_diagrams_kernel_and_its_extension_to_multicharts_and_branching_time_model-checking"}}}}}