{"entities":{"Q3522934":{"pageid":5552838,"ns":120,"title":"Item:Q3522934","lastrevid":50446076,"modified":"2026-01-14T01:59:44Z","type":"item","id":"Q3522934","labels":{"en":{"language":"en","value":"Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5321083"}},"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":"Q3522934$7BDA6A10-ED3E-4571-AAB0-E852B88A2F98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a34beb6ce407b7f8273cbce46b7bbe552e70418","datavalue":{"value":{"text":"Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522934$55FBEB02-B152-4D9B-BDA1-905E21AE8CD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41ddbf80a18e53e30993a2f1674a5e559f25137e","datavalue":{"value":"1161.68585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522934$29463C75-4B8E-47A0-A96A-CF05D8AAF2DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b786fbcd94fd9a9c7246b319cf1b49c0d08fbf73","datavalue":{"value":"10.1007/11901914_38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522934$2E40EE91-6DE1-4401-B48A-CC374D12F7E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6fb47410956683631f54669d5a6d063a87b1b6a","datavalue":{"value":{"entity-type":"item","numeric-id":460108,"id":"Q460108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522934$3294FD10-39C1-489D-9599-2CF27662969D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eccbd381a93c5bc95045343a38ba77416ed9fadb","datavalue":{"value":{"entity-type":"item","numeric-id":3522933,"id":"Q3522933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522934$C4E1A1D7-C748-4784-B186-7E8C0FB8C9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ea29cb7fbf3eb3e46b33dc22110f0e67e64a463","datavalue":{"value":{"entity-type":"item","numeric-id":297365,"id":"Q297365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522934$F210CF3D-EA7C-45F5-B5D3-95502F03995C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9b960ef01373d1c352f90166f4023ce350084cf","datavalue":{"value":{"entity-type":"item","numeric-id":439861,"id":"Q439861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522934$1F13742A-74A7-4449-B7CF-C1A9F79739F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522934$7120834F-3447-4D79-AF21-4DEC5D9BAB5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bf0f0ee9c49018dff9c641c5da1a78a5da873e5","datavalue":{"value":{"time":"+2008-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522934$C13118E9-8116-41F6-9DF3-8D29374FC01A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522934$26C12980-82D9-4747-A398-1604782173A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522934$011AE834-1038-4762-B11F-6F36838D46B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522934$7311784F-DBD2-4792-ABF0-DF4733A71D77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a2c4c73aee76c31672d6f9996f7632ef9867d4e","datavalue":{"value":"5321083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522934$A0BBD4D4-16DC-4E0E-9FEF-C131785D25C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ea4d63690e062f525ef55d1db30df24542e9b3c","datavalue":{"value":{"entity-type":"item","numeric-id":22274,"id":"Q22274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522934$4ED4A8F6-F09E-41EB-B9BD-9D3C3E47CD20","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":"Q3522934$643A9B2A-D808-4568-B3FA-94C757A3867C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff549aec17c4923bc9ef78eedc8dc371e4db3fd1","datavalue":{"value":"https://doi.org/10.1007/11901914_38","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522934$ED0D6FD3-2478-4501-A294-58CC1F1CC9DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17a3c62e4816beba02b61dcc8e6ea53b8aa8488e","datavalue":{"value":"W1793318143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522934$92C8E9BA-5565-43D4-BF24-67B5A8172675","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b49b7ed1f4fc426d95a4eccb6f4cfa9ee7bf22d","datavalue":{"value":{"entity-type":"item","numeric-id":5898656,"id":"Q5898656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82289ec6a7126fe02ab286e091db4d2bc7cf3569","datavalue":{"value":{"amount":"+0.7062698602676392","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":"Q3522934$35A4046F-5762-4CB4-AC8B-D070134F5B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf6de385ca0dc701309036b221c6446e4ad1fb9","datavalue":{"value":{"entity-type":"item","numeric-id":2847845,"id":"Q2847845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2bc866e7b8a2fc8123b49d01c510558f6cf05ca","datavalue":{"value":{"amount":"+0.7026274800300598","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":"Q3522934$9F57F2B7-83EC-431B-8749-048E3767A8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aaa0e160c5287292bf45e4ae23d9ca737704678","datavalue":{"value":{"entity-type":"item","numeric-id":5491857,"id":"Q5491857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba5a8bb3d3073315c70843a4ea80fa9c3e45c76","datavalue":{"value":{"amount":"+0.6864107847213745","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":"Q3522934$CCB85870-34E7-4803-8102-48BEC3929EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61443c8ec80ce7ab2d52421cea1e77854acc26e4","datavalue":{"value":{"entity-type":"item","numeric-id":4645732,"id":"Q4645732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8590ca3a738304705a63ab99ede04b2a7bab310b","datavalue":{"value":{"amount":"+0.6706445813179016","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":"Q3522934$BC4F707B-AE09-4CC1-A19D-232B15E17C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dce0780fe4160436b11747e34266e8ffcc13a8b","datavalue":{"value":{"entity-type":"item","numeric-id":4473703,"id":"Q4473703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d7902bd0af36bd61e1f752e254df5df7eb0a8a","datavalue":{"value":{"amount":"+0.6692115068435669","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":"Q3522934$A3961C78-6B45-496A-A681-279C9AEC8C60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522934","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522934"}}}}}