{"entities":{"Q3526930":{"pageid":5556834,"ns":120,"title":"Item:Q3526930","lastrevid":50463236,"modified":"2026-01-14T03:00:11Z","type":"item","id":"Q3526930","labels":{"en":{"language":"en","value":"Automating Verification of Cooperation, Control, and Design in Traffic Applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5347189"}},"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":"Q3526930$62E3FB6A-DAD1-4091-BF4D-5880E401D594","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b454ffeef062e147005a530f256e4fefe06d8c95","datavalue":{"value":{"text":"Automating Verification of Cooperation, Control, and Design in Traffic Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3526930$4CF962F9-F6D3-453C-A04E-8288E2FE5E76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca2047b74cf0531432892cba28f871d325ee37f1","datavalue":{"value":"1151.68476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526930$832A2DFB-5AE6-4B9D-BF70-AA04D533A497","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d217268d232ee17045a4a88d01a172ebac0b180","datavalue":{"value":"10.1007/978-3-540-75221-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526930$5C28E7B3-1F26-4D58-B276-B80AEC00ED17","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":"Q3526930$88828F8B-B83F-4180-BC12-18F9023AE081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6cddab1c92f7f6eca77d6ded4dbb1e01bec68e","datavalue":{"value":{"entity-type":"item","numeric-id":3526928,"id":"Q3526928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526930$534133EC-7363-4B6B-A024-5B97F3720E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43336df9cde431e44b1735ac1efcdc497261fdb8","datavalue":{"value":{"entity-type":"item","numeric-id":1990519,"id":"Q1990519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526930$17C20556-B28F-4E57-8A17-A2A82A68A0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"752576cfbef9e9507e7fc1038f6ecdc08f2ba1bb","datavalue":{"value":{"entity-type":"item","numeric-id":201215,"id":"Q201215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526930$36D133B6-4432-4E90-A2E8-1CE2B42628AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc654f17b8a10219c5683cabcebc6a770c6278e4","datavalue":{"value":{"entity-type":"item","numeric-id":681339,"id":"Q681339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526930$BD45040C-2A54-4B1E-81E9-360225223683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b9669c2bb11fc4a98ca3cfb9b38278a37cbdb3a","datavalue":{"value":{"entity-type":"item","numeric-id":3526929,"id":"Q3526929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526930$1DAA2CBF-77F3-4DE4-992E-441F93A2D8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9829c97940c180a7668c76b94f4880525364f96","datavalue":{"value":{"entity-type":"item","numeric-id":436417,"id":"Q436417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526930$0E85D735-7AAD-4F28-86AC-9A753CEB285A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526930$E647F6A5-FA33-47A0-B62A-C7E322ECCFD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a5acd49d140727f43492171bd0684564e4b880","datavalue":{"value":{"entity-type":"item","numeric-id":3526922,"id":"Q3526922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526930$83EEE463-BEB0-475A-853B-FFC0AFE008F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3526930$CA02009A-B0B9-4661-A16E-B1993C985A6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526930$66608EDF-EC69-4BE5-8275-D633DDFC4BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c819bcbc5228a4c15a0698bc48e27bac5cf3646","datavalue":{"value":"90B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526930$94FD2EBB-1329-4A4B-95D9-F99249698945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526930$6CD3E3A6-CFC3-44CC-A86B-D392093F0AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526930$BB70D3D7-9EE8-404D-ABBD-1AA518F2FE01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e677d6c4672bae870bce1beb13a7af436b4365bc","datavalue":{"value":"5347189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526930$9EF6869D-BE97-4D0B-A425-52B3A558B309","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83793d2d04b664d34057899871316417b4be46c8","datavalue":{"value":{"entity-type":"item","numeric-id":16766,"id":"Q16766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526930$16B17A99-7044-4BD3-BD18-F12197E6035A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d423f18979f23c2aff773ba54595a65ea3eaefba","datavalue":{"value":{"entity-type":"item","numeric-id":25550,"id":"Q25550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526930$07598F4F-AF9E-4B07-9BC3-6F4327D51CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33789359f9b960afff5924d56436a42c169171df","datavalue":{"value":{"entity-type":"item","numeric-id":12937,"id":"Q12937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526930$F7A7AFC6-0372-441B-99DB-7CD1A99AD71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22fc318c6c2e42dbf1c86e8b56323826ebc2c596","datavalue":{"value":{"entity-type":"item","numeric-id":14528,"id":"Q14528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526930$37703CEC-0BC9-48BF-81EF-0C9B2D3B4280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526930$C2DD166D-AB10-4262-BA94-9F56633FBC32","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":"Q3526930$67850B06-0847-4BBB-A5C5-FFE98C30949D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebe0f5013fb5ac7df0c8b9cc4be4ef56ba6d7e67","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75221-9_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3526930$3AA5BE0C-F1C4-41AB-ACA0-35E4363088EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed6825dfd23434ffaa7d9f74ddfa52134073ef7f","datavalue":{"value":"W2107605643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526930$C7AC3B89-2702-4B00-90E1-95A12D8B3EDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17c2aecc7b0416cf295eb991cb2e816a392aa277","datavalue":{"value":{"entity-type":"item","numeric-id":5311300,"id":"Q5311300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e5031b009df5d481bbb52b1a4d4929b481db1ea","datavalue":{"value":{"amount":"+0.8695108294487","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":"Q3526930$27BDF062-969E-403F-88B6-66564F1EBAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aa9feb582916956ec7dbf399ce7079296ec0f6d","datavalue":{"value":{"entity-type":"item","numeric-id":3442637,"id":"Q3442637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"993c9aaac67a67c7cf124469a5b5594d13a38424","datavalue":{"value":{"amount":"+0.8676974177360535","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":"Q3526930$49A0B992-E45B-44ED-9B02-F5F724EE53E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f136a348c7085f12cebd0a154cc01e633d4dabb","datavalue":{"value":{"entity-type":"item","numeric-id":2843860,"id":"Q2843860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a90dff5e7b9cc62a48878fa904125d6dedb0f8a8","datavalue":{"value":{"amount":"+0.7700392603874207","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":"Q3526930$B73BECA9-88B2-4E90-82B1-75DEEBF1DB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d644c2898299f9e3340ba0cb380852103569a702","datavalue":{"value":{"entity-type":"item","numeric-id":4393078,"id":"Q4393078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfcfe2d4267d84d9dce9ae7d68dff66c1927697c","datavalue":{"value":{"amount":"+0.7235774993896484","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":"Q3526930$D0BDFDE8-FD92-44D5-8E51-863EB6B93643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d88f8aa60c0afa864cdfb453827388efb2f16ef","datavalue":{"value":{"entity-type":"item","numeric-id":539161,"id":"Q539161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be78549309f967290f4e22b4cc03e716755413f","datavalue":{"value":{"amount":"+0.7179669737815857","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":"Q3526930$976DFAC2-3DD5-4F3B-AA0A-0FDD5F852ECD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3526930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3526930"}}}}}