{"entities":{"Q5491167":{"pageid":7520727,"ns":120,"title":"Item:Q5491167","lastrevid":49939090,"modified":"2026-01-12T04:46:30Z","type":"item","id":"Q5491167","labels":{"en":{"language":"en","value":"Compositional semantics and refinement of Statecharts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061947"}},"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":"Q5491167$95D3908E-2829-4271-B748-BD2AB2D00314","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"253d3f186e0773a2f3fe58fc05c043c7b781bfdf","datavalue":{"value":"1104.68525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491167$CE558D97-C992-45B9-BC0C-592121E0577D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bda4e9a82882b86c59ace1eb65976e907877efc","datavalue":{"value":{"entity-type":"item","numeric-id":4483790,"id":"Q4483790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491167$BE8F3479-F123-4DDE-908C-DE593069D99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16d17d06ac30d8ba068abd7085f96236b1432eb5","datavalue":{"value":{"entity-type":"item","numeric-id":586731,"id":"Q586731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491167$BA1485D8-0C95-459C-B0E3-63F539388DCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17d5dc9e06bd48c78f65617b39b2f452c61f43e4","datavalue":{"value":{"time":"+2006-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5491167$6B455020-B668-4F34-8E73-DD2DC5971AE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491167$50D29BC2-5033-4E02-B4F7-2A2964D094E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"022c9ed081fc7d06029e96019269b0579549b323","datavalue":{"value":"5061947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491167$58CCBF47-E22E-4482-9480-2EC71DADCC9F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5491167$580D5008-3D03-4392-965A-B0C389CCA75E","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":"Q5491167$74573B28-2BA0-497D-8B34-BFE80C00A525","rank":"normal"}],"P1643":[{"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":"8a3ec02a63fb31f63f44c24302e7c3924c59fa1a","datavalue":{"value":{"amount":"+0.7858073115348816","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":"Q5491167$11B05F2F-01CA-403C-9CBD-8EC3D61BC70F","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":"b6ba1d461a7b5b57e9f752ef5718a8d283da39cc","datavalue":{"value":{"amount":"+0.7698004841804504","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":"Q5491167$47C73AAD-48B6-4FCD-9570-72ACF6626D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a17d7b0be4d79b5d918594390bae6816282f2c31","datavalue":{"value":{"entity-type":"item","numeric-id":2754141,"id":"Q2754141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18fa85a122dd0a59acded7eb3245736eaaa41568","datavalue":{"value":{"amount":"+0.7634205222129822","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":"Q5491167$1F5DD0AA-44C0-4ECC-AD40-C1F2F8ECAEE6","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":"6b44cc06a940490532890203bf3c1547de081111","datavalue":{"value":{"amount":"+0.7627108097076416","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":"Q5491167$9D85E500-CB66-4458-B5D1-BF566D9970E8","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":"e0e8c0e1bf39471c8bba3d25a3ceefb54b61f040","datavalue":{"value":{"amount":"+0.7574159502983093","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":"Q5491167$93CA91C6-EFEA-4F18-9710-A0E7814A6BF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5491167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5491167"}}}}}