{"entities":{"Q736828":{"pageid":738677,"ns":120,"title":"Item:Q736828","lastrevid":63956025,"modified":"2026-04-11T16:40:28Z","type":"item","id":"Q736828","labels":{"en":{"language":"en","value":"A formal semantics of extended hierarchical state transition matrices using CSP\\#"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6609471"}},"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":"Q736828$F2230765-84DA-426E-98E8-D038D8FD9D08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a67fe3b7f0bd908e452c54008c373aba6e285bf","datavalue":{"value":{"text":"A formal semantics of extended hierarchical state transition matrices using CSP\\#","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q736828$57E1804C-1395-4320-87AA-67840D273406","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1103198d31d545fdaf1d7b7a0b392cc221f308b2","datavalue":{"value":"1342.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736828$C0FF9508-A24F-4DC4-A596-9D05B3CE95C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b293349db5b1a008c9f278c97d504e3ea82fdb1","datavalue":{"value":{"entity-type":"item","numeric-id":736822,"id":"Q736822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736828$A5E29E8F-3C6A-4922-B400-59EDFB230240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5244f359ed49a2c8671c2a7901ac94780f4c3da5","datavalue":{"value":{"entity-type":"item","numeric-id":736823,"id":"Q736823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736828$5BD5ECF9-D3DC-4D13-9238-D61D8631F8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"805d77a6e48ef393f985d30313d5c11a91a33041","datavalue":{"value":{"entity-type":"item","numeric-id":736824,"id":"Q736824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736828$9B60755F-9979-464A-AC16-E025819EAD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63516aad80f372a85237726c3833aca896eed021","datavalue":{"value":{"entity-type":"item","numeric-id":736825,"id":"Q736825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736828$EE50936A-212F-4364-937C-E56F0A5770EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67d02725bc9041065bd07fac024cde6b82c3e648","datavalue":{"value":{"entity-type":"item","numeric-id":736826,"id":"Q736826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736828$1E33B93C-7F34-468C-8867-58A298CC1C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80810c8f414e84b7ac94a0cdc15fe5e97ce8c65c","datavalue":{"value":{"entity-type":"item","numeric-id":736827,"id":"Q736827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736828$10CC12BF-8D37-4023-A12B-01351AF62BDE","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":"Q736828$45174674-D9D2-41C8-B292-C0F6117FBCB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19f8be58b1829936b94d36e09e6fb6fb923fb3ba","datavalue":{"value":{"time":"+2016-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q736828$ECB1ED6C-C513-4CB1-B316-6130517E2EDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736828$BEF436AC-21FD-46D5-8CF0-AE6DB9F35ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736828$48F5AED3-9E9C-4F2D-BB73-6A5B86F182A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9ffd341d76954fe5d5519c90f575bdc2fb94ba0","datavalue":{"value":"6609471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736828$8845021B-4ACF-49B2-8A49-3C407DE1C304","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109f941d813b7e5b1bae81cbc8d10fe2c508a5fe","datavalue":{"value":"embedded systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q736828$7AE0682B-553A-4890-A4EA-DDEE61307169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1246356ec59dd4d82b3cb6751f64598c28183ce","datavalue":{"value":"software modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q736828$4DAF3E55-D62E-4065-9CF3-1EFBF60856CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q736828$A7819553-ED1B-4552-8A1A-09D75E5E20E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q736828$B8DA7027-9C2B-4D6E-A2F5-D930D987B57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q736828$E6779C36-C2AB-4C7C-96F7-BA35AE0F4A38","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736828$EDEA4FA7-282E-46E3-ACBC-457EF6055D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736828$54ECD30E-1D56-4744-B74C-C0434BED1E50","rank":"normal"},{"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":"Q736828$81F98252-3C42-4C30-8EA8-CD226D483704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bde88779cb6e7d8c59bbc11141f6f12a921e132b","datavalue":{"value":{"entity-type":"item","numeric-id":25173,"id":"Q25173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736828$2EF22F03-E8B6-4169-9198-AF2CBD7D6318","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":"Q736828$33FBE315-7D33-4B8F-A7F8-D623CAA8974A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fcafe8c7e48e9e4dd2e229c96c9b2a0beb12fca","datavalue":{"value":"https://doi.org/10.1007/s00165-013-0282-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q736828$AADD197F-653B-4BDD-979A-4944F1703BCD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc1c32209e750fce4a69494c4e654916e5e6afa4","datavalue":{"value":"W1966415308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736828$3E805A54-103A-4B0A-A6B4-5CAF9EF4DA26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736828$43963143-AFA0-48D0-A490-DD8D2BE04224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736828$133D700F-CEB9-4980-9AFA-7F640DF10EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736828$FD927B8E-F57E-473F-92A2-C6BF8DA46C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f7a616de3ce8cf30f70c873b97317283a17c2d","datavalue":{"value":{"entity-type":"item","numeric-id":4737557,"id":"Q4737557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q736828$4A4319E5-66FC-4192-97E6-E646293FFEF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a18902299e68382e7a93f42cb9a7c049ddbbd69","datavalue":{"value":"10.1007/S00165-013-0282-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q736828$B477E72B-C076-42F2-A627-667F554479E3","rank":"normal"}],"P1643":[{"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":"87cf479c8c87224bfcabaaf26690d0fc276351dc","datavalue":{"value":{"amount":"+0.7611218690872192","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":"Q736828$8D98E6E2-D45E-4680-B163-986E7EB58762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"256bf163c961d957eb0441be28d845ab3ff01626","datavalue":{"value":{"entity-type":"item","numeric-id":4225170,"id":"Q4225170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87cf479c8c87224bfcabaaf26690d0fc276351dc","datavalue":{"value":{"amount":"+0.7611218690872192","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":"Q736828$0688FCED-28A1-405E-AE2A-01F17611D965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"351591f5f6503f4c4917224f41ed1b263bf455fb","datavalue":{"value":{"entity-type":"item","numeric-id":2938170,"id":"Q2938170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d375c85e28abbfe4fe1588522e84908718bd4b41","datavalue":{"value":{"amount":"+0.7064805626869202","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":"Q736828$C946C951-31B6-41E5-A6AE-5BA121D20B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea846f2306c8e8a22076be3dbcd4f3c1a3bddded","datavalue":{"value":{"entity-type":"item","numeric-id":2637308,"id":"Q2637308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3daa34eb42857377ae0e5794badd0b65308d850","datavalue":{"value":{"amount":"+0.7035902738571167","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":"Q736828$5200233C-4C4E-4235-AA97-A1F121609E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7b9ce7ed8f12eb979fc1cac09b953073036003c","datavalue":{"value":{"entity-type":"item","numeric-id":3605464,"id":"Q3605464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed225e98abb8f01bb139ae92bd331a7167f76682","datavalue":{"value":{"amount":"+0.7005794644355774","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":"Q736828$B7A10FCE-24AC-419A-ACAF-14A69E57FB3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal semantics of extended hierarchical state transition matrices using CSP\\","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_semantics_of_extended_hierarchical_state_transition_matrices_using_CSP%5C"}}}}}