{"entities":{"Q334152":{"pageid":335919,"ns":120,"title":"Item:Q334152","lastrevid":52662431,"modified":"2026-01-23T05:25:15Z","type":"item","id":"Q334152","labels":{"en":{"language":"en","value":"Formal assessment of reliability specifications in embedded cyber-physical systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6645882"}},"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":"Q334152$92D516D3-5AF5-4ABD-AB05-34EECFF274A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4aa817aec0d7ce127237336979c0072e3f5266df","datavalue":{"value":{"text":"Formal assessment of reliability specifications in embedded cyber-physical systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q334152$253D9DFF-8496-4D9F-A1D8-3AE8E5A96557","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b74f75eecb637d0e8a79be2ebe35343d2890135","datavalue":{"value":"1436.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334152$9A8F8832-E1CA-4D8C-9DA9-07B1AB2F0DEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"301d36007dda1c48e163e7c346ae7bddaded637c","datavalue":{"value":{"entity-type":"item","numeric-id":334150,"id":"Q334150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334152$B482D4A6-4A1D-436D-B89D-65C4EC48AD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dc74ace289d4fd30a2ff7eb42f16f953c350db3","datavalue":{"value":{"entity-type":"item","numeric-id":230078,"id":"Q230078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334152$AEA13CDF-B253-4774-97DC-DA8DD5E9959E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06e88ac0bd75d2e13952e3076643b78912ad4a51","datavalue":{"value":{"entity-type":"item","numeric-id":334151,"id":"Q334151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334152$03213980-8DE1-4FCB-918D-21D598DED8EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334152$2F1581CB-1546-473E-9466-7E7B18D30816","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cee2a0aa89d5d5272c4ec784db125129fdfc9efe","datavalue":{"value":{"time":"+2016-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q334152$084A960B-8FC7-4640-BFDB-A156DC20068D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334152$41472DAA-A36E-4041-9C96-A1F848421A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334152$93315F30-4500-4D6C-A04A-F5C7223C3C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334152$08DA71AC-D77A-4E4E-BD52-1C7CE511BB13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b79f5be845cfbb7293791529c00538fa07f0470","datavalue":{"value":"6645882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334152$83A76269-6722-4CBA-9FD5-3147BCD8334A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q334152$39C5B7D9-B0F8-42F0-8CC3-F341E23DEEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q334152$D1789F8F-CC3D-469F-86E5-9688662AAA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8edea7deed07611bc5684d02d7a97da92f492bd7","datavalue":{"value":"functional reliability","type":"string"},"datatype":"string"},"type":"statement","id":"Q334152$1B7554B7-93C9-4876-B37F-2354AF24731F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3076522ace7e69eaa65b41c8feeb797bd73234bf","datavalue":{"value":"fault-tolerant design","type":"string"},"datatype":"string"},"type":"statement","id":"Q334152$E48D13A1-3CA3-41B8-96F4-FC6C1C111F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q334152$3B7B9E15-B8DE-417B-87BC-91C48488AD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"653148492e5cb9c0affad402eab1136a7618becd","datavalue":{"value":"cyber-physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q334152$866446B8-2297-4F35-B08D-5FB498720B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75009020e5ab3f99fbff510c53fc0ec1b485e0f3","datavalue":{"value":"AND/OR graph search","type":"string"},"datatype":"string"},"type":"statement","id":"Q334152$67BD7F16-CB85-4413-9486-6B7BC099A240","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"94d7d058cd7b5988924cbd5371804018c2016655","datavalue":{"value":{"entity-type":"item","numeric-id":53743,"id":"Q53743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334152$D17CF1F9-266C-4D89-AB10-C83F55506B00","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":"Q334152$87625D80-5CE1-4CFE-AF04-6C67102F9E70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d55b3b82ab33e907c5ca796ec4f53e09942f886","datavalue":{"value":"https://doi.org/10.1016/j.jal.2016.09.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q334152$4E43EE11-0D93-467E-BB92-A4751DFA9FC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72d4b77435dd9acb63c3d7b40fd4ff20a9205ed0","datavalue":{"value":"W2517154444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334152$ECECF2D5-8D84-45A2-946B-A3904E7F2B84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334152$10909936-B805-4CD2-BE52-E01F77525496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334152$A14EB9AF-3DE4-4326-B98B-667A79864E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620160e14dda4af45442e8c4948ee25b31859df1","datavalue":{"value":{"entity-type":"item","numeric-id":736795,"id":"Q736795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334152$8663BC0B-3C06-49AB-88F3-960C3333B7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c82bf3d8bad3e2c64ef67586a2fa21e24a00229","datavalue":{"value":{"entity-type":"item","numeric-id":3801309,"id":"Q3801309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334152$0B5F18E3-C9C2-4BDD-B04A-0A3056D259F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45acda0dbd2c3983653c93620c7abf2b1353363d","datavalue":{"value":{"entity-type":"item","numeric-id":704780,"id":"Q704780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334152$26BD5F4A-049A-4217-988A-73F9EE48FE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9053eb46ce15c3e81776392e54ee31017d339b","datavalue":{"value":{"entity-type":"item","numeric-id":4406348,"id":"Q4406348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334152$1B022E9F-E9F2-4764-AFA9-DAF21A16AD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eb1e7c12ccf85bbba44d3275b7a7dd609649a5","datavalue":{"value":{"entity-type":"item","numeric-id":4285205,"id":"Q4285205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334152$89E5C2E3-98A7-4423-967E-14729100F130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741dc22f61ffdf39136f5e908a1a9b8ea5a34ffe","datavalue":{"value":{"entity-type":"item","numeric-id":5170750,"id":"Q5170750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334152$047B087E-831D-4B1E-B867-E7D04BD3B5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c8227370b23a709289df885ca01c57567c658f","datavalue":{"value":{"entity-type":"item","numeric-id":3856120,"id":"Q3856120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334152$597AFAEA-3EA6-4110-BF65-A2FBEC5E669C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b530fe71c71669eeafc2f56af041082a2e9b426","datavalue":{"value":{"entity-type":"item","numeric-id":4419777,"id":"Q4419777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q334152$53E44C14-22DE-4894-865A-818CB7EC66A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c07e28d7c877e12765d3a65aa52bd504f4f8811d","datavalue":{"value":"10.1016/J.JAL.2016.09.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q334152$EBFC0474-9106-4F69-933E-47B8389C6813","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c93448345afc93b565b16c5bc9cee15c13faf99","datavalue":{"value":{"entity-type":"item","numeric-id":667523,"id":"Q667523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee3b72dc828c95348fe4f356d51bee604d10cf1c","datavalue":{"value":{"amount":"+0.7546062469482422","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":"Q334152$4FD53699-CC60-4F77-84CA-1121173A2430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa4134b80855307d86e593843789ef429b91f05","datavalue":{"value":{"entity-type":"item","numeric-id":4737061,"id":"Q4737061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1298ad9e282a39639061c79133e89fa30f2192f2","datavalue":{"value":{"amount":"+0.6794441342353821","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":"Q334152$A45264FD-526E-4BE4-A831-14E1A712A871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9debdf2f2f7901d99d6ae44179987833ff6cde58","datavalue":{"value":{"entity-type":"item","numeric-id":4439552,"id":"Q4439552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0cb8f25f6d5033fc23345f9c1122920e48feae","datavalue":{"value":{"amount":"+0.6776813268661499","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":"Q334152$14BC7FA8-0709-4179-A63B-4A5603D0A816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3c0e29fe71eca1cf0cb3eee810b17774344e92","datavalue":{"value":{"entity-type":"item","numeric-id":4939620,"id":"Q4939620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0cb8f25f6d5033fc23345f9c1122920e48feae","datavalue":{"value":{"amount":"+0.6776813268661499","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":"Q334152$E39E7F05-47D5-4E41-87E3-BBA06BA0CA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccff15be451d1594ac56e2f6c10650ce2e9ef0d2","datavalue":{"value":{"entity-type":"item","numeric-id":2766637,"id":"Q2766637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f228bdc2fc153798401845887083a10920027d41","datavalue":{"value":{"amount":"+0.6618757843971252","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":"Q334152$12AAA5EC-26B7-44D2-B976-FE7876E15347","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:334152","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:334152"}}}}}