{"entities":{"Q1937313":{"pageid":1948055,"ns":120,"title":"Item:Q1937313","lastrevid":51659417,"modified":"2026-01-19T07:42:35Z","type":"item","id":"Q1937313","labels":{"en":{"language":"en","value":"Taming Dr. Frankenstein: contract-based design for cyber-physical systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6140027"}},"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":"Q1937313$D81BCC3B-F7BF-4DBD-86A3-9245BEB92A0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"876cdb38a74c94f6a7d5813012d0831843b97186","datavalue":{"value":{"text":"Taming Dr. Frankenstein: contract-based design for cyber-physical systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1937313$37975364-31DA-4C5E-A668-7EBCB91AB959","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d699666f7b7db887a6220686d13b8ba79e8156b","datavalue":{"value":"1264.93152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937313$8A056238-5D82-4A56-85D5-752BA1320018","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcbdb18b8f9d60686ea68fcc5d8c76e0868dec3d","datavalue":{"value":{"entity-type":"item","numeric-id":209472,"id":"Q209472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937313$F26A209F-A3C2-4F9B-AB5D-CE7FE68495A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b21595f21f62505c422669266febef45c37adbb","datavalue":{"value":{"entity-type":"item","numeric-id":212523,"id":"Q212523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937313$7555E7F5-D68C-4E86-9EBD-834D56C62F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d086e44329306ab3ecd40903a02197703cd48951","datavalue":{"value":{"entity-type":"item","numeric-id":1020553,"id":"Q1020553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937313$F3088506-C2C8-4982-B0C1-B05A84DB2B32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45f20bc078972fb8087b47a09eeaa25cf327dd63","datavalue":{"value":{"entity-type":"item","numeric-id":285794,"id":"Q285794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937313$9B2EB566-773C-43AB-8B28-4A11042EB9B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca3bfe5cd95186174c3d2c7f7508105e7e4c0ae","datavalue":{"value":{"time":"+2013-02-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":"Q1937313$C04113BF-858C-4EA5-B3B1-3FD4C2C4D284","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce22555fb5b8246459f5e7afd0df4871fa291b79","datavalue":{"value":"93C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937313$6ADAB879-6625-43AC-9C11-CBC21254BE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"931f9bc6fe69aba6508703df7e266476edb87eb8","datavalue":{"value":"93B51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937313$12DA2520-DD97-47B5-9847-6FC1DDF21732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937313$29D73038-154B-427D-A899-0C757518DEBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3701a8e6708ad85518b6532f6aa68115d851932d","datavalue":{"value":"6140027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937313$631494ED-7386-4950-AF16-D7646B5A8929","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d500783b153e828c5965d5d741255c2ee506adec","datavalue":{"value":"design methodologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937313$250C6211-11EB-458A-B806-970F5BED7D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed4265b9a0d1beb8ee6148a4a517a23dd60bb58e","datavalue":{"value":"industrial automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937313$3AD061DD-D4DB-4744-89A8-9C0853E8CF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d455c8486db1f6603e283e0628fab2c882a697aa","datavalue":{"value":"development schedules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937313$3F16EF1B-C60F-4F4B-B8BE-F7759839ABCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29b09a6c87b16a67973fae273c77fa56860bba43","datavalue":{"value":"horizontal contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937313$1656F0F4-CCF1-4B94-B863-6B51AA8974DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97f710854b12597129ec2cd3efbfa57410487157","datavalue":{"value":"mechanical, electrical, and chemical processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937313$4A41BEDF-C0BC-41D1-BA53-CA24368FC9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76e6bbc6ac6a6803d1d55cd01c9c189470c7e633","datavalue":{"value":"controller design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937313$9024160D-0C01-4AE4-86BD-16BAEE8A5A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d903e40b4a1744f4ec79be392cc333430764400d","datavalue":{"value":"element integration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937313$4A21FC4C-F1EF-4210-8EC5-D2BFD4B0E4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8bfb6b212183b8ea81ca893e462eca2d698e11f","datavalue":{"value":"meet-in-the-middle approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937313$FB74BCE0-47BB-4BD3-B6B2-FD081808A8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6109e1206e614748f34d63aeb604a53c0d8337a5","datavalue":{"value":"vertical contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937313$8C63A7E6-079D-4EF0-B826-0A37C089D65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f97d886bfbcbff3527e039196354e72efe074558","datavalue":{"value":"platform-based design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937313$0149E1FE-61C8-47CA-B6F7-139DF2267FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a051b3435df7e8d5c64a882d1c8eac4107e9905","datavalue":{"value":"contract-based design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937313$18350FFD-DFC9-46A7-B90D-D0749A343F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87a56c2565e458945064bb45a3e03e1cbbe2dc83","datavalue":{"value":"subsequent refinement process","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937313$C9B293FA-67A9-490F-B844-7A0E26F09BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"984bd147c09ea5b41907ba603c3dc0036fbaddaf","datavalue":{"value":"complexity of cyber-physical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937313$B206BDB3-D11E-4A73-B3D2-014E3F2CE551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"450bd9fa5b5c3322b4a36cba31afef419dc5db8c","datavalue":{"value":"control of multi-scale complex systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1937313$80FCCA69-6E43-490B-9C7A-6DB65D0CF997","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"378cb13fc82b7770af62af5f608efe0b63fd310a","datavalue":{"value":"Q57380259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937313$485CFEB4-BDC6-432D-A8E7-CCA64C59B848","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"186b33115856aa5e6840a782dd17b6926f51dbf6","datavalue":{"value":{"entity-type":"item","numeric-id":19489,"id":"Q19489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937313$A270B996-9D39-4BB6-9C7C-43C98BD9C5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9eed358834755dc5546515f516fe05b23526c05c","datavalue":{"value":{"entity-type":"item","numeric-id":28135,"id":"Q28135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937313$0CB765FE-2244-4B22-AE6B-9F36088CC278","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":"Q1937313$9C5CB2C5-CC58-4CF0-AF89-6D7A78868110","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"254778de66b5e5eb1a3d919d35f8d96699deaa6b","datavalue":{"value":"https://doi.org/10.3166/ejc.18.217-238","type":"string"},"datatype":"url"},"type":"statement","id":"Q1937313$7460C8D5-2192-40BD-A807-375D899848A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d46a4a20b20b80e6ce95abc2d79e5f30d749b349","datavalue":{"value":"W1994901326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937313$1D630893-41B6-44C2-B555-E310987EBC70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937313$C68C2098-EF43-4A49-A554-2C495C930071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5854c9ef8001a768e1a0af9fc2479bed9f84a667","datavalue":{"value":{"entity-type":"item","numeric-id":4427918,"id":"Q4427918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937313$E8DFAFFA-81A9-4255-B2EA-C358FF6A07A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa3dff99082ecbc14ca9f7993ccd7f37651b451d","datavalue":{"value":{"entity-type":"item","numeric-id":2486398,"id":"Q2486398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937313$172E09C5-2625-4B7D-9223-5EAB42BADEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e01ff6bf6f24178ae74e51d043af44b113286058","datavalue":{"value":{"entity-type":"item","numeric-id":4536603,"id":"Q4536603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937313$D6A39AA3-8ECC-432B-BC46-F21397AB68EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"569ddc537916e27ee02748157df0c231738e3012","datavalue":{"value":{"entity-type":"item","numeric-id":2895779,"id":"Q2895779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1937313$0D561D57-37E1-4324-AA0A-F44CF8A9E449","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"564ca5094079015c08dc642ad67e9120c2247a2a","datavalue":{"value":"10.3166/EJC.18.217-238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1937313$E6A49869-E451-4E46-90BA-D242219C1840","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d153bf8fe223bfdc23250ababe0e00175272df0","datavalue":{"value":{"entity-type":"item","numeric-id":3523098,"id":"Q3523098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a8d12c7472c10866e6125856cb9d8008619572","datavalue":{"value":{"amount":"+0.723182201385498","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":"Q1937313$EDA3065C-736A-4835-84DC-4263D82E3FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e1c41ceaffd06892be7aa7a6e82bccf6e878d1","datavalue":{"value":{"entity-type":"item","numeric-id":4931301,"id":"Q4931301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b47c0f255c48aa95eb3450b7347aac6c4611c23","datavalue":{"value":{"amount":"+0.7028091549873352","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":"Q1937313$66508E72-02F0-42BB-93BA-C7344D7E9CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16efe40924502d887455ab8723369f8a505c23f7","datavalue":{"value":{"entity-type":"item","numeric-id":2441722,"id":"Q2441722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4009d52f80415ebab56b265f570618a6e23382b1","datavalue":{"value":{"amount":"+0.7018913626670837","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":"Q1937313$1A62F5B0-16F8-4004-8D1D-876E93BCD3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b755ba2282e49f643fd7e07a027bc206920c583","datavalue":{"value":{"entity-type":"item","numeric-id":2215869,"id":"Q2215869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb9299ac1acedbc33c3742c2c03718270f5b227","datavalue":{"value":{"amount":"+0.6926342844963074","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":"Q1937313$9DA2D630-BCA5-4721-9ED7-9748558B8D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c54200cf6410ed81b5a7a793c4072b466a8446f","datavalue":{"value":{"entity-type":"item","numeric-id":4689064,"id":"Q4689064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e6735e0ff31e988a07ed3bcc4c4d30dd1ecd86","datavalue":{"value":{"amount":"+0.6923388838768005","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":"Q1937313$45D2CA20-384B-4280-8C26-F08BE277BB0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1937313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1937313"}}}}}