{"entities":{"Q2637308":{"pageid":2648051,"ns":120,"title":"Item:Q2637308","lastrevid":51923456,"modified":"2026-01-20T13:26:48Z","type":"item","id":"Q2637308","labels":{"en":{"language":"en","value":"Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6256731"}},"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":"Q2637308$D49EDCF0-216E-456E-8651-99F35CFB3EBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28dcbcf4551c3eba7838b54eb1248f8868017473","datavalue":{"value":{"text":"Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2637308$8C63CCCF-765A-48AB-BF1E-5784432F747E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9eacc705c16601192289afd4bd0a015fee8fd9e6","datavalue":{"value":"1280.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637308$B56112F1-A9F0-429D-B0A1-7FB4DC9A6D12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af059aefe9f939bb782ddabfd325b1fec8e854a4","datavalue":{"value":{"entity-type":"item","numeric-id":249170,"id":"Q249170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637308$68C80D1C-6768-4A5A-8244-41BAE3459A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bb47a44df48bf82ac121b8bdfa01d7a1b0c7d9a","datavalue":{"value":{"entity-type":"item","numeric-id":2637307,"id":"Q2637307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637308$D4F1771B-71A9-4366-BAB9-EA0FC8B15AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"461bf1f4461967ef415175b84a0cc2e94943940b","datavalue":{"value":{"entity-type":"item","numeric-id":262135,"id":"Q262135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637308$1314E3A4-E8E0-46AA-8D2E-3FF070A2047D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637308$B67114E5-4C2D-4925-A218-8847F789DDDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5358adfc8d76e07392e1442ff748721538588ad4","datavalue":{"value":{"time":"+2014-02-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":"Q2637308$7F958D9F-2797-4CEE-93F8-2F23C28CBC14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f501f15971b5e937000194854364f986aa03e31f","datavalue":{"value":"https://www.openaccessrepository.it/record/22974","type":"string"},"datatype":"url"},"type":"statement","id":"Q2637308$1CAF629D-8178-40DA-A6F0-C27812F0A8EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637308$789FDE9A-5BC8-48A6-B289-587DF01BDD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637308$C1D07747-561A-4B69-97C4-A463EA30D5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637308$18A98D23-0D22-4CE9-8719-C008353D9517","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"051a2cbfdd21130fab1de19dc8f0cd1641476bcf","datavalue":{"value":"6256731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637308$4F3A298C-24EF-4E8B-AE6A-38A064723817","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637308$8345B07E-CC98-4F3A-B3D3-7EF310B08B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad4d9f1a06b39a4a50926a98e17aa4ea89908ac","datavalue":{"value":"state machine diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637308$AD15335F-CBBE-4890-A2E0-C506EBDFDE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637308$E5598CF7-8921-4871-8DCF-FADB1F9DC6C4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3a1572f0a44ee197002995941ef26c7ad2c25d8e","datavalue":{"value":{"entity-type":"item","numeric-id":33626,"id":"Q33626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637308$ABD61EF4-7EE5-4B94-8582-710240D2428C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"746d9e55d4e8a97c2b07f745dc060ac8f481dfb0","datavalue":{"value":{"entity-type":"item","numeric-id":15812,"id":"Q15812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637308$56296C6A-EEE7-4C95-92D0-042438B8D4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637308$AA73F486-70D8-43AC-B6E5-735C1EB50093","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":"Q2637308$EE332895-93BE-4B5C-909C-D6123E6B376B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1c52bc3349aefecab975c8291b318c8af1710f5","datavalue":{"value":"W2073173980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637308$431E68AC-52B8-45A5-9F5A-0B6FBEE55D98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2a281ae079da887794bde18b217424803a1078","datavalue":{"value":{"entity-type":"item","numeric-id":2761718,"id":"Q2761718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637308$BA184823-29FD-4B40-B061-B226BD28219B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dec9ce53022b87fe422f2cceaccbba423dcfe981","datavalue":{"value":{"entity-type":"item","numeric-id":4738327,"id":"Q4738327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637308$9A307A5C-AE86-4D59-AFF8-ECEDB96477B8","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":"Q2637308$C40E6ABB-82ED-4A53-ACDE-0A9C6806DE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637308$E6266A2D-4DED-4399-A699-A8E17C551F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774ef1456680181a495ccddbb48627134ba228b","datavalue":{"value":{"entity-type":"item","numeric-id":4671274,"id":"Q4671274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637308$64961B86-7946-4E38-9ABA-0C2EF7FD53A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637308$A78DA186-CC1D-4A42-875B-4903021B57A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637308$D9F95A15-5131-4319-8EBD-9CA070CDF2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a093c99c2bb62da186df4ca25d8632e059bf8c","datavalue":{"value":{"entity-type":"item","numeric-id":3541012,"id":"Q3541012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637308$9A7DC82D-304B-4870-A0ED-37788B35BCF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"725e7d74f69fad4a5fb3e0b8d2dd1fb94d88e29c","datavalue":{"value":"10.1007/S11390-013-1322-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637308$559A59DD-1A16-4745-A826-DD5E2DBDFBE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb23b52cda45d1bbdf7595c9abd3faa83eaddbfe","datavalue":{"value":{"entity-type":"item","numeric-id":5479147,"id":"Q5479147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41b5666d2632eb76ac27123811c89141d0304c2d","datavalue":{"value":{"amount":"+0.8330906629562378","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":"Q2637308$8EDB43EC-5F07-4BF2-83A6-D34E1C8A2B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaab82ee6c3f666d4e5595309d932324ee914989","datavalue":{"value":{"entity-type":"item","numeric-id":4738327,"id":"Q4738327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0085bddd0c9a75eb76fda80bc6a08e402bbb6c08","datavalue":{"value":{"amount":"+0.8167784810066223","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":"Q2637308$E957DFD7-635E-4554-B3FD-BAE0EF380E68","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":"857c2c9c113ae6ca4258ad4e5abcc273be4fe5cb","datavalue":{"value":{"amount":"+0.8163197636604309","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":"Q2637308$76D39A66-305A-4046-9A8C-11654BF1BFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86322dad3cbbbc987552dce9f2ef22ef7983f510","datavalue":{"value":{"entity-type":"item","numeric-id":5897124,"id":"Q5897124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4604a13ad4aa9147c35cf02e336b1ddc5ea0bc5f","datavalue":{"value":{"amount":"+0.8138554692268372","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":"Q2637308$EBE658CA-AE36-413F-80A7-B8B23D26070D","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":"20825bdcba070d79ee60bc581848e007e8f0f6cf","datavalue":{"value":{"amount":"+0.8087145686149597","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":"Q2637308$476229E9-035A-464D-AC82-378DFE7B8E1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2637308","badges":[]}}}}}