{"entities":{"Q2096416":{"pageid":2107159,"ns":120,"title":"Item:Q2096416","lastrevid":55424191,"modified":"2026-02-17T16:07:53Z","type":"item","id":"Q2096416","labels":{"en":{"language":"en","value":"A denotational semantics of simulink with higher-order UTP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7618116"}},"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":"Q2096416$616B829C-BAF3-4745-BA99-E2C6AFA99E4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3cd2354683a1dace4cae56282f8542d57e146fe","datavalue":{"value":{"text":"A denotational semantics of simulink with higher-order UTP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2096416$CF65C47B-89F8-451A-B468-AFD02233D608","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af0eebf3ce0aeff3e7f14d4c30f7e124d757432e","datavalue":{"value":{"entity-type":"item","numeric-id":293965,"id":"Q293965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$A2B4F4F6-8CDE-4D52-8785-DF44F067EA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d47a0b532fadc119a2da0b4f59e3906ea7d12d94","datavalue":{"value":{"entity-type":"item","numeric-id":258840,"id":"Q258840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$340D84DA-FE16-482D-B1BA-FD1210AABEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a64711ea0b0a0b7b509db8ec371b32642d9b13a","datavalue":{"value":{"entity-type":"item","numeric-id":456397,"id":"Q456397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$B8E7C372-FA85-40DF-8319-83361F5E7C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c53576066bc56448814a25dcf6f6d8a1a93fe1ff","datavalue":{"value":{"entity-type":"item","numeric-id":208297,"id":"Q208297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$EB657456-836F-4F64-9B07-24C591D80E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6dde18f260590a0af478668dc06a118a846e54","datavalue":{"value":{"entity-type":"item","numeric-id":591944,"id":"Q591944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$06A56E7F-0924-443C-8BB8-5282D3BE44CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$5B23876F-EE81-4FD0-A02F-7D1F7FC327A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2333e6affd76dfa00af750b8fa426f69b92ca507","datavalue":{"value":{"time":"+2022-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2096416$B1FA5AA2-E3C6-4253-B01B-CF4B76A26107","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096416$FCB880BB-B612-4730-9CD3-01E8C7823E74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d0d50aac6cf041e7fd055fbd69cffd2c1fcd126","datavalue":{"value":"7618116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096416$0FD0FCA3-77C3-453D-8DEC-87DF845E123E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65b3b4f96b9e4a9d2b79207860425eda4dc4dbc4","datavalue":{"value":"model-based design","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096416$51E7D174-47EE-49D6-98E5-4D4CE2B8B2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653148492e5cb9c0affad402eab1136a7618becd","datavalue":{"value":"cyber-physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096416$7A6AEA14-0E1F-4DD0-B7D8-039B37553FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ad69447c8d47182b405ef252d7ffe7ec15076cd","datavalue":{"value":"unifying theory of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096416$82FB40EA-4A04-4B52-8A9A-FB1BA8342A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096416$5A73A6DE-5110-4875-B3AA-08A83ABF201E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23570fa2b2d606a93c87ddf825aaf5fd1295ea99","datavalue":{"value":"mathworks simulink","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096416$D6E9786A-62CF-4974-92AF-FD31F51E2DF8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02d32efa4caa2abb72a4e6348351cc4a9bcbccbb","datavalue":{"value":{"entity-type":"item","numeric-id":16527,"id":"Q16527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$6A944604-D593-4E5C-BB37-C04D75084FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c3bcf7f900a698f824d0d7ea71c02c414a8574b0","datavalue":{"value":{"entity-type":"item","numeric-id":31988,"id":"Q31988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$33B83C0C-30D5-4C1B-A155-F2A4BA426777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d06e651b0b14f8e4e4de5e4ed42a2d55a39ed60a","datavalue":{"value":{"entity-type":"item","numeric-id":31982,"id":"Q31982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$DBE20962-54BB-432E-82B6-E85D52C6CEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$1573C18C-6F23-4082-8C69-60521D1374C2","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":"Q2096416$685A80E7-3E55-4690-8D2B-908C6E95A0E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d069ae357b2bf98f3afc49c9d34d57a35cc21819","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2022.100809","type":"string"},"datatype":"url"},"type":"statement","id":"Q2096416$52589901-FAD3-4DCD-84AE-76ADEAA1BB9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab9693b0a1ec3df656bf5bac5c3bcd6d68ad29cd","datavalue":{"value":"W4294204626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096416$47239404-DF51-4A90-AA2D-417B76A42887","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"59e702684ca9b26f0cb3bfb0b855c01b93e3ee1c","datavalue":{"value":"Q114159184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096416$C572E739-1E26-4863-9C96-8BB74128CD42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c0599ec56b22190a90c7d87db112ea16f7d1e17","datavalue":{"value":{"entity-type":"item","numeric-id":2847845,"id":"Q2847845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$3478C0CB-3EB5-4CEC-9376-1319B5FD653E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d930f05b27f285bff84c73bafabea50e4714edd","datavalue":{"value":{"entity-type":"item","numeric-id":439952,"id":"Q439952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$19FD073C-A7C9-4FFF-AD09-95EBCCC7234B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f231e40d38d4b946421460140c5f4d76420c611","datavalue":{"value":{"entity-type":"item","numeric-id":2986915,"id":"Q2986915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$ED5BC191-9049-4C12-AF00-E08DE4B1F3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65cf27cb319b50deacb73df4d115e078e49367","datavalue":{"value":{"entity-type":"item","numeric-id":2007732,"id":"Q2007732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$00E14441-6A67-4BA0-928E-55E3E5C0AF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29525dd63452ec8338e42e92d6a9b58d5844b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5703930,"id":"Q5703930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$2E0718E5-659D-4BF6-8576-1F2A33A95432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c347c60e13d160aa53a2f40cfef7b79c62c55cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$41EBA6C6-C470-4171-AEDE-BA1EF4649423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95090307287405455bb51b88e04e1865c8d3d237","datavalue":{"value":{"entity-type":"item","numeric-id":2287118,"id":"Q2287118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$8D01D09E-D665-4C2E-87B2-29799C7CB271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$ADF938DB-16F3-4A11-B623-A457430799E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e5d9256897379a78c2f06ac2b595f7ec737aa2e","datavalue":{"value":{"entity-type":"item","numeric-id":2072065,"id":"Q2072065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$FEBA8337-8E95-4872-B468-57D1288F3120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f9705406ba6f3a6cf05efe20f63cedabd5fa17","datavalue":{"value":{"entity-type":"item","numeric-id":5861786,"id":"Q5861786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$D1798BF6-04EE-411B-AD8B-AA475F5C0B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b462f9efdc73cb182123e1a57698287d93289144","datavalue":{"value":{"entity-type":"item","numeric-id":4600381,"id":"Q4600381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$3A3AA327-8A15-4631-B491-AEBF38934A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3305c6f2f554cac3fbccd1e79cc5f7cc6fb46c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3460585,"id":"Q3460585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096416$A0A45D44-800A-4A35-B742-C67EEE082634","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1c7dbf02f4299dd805b4b3744944dce88b5ec48","datavalue":{"value":"10.1016/J.JLAMP.2022.100809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096416$9BE7B977-D490-47A7-A69A-3D5F5308C2CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"463181c6050cdb7dd5b378d711deb049e3d03ee2","datavalue":{"value":{"entity-type":"item","numeric-id":6168983,"id":"Q6168983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b415ad8b2486ab4c46be380cd703cc2a746cc5c5","datavalue":{"value":{"amount":"+0.7817156910896301","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":"Q2096416$A10B6B8B-0742-49EA-BF34-3C57737AC05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1533a2872c2af784b963ee4ff0eb59acef768326","datavalue":{"value":{"entity-type":"item","numeric-id":2971175,"id":"Q2971175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da1cbe558035d86516b8c57993f08fb49eb94d19","datavalue":{"value":{"amount":"+0.7766621112823486","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":"Q2096416$758E9932-1BEF-4DAE-8C11-39BC31FC6C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24dd03d556eb94ff4f55c998c8bd0c3e5a1a2cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5861786,"id":"Q5861786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b410cb21a287e3c19c0fba4c95d2487d2c24bebc","datavalue":{"value":{"amount":"+0.7656814455986023","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":"Q2096416$39FA4BD2-0D6D-4B8B-B1D3-F057C65B6516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e859911f4f015f6d400a31050482917aef84d14","datavalue":{"value":{"entity-type":"item","numeric-id":3460585,"id":"Q3460585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fd9559964dd224ecd0abe4bb57214a0ac44ccf2","datavalue":{"value":{"amount":"+0.7368512153625488","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":"Q2096416$EE153FD3-A52D-4C28-B1B5-261D9BBD3B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4941665f44be54c93e6efcc5e5f6593d9497a955","datavalue":{"value":{"entity-type":"item","numeric-id":2842628,"id":"Q2842628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea514cd0761c30494c922416525c8540faa1aba","datavalue":{"value":{"amount":"+0.7341349124908447","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":"Q2096416$DD0D4599-9329-4E8F-8AB7-167F34336537","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2096416","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2096416"}}}}}