{"entities":{"Q3564030":{"pageid":5593934,"ns":120,"title":"Item:Q3564030","lastrevid":51000371,"modified":"2026-01-16T03:51:22Z","type":"item","id":"Q3564030","labels":{"en":{"language":"en","value":"Role of formal methods in the automobile industry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5715360"}},"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":"Q3564030$25C4C926-AEF5-4CB6-8D50-25B02D9064B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df838c9b22131619b3d4a7b73b941ca1a45266a0","datavalue":{"value":{"text":"Role of Formal Methods in the Automobile Industry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3564030$341D692B-B327-4D4C-8804-F573877979A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcbf9c8db2157681cc6bae57ccc27f71380463e9","datavalue":{"value":"1189.93101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564030$5366F0C4-27E0-4F16-8BE3-203696AF406A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12699d14738a2f37bed4bd7fa1f5d4f3dbc00257","datavalue":{"value":"10.1007/978-1-4020-6254-4_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564030$632D34EA-7EF5-42C8-8F79-1EEA53938E78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a731b2597f91593102ae768a67f272cce7d685b6","datavalue":{"value":{"entity-type":"item","numeric-id":3564029,"id":"Q3564029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564030$D73E73B8-A23D-4F38-8DAB-E8D477FC88EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0d9b736323840be59c9483c610131b93c4ace334","datavalue":{"value":{"entity-type":"item","numeric-id":3564010,"id":"Q3564010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564030$15D049CE-E13A-4D56-B1E4-7B8FA6E12BC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d839b5eef1bcdf95ed84bc93ea6b8a9df9f4c28","datavalue":{"value":{"time":"+2010-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3564030$D224A8D7-151E-4354-9DEF-87A59D013A06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564030$AED41A8E-6EFE-4CD8-ABAB-E61433C7E8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564030$BBC28A5C-3160-4509-B2A4-37A46E943D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564030$B97928CC-3A82-487C-A70A-ECCA28D1D1E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31d59ed51b5e9819cda7019e1267aae5e872e161","datavalue":{"value":"5715360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564030$10595CAD-8F43-45F4-BC4C-D0409BCF3C5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"221be0423b96a08f99163ec8f93c18340535afe6","datavalue":{"value":"model-driven design","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564030$CC7BC608-2CFB-4179-AFC6-FC2CF869690A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9df99cc1a45b3c331d03a9a85b08437613553de","datavalue":{"value":"model translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564030$D5D023C6-3B71-465E-A4E9-DA7329A1F269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b69b7fb9474b49465764655742e57fbce31379a9","datavalue":{"value":"hybrid system modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564030$BC887136-9D0A-4433-B59B-617B0BCB40A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f31685f0a6b07901f90de370a578254dc68624a7","datavalue":{"value":"distributed electrical architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564030$7DC348C0-5589-4C87-8B55-7E65F46BEB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d88ab1b30928f1d8bcedeeb0baaeafd45b2afca","datavalue":{"value":"software architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564030$77E9477F-96B1-4C84-9700-54BDA3650496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4585a26b6f23818bd88a356bbde9dfd08e3b011","datavalue":{"value":"communication protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564030$2C11C0A8-C6F3-4FBB-9FFB-ED801D48BBCC","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":"Q3564030$F77DE77F-6BF9-472F-AFF7-22C0F36AB9F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c695a92a9c0c8f4aa4d054815b78fa6c093cb677","datavalue":{"value":"https://doi.org/10.1007/978-1-4020-6254-4_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3564030$90C078B4-BE0D-4846-8036-D89C84FA7C53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3beddd407ec04d4d058937108a08643a1198ced7","datavalue":{"value":"W2215323487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564030$15A10EAA-B20C-4F67-AB94-0C58D027B3C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415a3150cb9a91aa083b353b667a9f8acd0b139f","datavalue":{"value":{"entity-type":"item","numeric-id":1019015,"id":"Q1019015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57bfeb65a315c737ae00fb1911f7bf183b27e39d","datavalue":{"value":{"amount":"+0.7441180348396301","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":"Q3564030$D2378F8D-2DF2-42D0-A208-38372CF221A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e996e256a3c06a5ca725dfeb15c9ae397f0d7f0","datavalue":{"value":{"entity-type":"item","numeric-id":4532080,"id":"Q4532080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e94204e0a131c9136730a55605910dcadc26ce","datavalue":{"value":{"amount":"+0.7354801297187805","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":"Q3564030$1243ABEA-8675-4858-BF8D-CA12C12AE4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe199994282387c005a1e701dce6e56765961cc2","datavalue":{"value":{"entity-type":"item","numeric-id":5716906,"id":"Q5716906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6d3093e66042b091f6adaf54fc3fc82518f20f4","datavalue":{"value":{"amount":"+0.7353111505508423","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":"Q3564030$F0701B9D-13FB-4C0D-B8B7-8A68BA653B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1003f0d97949af582309a416138e1f386415abd6","datavalue":{"value":{"entity-type":"item","numeric-id":475379,"id":"Q475379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f85d164c2329f5803fc64fe077e456bab4e3bcb","datavalue":{"value":{"amount":"+0.7151852250099182","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":"Q3564030$10722EBE-B993-4693-82B9-60D638207B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe57dd4b76350b5efe3813537429ff875275a95","datavalue":{"value":{"entity-type":"item","numeric-id":2771738,"id":"Q2771738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99432ddd621a3265e1605ed1fc27204af8d7d5b9","datavalue":{"value":{"amount":"+0.6914314031600952","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":"Q3564030$4A218407-C01A-4041-8D6C-F6A5697F4B64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3564030","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3564030"}}}}}