{"entities":{"Q2506261":{"pageid":2517004,"ns":120,"title":"Item:Q2506261","lastrevid":44223219,"modified":"2025-11-21T00:11:00Z","type":"item","id":"Q2506261","labels":{"en":{"language":"en","value":"A compositional behavioral modeling framework for embedded system design and conformance checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5058230"}},"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":"Q2506261$A10FCAC4-7F43-485D-8E37-D3A30FBC684F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ebfa1080d7039bd1bb26871459ce210a03a0c0f","datavalue":{"value":{"text":"A compositional behavioral modeling framework for embedded system design and conformance checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2506261$42CCF0BA-4258-4E6C-BEFB-B33C3E9DBE4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e1ba9065513693d8884694db4c0c1ab76c680c4","datavalue":{"value":"1100.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506261$0D0A3652-F8F8-42C5-AB61-7D5048DEDC03","rank":"normal"}],"P16":[{"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":"Q2506261$B9C0F978-6914-4749-A5E3-05A38BAB8D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9002b54f9ea3e71e9f975fbfebd4a7437809872b","datavalue":{"value":{"entity-type":"item","numeric-id":456401,"id":"Q456401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506261$0853C8C0-985D-4855-A6B4-50CEB9616669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55969d1c1711426473ebd199c3c528d38c8d87d0","datavalue":{"value":{"entity-type":"item","numeric-id":2506260,"id":"Q2506260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506261$81098001-6459-4C72-8FD6-D769B51A2145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ce3ea14cc355e1765b5a01f534b4225e0696528","datavalue":{"value":{"entity-type":"item","numeric-id":270565,"id":"Q270565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506261$1A95449D-E77B-4FC6-9C59-C8BB25659E6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a32831c4e3f60d79ea2f79afb884ef69e4c8191c","datavalue":{"value":{"entity-type":"item","numeric-id":199286,"id":"Q199286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506261$C6B101CC-3BD1-4026-AE74-412171FB51A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94743860e157c0fbf5b9e5527eaada210f8c037f","datavalue":{"value":{"time":"+2006-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2506261$4D94B6B3-F50B-42E4-B436-CABA182FB904","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506261$5A29C7AB-42C4-4237-B9EA-1737B799EE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506261$68F224C5-9E45-49BA-B670-CF8454283EB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12b542aeb8b9de60475ecf07fe345beafc450a7b","datavalue":{"value":"5058230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506261$C4A39EFA-27C9-4DF9-A558-2570758A5A15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1ac5f8719091a5f1bb16b71b4e397fc97cb2961","datavalue":{"value":"Embedded system design","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506261$0FA668B6-B2CC-492F-955F-F06FDBE2787A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506261$0EE1C9F9-CC97-4D1E-B860-339B8FA2A1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fe1e8f676040b787c7abd649c68d227da93e5c2","datavalue":{"value":"models of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506261$1FD496EA-AE73-4616-A56D-95B519309A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506261$DDF4D969-1512-453E-99FA-864FCB1BFA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506261$D23EADCB-79BF-45CE-967C-BF9C2DEDD80F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41af22c53310361878101464ae427cd0b0ef722e","datavalue":{"value":{"entity-type":"item","numeric-id":24231,"id":"Q24231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506261$33B54FE1-9834-4E53-80A6-FC4FF35C4A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506261$AD0F7B41-A86E-4E3C-A6CD-839A9B1C4A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506261$295281A8-7BA0-4C25-A92F-525B44E611A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506261$AF01A35D-339F-4D60-B82C-D0EB463076AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d56aaa8b61bd2eb58d79a5b19ae81a9cebd14366","datavalue":{"value":{"entity-type":"item","numeric-id":15452,"id":"Q15452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506261$A30ABB35-A35E-4674-AC5E-FB57FEB98DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506261$E30EA1A7-AA16-4B00-A14C-B3C106800DFB","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":"Q2506261$2824409C-6DB3-4951-B24D-9613C5EC263F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dfae16ba28ab5b20b6e98713991c3a71212464a","datavalue":{"value":"https://doi.org/10.1007/s10766-005-8907-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2506261$C62A9D15-0C54-4F6A-AE47-A7F9A6F2F67D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc71123024d5404f9f94f2c156ba8e01d209ba38","datavalue":{"value":"W2034422907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506261$3334BC27-B9F9-40BE-B055-20A73EB7482D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"65845a3d297e770ed303caba09dd90fb71cb50ea","datavalue":{"value":"Q57526663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506261$A79BA641-4F57-42AD-BA08-586116382FA5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"047d6385245b8065fbe025965ce53a2e2cd15ee2","datavalue":{"value":{"entity-type":"item","numeric-id":1183545,"id":"Q1183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506261$DB098ED7-8C63-495C-9D29-25E980A7C460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b36bc36cb169387b2b2d239cfe7268c195b5265","datavalue":{"value":{"entity-type":"item","numeric-id":4824482,"id":"Q4824482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506261$AD539FD9-2DFC-457E-B8AA-D93B677A133A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39af6379ee0a626aea80cdc557dd66f00d2eff83","datavalue":{"value":{"entity-type":"item","numeric-id":4439585,"id":"Q4439585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506261$326B8AB5-4F59-4F29-B77A-EFF7957A65FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc7d4e3f87e630d084013ea899c0a4edcb4aa11","datavalue":{"value":{"entity-type":"item","numeric-id":4437807,"id":"Q4437807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506261$61581970-50AC-47E9-8FBF-265961B1CE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1f55dcd9a4e7445a5e36dc2a9f92fb56df8dc9","datavalue":{"value":{"entity-type":"item","numeric-id":4778708,"id":"Q4778708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506261$6F692090-FD57-4099-902E-3CB60B4C6307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066a4dd642c777165b5519aededf1e744d2e70dd","datavalue":{"value":{"entity-type":"item","numeric-id":4791830,"id":"Q4791830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506261$6E517C07-0D2A-44F9-BC59-DB1CB0FCBD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96353fbb5403743d7eb17399bccd41bb42a9236","datavalue":{"value":{"entity-type":"item","numeric-id":5308422,"id":"Q5308422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506261$1E8E421E-87C0-4A72-91DF-E4B353B5E806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506261$94F46BBF-2491-437F-95E5-3BA33AFFCF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2f60f551f2414de9c53ee958f83542a8b6793d","datavalue":{"value":{"entity-type":"item","numeric-id":5466565,"id":"Q5466565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506261$C2762AC1-F5F4-4FA1-9BEC-49DC8CFE9552","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9efe57344087222dbc519d723389050c81f954b","datavalue":{"value":"10.1007/S10766-005-8907-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506261$5F47A444-2242-4617-97D1-4706861A09C0","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"a7ae0c0236b4d5f10ab02a3d2ff74a1a43a4a275","datavalue":{"value":"journals/ijpp/TalpinGSG05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506261$3A3389AF-88D7-40AE-9D49-0B1E5DEF9410","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0530bea71112c476c23c796e4d2638b586ea42fe","datavalue":{"value":{"entity-type":"item","numeric-id":1566919,"id":"Q1566919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc59475f8ae67612ee2715ee6786239534599677","datavalue":{"value":{"amount":"+0.87750643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2506261$4CF394B3-D67D-4E4C-866A-BEA11137383E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"086c1690d82047a205870680dca3d0ad18da1c18","datavalue":{"value":{"entity-type":"item","numeric-id":6535218,"id":"Q6535218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed344cc81cdddaadbea28c631421d77123e28587","datavalue":{"value":{"amount":"+0.8745117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2506261$775BAEEA-D17E-4199-8696-7E5DBD18D50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c4f105cae194a23b70d6039cfc54da41c307e2","datavalue":{"value":{"entity-type":"item","numeric-id":2982239,"id":"Q2982239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e7629f7db9b81eb671e3f353818954fa4fa721","datavalue":{"value":{"amount":"+0.87195575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2506261$C85392EA-78B1-421E-992B-8F91B80B0D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a9975d8b900b3f9f5df1f83a9a6194ca8792c2b","datavalue":{"value":{"entity-type":"item","numeric-id":3540064,"id":"Q3540064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"868f99fac70a9148963796c0bbff0f219553c205","datavalue":{"value":{"amount":"+0.86924714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2506261$0AA0E63F-FFBE-4928-8D5E-FB27F070781D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3faab3bee2bdd1c7bf616a300371e151e0654612","datavalue":{"value":{"entity-type":"item","numeric-id":1682291,"id":"Q1682291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec44167264b9225745227d52348b82921396087a","datavalue":{"value":{"amount":"+0.8680822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2506261$E0F62FB3-871C-433F-A1EE-24972397223F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b07ca00abca46622bd4e53e35b3b3ca0d746ad1","datavalue":{"value":{"entity-type":"item","numeric-id":5448780,"id":"Q5448780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2294c333503bd17bbe5a33293369677d11cd28d4","datavalue":{"value":{"amount":"+0.86532354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2506261$60797CC5-344E-43A2-AD62-EA029F4C6FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af847a187776bd4da2c0932513f18c2a0202c5b","datavalue":{"value":{"entity-type":"item","numeric-id":2892725,"id":"Q2892725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1dd4a848bbec67cd691c639da4ee4559d8dc3fc","datavalue":{"value":{"amount":"+0.863412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2506261$8DD62F5B-65E4-4D56-A55F-9C1C361E4414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c73379f5dc7b072fbe1b2bce95244060b72cab0","datavalue":{"value":{"entity-type":"item","numeric-id":3522934,"id":"Q3522934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3315678d86b496964d46f1b3f220b90abfe3c7c7","datavalue":{"value":{"amount":"+0.8625151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2506261$C035B6D2-F223-4A73-BD00-D9C7FC4B33E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2506261","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2506261"}}}}}