{"entities":{"Q5170744":{"pageid":7200316,"ns":120,"title":"Item:Q5170744","lastrevid":52047512,"modified":"2026-01-20T20:09:09Z","type":"item","id":"Q5170744","labels":{"en":{"language":"en","value":"Programming and verifying component ensembles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6320340"}},"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":"Q5170744$81F8606F-8A9F-45C1-9B04-205B9850B41C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"500207c2d100fce3ea24bb8fffe05503a067a807","datavalue":{"value":{"text":"Programming and Verifying Component Ensembles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170744$3C402BC0-FF38-4695-9C99-52D4B9B86FFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d1ee4adf4bde154b2b54fa8033e6d079e30c961","datavalue":{"value":"1416.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170744$CAFE83E5-DD93-4A22-86E9-0EE4BA07B52D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae360f931b7664a75a2a93e01426902b2e1ba65a","datavalue":{"value":"10.1007/978-3-642-54848-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170744$FB6725B8-FD4C-488A-B156-0D1D10B745CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"467355300579464725662c12a473c283bc71860e","datavalue":{"value":{"entity-type":"item","numeric-id":384931,"id":"Q384931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170744$6FB87D6B-D0F8-48D4-AF46-A1E46EC132A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a48df084089efbad17e99837a84945e27512c4e4","datavalue":{"value":{"entity-type":"item","numeric-id":832280,"id":"Q832280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170744$9B796A61-B6F0-4C53-8F63-C6473CD2494F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"478c5d203cda1eac5cd92bfbe3b380bfa8a8508e","datavalue":{"value":{"entity-type":"item","numeric-id":384932,"id":"Q384932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170744$922C77BD-DDF7-4FF5-B3D6-9FDE6E96CBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9641b81bebf5d19325469bf7fc51d6e8678fba8c","datavalue":{"value":{"entity-type":"item","numeric-id":1996860,"id":"Q1996860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170744$F19951A4-4B0A-4B01-9849-DE237DC629BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9431f83a4f8857bb74e3ca69031f854d9b027223","datavalue":{"value":{"entity-type":"item","numeric-id":1941872,"id":"Q1941872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170744$4299C484-ABB7-47D0-8CAF-68373FC08286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cfd685dab2eb6d8bd66c9db34b7db2842aa5f12","datavalue":{"value":{"entity-type":"item","numeric-id":492907,"id":"Q492907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170744$DAA16ADD-AA52-4BB0-99BF-DBCE974E9DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c091a2e6ab80fe580104939a47a45052e3841b4","datavalue":{"value":{"entity-type":"item","numeric-id":859967,"id":"Q859967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170744$4FC2BAF4-00FD-4F91-9F26-5CAA9942D746","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eee202a3451985be6636dcd78d60a4dc12b7cbea","datavalue":{"value":{"entity-type":"item","numeric-id":5170739,"id":"Q5170739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170744$A8322C07-6E3E-4D82-ABC2-B8D946FEE9AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62d5b6bdf672ccc34d428067b7e9172e5c9711cb","datavalue":{"value":{"time":"+2014-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170744$09DE0DDB-79F4-4F75-BCF9-77CDD64E024A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170744$71D6EEFD-3AF0-41CB-A1E7-97C9EBA2B99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170744$45497190-E96F-4B27-9AC9-0796B46E00FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170744$529C8437-5236-4C61-AA09-BA744B0E3A76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbc723baea18819af8986ecee6660745f157e9f4","datavalue":{"value":"6320340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170744$74365243-6D5C-414E-A129-8AC9573C702F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653148492e5cb9c0affad402eab1136a7618becd","datavalue":{"value":"cyber-physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170744$D4D067E0-477D-46A6-A596-9B8001914258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abbd5d1d4b1a52d2cda35855ca30d9420f2b8426","datavalue":{"value":"component-based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170744$FE2DA17B-B359-4306-B861-F53DF032EB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170744$EC67DF95-CCCE-49A2-9E3F-62748EE34B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170744$6C799778-A506-4C17-A891-0320667B8508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170744$F8FE1898-239A-498B-8158-552606809D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5170744$C0427D3D-AAB8-4045-91A1-38299A48F8BE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5bf05ee404eefb65ea37d1947963d2b4195bbf6e","datavalue":{"value":"Q56497690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170744$831D7680-CB90-4164-A8A3-142E9263FC0D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07c77124a102677321b49e780d83d2e468dd9d6a","datavalue":{"value":{"entity-type":"item","numeric-id":19657,"id":"Q19657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170744$6DE3D04E-C1FF-4525-AC7B-1F086EB30BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1113ebda09e71763d9b1176f486071b596439a73","datavalue":{"value":{"entity-type":"item","numeric-id":20430,"id":"Q20430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170744$AD6425F0-76F4-40F5-B962-09A14D65269A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65fd0d9cb11b909a185161bd0abab67a7cfd7953","datavalue":{"value":{"entity-type":"item","numeric-id":21866,"id":"Q21866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170744$1585DDC2-8D21-4EA1-95B9-730D083B4E79","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":"Q5170744$41B36318-9F01-40BF-815F-93A1F6DB54CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a20498efd7672a526d616e86f695804b7273a736","datavalue":{"value":{"entity-type":"item","numeric-id":21867,"id":"Q21867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170744$9171A2B8-36B2-49DD-846C-5D2C46CC5038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5bdf363443a97fd1d8f40c5cf84c71bef4cfcf58","datavalue":{"value":{"entity-type":"item","numeric-id":28125,"id":"Q28125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170744$BF2D0080-3649-41F7-9F7D-E801933BAC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67dc44392b5218e5db28fca577b61569531068ea","datavalue":{"value":{"entity-type":"item","numeric-id":21407,"id":"Q21407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170744$3C43EDAA-C066-422E-8DD6-86B8E23A19E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc8f7ddd52eb64e1464bf6923b92d849697aa2a6","datavalue":{"value":{"entity-type":"item","numeric-id":32593,"id":"Q32593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170744$3F0C757B-E49E-4263-AAD3-1BE9D2107B3A","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":"Q5170744$C8EE8694-4A7D-4DDB-B54E-78A9E30AF946","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec4e6cd36768b76d8bf5449818261212e063a2b0","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54848-2_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170744$D1E4B0D7-D2C1-414A-9851-2E315A1AF20A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1218a21f1ec7364a63adea2c202002109d4b3d65","datavalue":{"value":"W31810032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170744$363EEB7E-4EED-48A3-A3F1-407CD46C2778","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4bade582f881f2331fc74bdea8614b9c94b5e09","datavalue":{"value":{"entity-type":"item","numeric-id":2945715,"id":"Q2945715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc353b3a7b340537210c04fa6f3d0c082e4223b5","datavalue":{"value":{"amount":"+0.6784753799438477","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":"Q5170744$A48F9CF5-E4B1-4098-B4FC-60CDB9DCF362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede137086f685454b547e4c101069ed16a05c0e3","datavalue":{"value":{"entity-type":"item","numeric-id":5166713,"id":"Q5166713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5715a37681616d1b20ba23739a372d9869ff4992","datavalue":{"value":{"amount":"+0.6707078814506531","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":"Q5170744$B0582D84-60C6-4127-867B-4A8A2729AE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e78fd8bb68e7e535a2178db03545e90e5f8f76","datavalue":{"value":{"entity-type":"item","numeric-id":2576584,"id":"Q2576584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbac6a297435df53739dfefc3fe3e742285fbaa4","datavalue":{"value":{"amount":"+0.6705694794654846","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":"Q5170744$A063E7AD-960F-472F-A20B-3572898280DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60083195d5298330dc01e257307502926fd4b338","datavalue":{"value":{"entity-type":"item","numeric-id":3638992,"id":"Q3638992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0adbb27b31a6b054b3db5a9fdb3549ce8796a73","datavalue":{"value":{"amount":"+0.6683030128479004","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":"Q5170744$3B82CF65-BB37-4D5C-889A-30EDC3350BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c724d01f0b25423e58fc90fe6a19f652e1a3d3","datavalue":{"value":{"entity-type":"item","numeric-id":1749143,"id":"Q1749143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4cd479b767f7ac565090d9145893a889bd3e30","datavalue":{"value":{"amount":"+0.665830135345459","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":"Q5170744$39C270C6-7B31-4578-9C7F-5869AAADB76A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5170744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5170744"}}}}}