{"entities":{"Q2870190":{"pageid":2880910,"ns":120,"title":"Item:Q2870190","lastrevid":83598746,"modified":"2026-05-07T09:16:31Z","type":"item","id":"Q2870190","labels":{"en":{"language":"en","value":"Model-based engineering of embedded systems using the hybrid process algebra Chi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247485"}},"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":"Q2870190$91DBAD15-B8CE-4C19-91E2-147AE7FFE77F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c8181f8b1e8459821d1f58271c6a61af2224544","datavalue":{"value":"1279.68245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870190$C66CABAC-DC9B-43DE-8602-09F837B6ABFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15fc6bcfdff7bf72680c4056a0ce6a3d953c9d36","datavalue":{"value":{"entity-type":"item","numeric-id":1925135,"id":"Q1925135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$67CDC721-23ED-4A09-AA73-6392E1D21E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7c0b8eda5df87fed1e881da856836b7c0f8feed","datavalue":{"value":{"entity-type":"item","numeric-id":351742,"id":"Q351742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$8F6B5481-9DC7-4268-A24D-6F2DB9D325B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1977f5ab92e2c84a76cab325b1c9fe6da186540d","datavalue":{"value":{"entity-type":"item","numeric-id":2368697,"id":"Q2368697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$8686DF4E-73CD-416B-ABFD-47D067C4F6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d643380ca9b471d820f70146bea77c3ea4e5d7e9","datavalue":{"value":{"entity-type":"item","numeric-id":2870189,"id":"Q2870189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$3994B66F-46FB-4162-B9D4-B9565492F7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20fc068db4ead04187daa6b8252b30a410683b6","datavalue":{"value":{"entity-type":"item","numeric-id":393088,"id":"Q393088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$5273ED5B-0AFD-4436-B04A-2AE3FA3EEC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80cc8ccbeb9bba0c322281814418b19111b673cd","datavalue":{"value":{"entity-type":"item","numeric-id":777054,"id":"Q777054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$B3194E60-5572-43D5-86B4-59F3E180D8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"245cb7082c223752c880c91a9a6b04a10554bd9a","datavalue":{"value":{"entity-type":"item","numeric-id":835034,"id":"Q835034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$251E3682-B2F9-4E6F-BA15-B75868485B3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$25B4A75E-A87D-4C66-8849-D05EB9AC27A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870190$038B7515-1BE1-41C2-83CF-8AEB0D90EB6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870190$352A31D3-B5E4-4C9A-AAFF-22176EE08D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870190$534C0115-82FD-48DE-8167-DE2B590D05AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb97c486e0c780adf131df96d6c7f5fc10542fce","datavalue":{"value":"6247485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870190$9E7280A0-FCA1-4ECD-A60A-47975EDAD32C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870190$875E7E65-916E-481D-B51A-8CBE3FF770AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870190$666757DA-EAB0-4165-A8A5-3A1B19C1AC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870190$275C81A5-380D-438F-9113-7B1267EC733A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d2ba1f3a9d37aa907198949c7415e4bc2ead980","datavalue":{"value":"modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870190$28D3CBBA-BF5C-4359-B16D-044138F5E52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"081b79b4adfd295e5dab936c22cabd29ef04eede","datavalue":{"value":"linearization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870190$016781EF-6059-4F70-B93C-B5ABC71EB224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870190$07ED2C5D-46BC-4F64-A0AC-1EDDC07886BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870190$41551B46-67C4-4DCB-A25F-AD0B9CB3F3C8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$F10E9D76-06BC-4453-B3D4-153E497F8F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$AA8CC58C-F586-4007-9DC2-F53D4B03FB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$575ACBC8-D0C6-414F-91A4-0D75C0B08450","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":"Q2870190$A0DC13FA-0AE4-49EC-8119-90B803F40526","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":"Q2870190$51FA1632-8D90-4CAF-A8F8-F881816C4650","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":"Q2870190$71DBCE46-7756-4C43-9AD6-E6949A8DEF0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2821a97c7fc9bea7771735b06f5257c4ff288e7","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.04.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870190$A179D86F-024A-422A-90D2-8906B0B9872C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27015f4dec168521a3a333c67896d301963b6f02","datavalue":{"value":"W2161598271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870190$CB67BB08-52A7-4513-B2DE-E8FE3D8DF973","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d64b884e9d9cc0f3addb629ebe46d62b6bdc5","datavalue":{"value":{"entity-type":"item","numeric-id":1847280,"id":"Q1847280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$81111AAE-0C4C-4DAC-B891-B256966DEB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f75f11361218ae773ab4b9dcbacb18b596e0c0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2368698,"id":"Q2368698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$02E9A810-63E9-457B-A62E-DBBEA38D2043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab6f64ddc8c5aa0e6ae3fa45cd1128cc1aa9106","datavalue":{"value":{"entity-type":"item","numeric-id":2568979,"id":"Q2568979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$E759D9C5-62E9-44BB-8921-E4FDB1DB298F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d58a703e8936343bea87d96256553262d3d4460","datavalue":{"value":{"entity-type":"item","numeric-id":4415996,"id":"Q4415996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$88BA4D99-AA4D-408A-8610-FE8E9ACB8C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa05e64dbbf7578ee73cf305f595ff14000c8071","datavalue":{"value":{"entity-type":"item","numeric-id":2368694,"id":"Q2368694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$3EC8AAB3-C8BD-4300-A242-7DA9F4697973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf16720b7d0b21f96024599d01fa01e2893ec80","datavalue":{"value":{"entity-type":"item","numeric-id":5703927,"id":"Q5703927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$25729FE5-0D82-475F-BD38-D08D291FE0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f23409092776b502b163449a38cb0814b6d9453","datavalue":{"value":{"entity-type":"item","numeric-id":2760254,"id":"Q2760254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$64958318-5689-4DF7-943C-6C3BE8F89214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d02de83beeb92d57b33f17cfe6587ac57c2e47a","datavalue":{"value":{"entity-type":"item","numeric-id":1870212,"id":"Q1870212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$2C64D602-E1E5-4D6B-A052-B43B7E37076E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$6FB3811F-FC99-4382-A1FB-8C0B8F930B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a181ff97f28ae7ee677b649366008cb5a78c308","datavalue":{"value":{"entity-type":"item","numeric-id":1336052,"id":"Q1336052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870190$7F288E33-2BEB-4344-852E-DD3DAE893510","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44fb14baa71f8063594a7e36ff58ec099e1d4bf0","datavalue":{"value":"10.1016/J.ENTCS.2008.04.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870190$5DB5A5C5-E316-455E-B066-52C4D89C2817","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c675e5fea5b91576ad3253a32d244fd92c6189d","datavalue":{"value":{"text":"Model-based engineering of embedded systems using the hybrid process algebra Chi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870190$40FEE295-55D0-4D88-9100-E33A69913504","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46aa94b57fe8b1f770d7d85af2714157d3b82a10","datavalue":{"value":{"entity-type":"item","numeric-id":2864397,"id":"Q2864397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32bf7f21ddf612ee4a80520cc22de52f8404efd7","datavalue":{"value":{"amount":"+0.7703393697738647","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":"Q2870190$C1777216-FFEC-4C3B-87CE-E144B63EBB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c93592b4f9f00517e4ad46255d27dee4a8a3df","datavalue":{"value":{"entity-type":"item","numeric-id":2970246,"id":"Q2970246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a435f1e1a75c52461393fcc8f930c9335442fc","datavalue":{"value":{"amount":"+0.7686788439750671","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":"Q2870190$B37CF9F3-6161-4F24-A55A-BDBEE0556AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7f9af0d2cebc5ab11c0c6e784df09c03ec14a09","datavalue":{"value":{"entity-type":"item","numeric-id":2368698,"id":"Q2368698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1292c36eae4374aee5adce3b320e3342fb330304","datavalue":{"value":{"amount":"+0.7679679989814758","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":"Q2870190$D81AEB7B-0CA5-4FFA-A9AE-F1527B8BDBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251abcdac4b3b834d7d7868d70beb42de1e14bd5","datavalue":{"value":{"entity-type":"item","numeric-id":5717491,"id":"Q5717491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8054b4b6b2d8e5d58fd8e8aea20da906718f99b3","datavalue":{"value":{"amount":"+0.7594491839408875","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":"Q2870190$6A823DA5-6C6D-4AE3-8A44-5BC7CC1660AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d5d6e9bb5f0ec3cf9e934cd04006251e376104","datavalue":{"value":{"entity-type":"item","numeric-id":1763160,"id":"Q1763160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a41175b1e2c9835950a858bf4dc67c8474d0ac","datavalue":{"value":{"amount":"+0.7532297372817993","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":"Q2870190$DC3DC71A-4DB6-471B-9EB5-091FADF75822","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-based engineering of embedded systems using the hybrid process algebra Chi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model-based_engineering_of_embedded_systems_using_the_hybrid_process_algebra_Chi"}}}}}