{"entities":{"Q6160737":{"pageid":13295618,"ns":120,"title":"Item:Q6160737","lastrevid":47865616,"modified":"2026-01-02T22:24:21Z","type":"item","id":"Q6160737","labels":{"en":{"language":"en","value":"Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7701197"}},"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":"Q6160737$A00067F3-09A7-45C6-BCFE-91A9DC74EDD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aef839627bc254abccbe39e16c1cb5494a06fd53","datavalue":{"value":{"text":"Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160737$9EE436C0-A1C0-427A-A47D-E9B75A3DFED4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a36ece562b292bcf686971afb1bb618eb9547fc","datavalue":{"value":"1519.93159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160737$7E44A8C5-C441-498C-A667-4D0EBE9E10E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a537c85f37118d599d86ccdfd5f3f679b21c208a","datavalue":{"value":{"entity-type":"item","numeric-id":6160735,"id":"Q6160735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$AE8669D8-A880-4081-B322-583CEABE2DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d07c5e313dd51ab1aed894a2b76df59a8e3b19f3","datavalue":{"value":{"entity-type":"item","numeric-id":988779,"id":"Q988779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$581097B3-37FC-4B3F-88CC-29B46CF59611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa2277f57ba45ae0abf1835cb4ed44ece0f0f593","datavalue":{"value":{"entity-type":"item","numeric-id":6160736,"id":"Q6160736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$BE6BC80A-3D37-433A-9661-8AD09FC7D264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72a9bc0dd2218172a714bfff2e47becf5e5a96ec","datavalue":{"value":{"entity-type":"item","numeric-id":184778,"id":"Q184778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$5F7E5346-E419-4378-A5AD-A8EAC83FC2D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$B48368FA-E821-4CF0-858A-804C6488EC91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1ff4eab0b2e0a25f5857bfddff310cd07acba57","datavalue":{"value":{"time":"+2023-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160737$D651C2D9-75E7-4E53-AE66-87C9101BD629","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f999354421e23c30630a0d01740b4ef7dffa1bad","datavalue":{"value":"https://mediatum.ub.tum.de/doc/1720092/document.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q6160737$20E23A5C-B817-44F6-842D-9A2D5E1FA2DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160737$31514D62-DEE3-4FB5-86E0-65D1C15186E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160737$73051268-18D2-45CF-81C8-0A1B7FF8C185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160737$B2B4127C-EF3E-4D13-BA1C-012C8DF0490A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160737$A58FED1C-8858-4CF2-910A-6A6FBAC7B891","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4eb83a3b212bea3e76f5b9b7dcd3fa4aacdfb0a","datavalue":{"value":"7701197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160737$C071F7DE-420A-48B7-949E-7FE4C99837A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86aa6a7ee8cefde278b552b1728b64412297ec10","datavalue":{"value":"autonomous driving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160737$AD2CCE22-6D09-4B9D-9929-17125286547A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160737$80FB773A-D950-4B67-8F72-934EB77C8FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160737$37A7BAB5-108E-4AB9-A2F7-5896FF9D8F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160737$C0DD6CAD-7DC9-452C-A08A-CB30494A8A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fb98b1b0d1260ad3bb232576900e6e1506531b4","datavalue":{"value":"formal synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160737$F1118530-9EA9-4146-82F3-9175DBEC7D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09b5eab8cf742fa233b593eaf44f82dd384d365","datavalue":{"value":"falsification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160737$55CAD669-38E2-4864-A94B-A4E5273AD9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cdf1c1bb0c34455c38efcaa0f48c4ee2183838","datavalue":{"value":"monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160737$B0371F70-0B5E-4CFC-876B-8A70B04512F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160737$E86221B9-099D-4E3A-B0D2-FAE90F8115FF","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":"Q6160737$472796C7-B197-4767-99A4-4CD15FB96BD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec81ad1ce0354691de35534bd81928317724dab8","datavalue":{"value":"W4360868502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160737$17BC2BBE-F5ED-4150-86F6-9C34DA04902E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2eddf352ea5aea7df596eeb63c80883f315070c","datavalue":{"value":{"entity-type":"item","numeric-id":5266705,"id":"Q5266705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$E28068EC-93F2-4C36-BCA5-8B0A8BB87055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e0edae619a04e17e20552767154eebf071002c5","datavalue":{"value":{"entity-type":"item","numeric-id":3000653,"id":"Q3000653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$EA6D47CB-7F36-4B95-8723-ED0F5F7771D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$4B7D484D-1E81-443C-8F4F-EEED1D53D639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a7311c2cc3ee6e63514aa6bee27428e1f9211cb","datavalue":{"value":{"entity-type":"item","numeric-id":2012356,"id":"Q2012356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$16B9FCE6-E9D5-4448-9F7E-9013D112EF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff8965be89620f98d881744d90780a6948b14e8","datavalue":{"value":{"entity-type":"item","numeric-id":2988968,"id":"Q2988968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$99E52003-6CAF-4B0D-A0E9-9D4ED2954971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9ea35b820610c11ab3936b16753b197572a83","datavalue":{"value":{"entity-type":"item","numeric-id":5853866,"id":"Q5853866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$2D9370D2-25BB-429F-9D12-9CCB8F2846A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c622e5c5254608c053e6a2602f81ccb7f3796fd8","datavalue":{"value":{"entity-type":"item","numeric-id":4927310,"id":"Q4927310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$26AC7D94-F1EF-47B8-B866-F9697C2C3841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c2b8498694318c794f917284248d4652dc2dc07","datavalue":{"value":{"entity-type":"item","numeric-id":5033885,"id":"Q5033885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$4C9CDC5B-B69B-405A-A15F-9FB119448DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb59f95a4ec367c7f5f9f9d5392eab148502004e","datavalue":{"value":{"entity-type":"item","numeric-id":682357,"id":"Q682357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$F76D01F8-34CD-4083-93B1-8B909E97F133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$4FD289E5-FC8C-4827-B652-D773C011E338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2eb8a2a434847b013fb08b80f02385cf7fcee7b","datavalue":{"value":{"entity-type":"item","numeric-id":5891235,"id":"Q5891235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$96586F17-E402-4D5F-A586-CD59EB0551C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b5c1eeaca4be47a7238679606f140398a17ab1","datavalue":{"value":{"entity-type":"item","numeric-id":4393078,"id":"Q4393078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$1137925E-31AF-453E-8901-4CAC4302E56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$BEC3626C-7724-49CE-B799-65683AE38A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4492c78360a56fa115d2ef4f3289336f1389f7","datavalue":{"value":{"entity-type":"item","numeric-id":6109583,"id":"Q6109583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$40A7C175-8C28-48A0-8291-D1AFCE9C7546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72cb41865cb235d812cbec7253fb221b5bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160737$310387BD-AA52-41B0-B2CB-8CE90EB520F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84b70e327fe83c6d52d58914ee97f6ef22a3f109","datavalue":{"value":"10.1016/J.AUTOMATICA.2022.110692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160737$BB6BE170-86F4-4F61-AC94-4E972FFC3CD2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb74eb51fc4e08f9ff2236d0723886d6f837b04","datavalue":{"value":{"entity-type":"item","numeric-id":5196885,"id":"Q5196885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7942993e38d4378f1ce4511fa405a1dd17cca366","datavalue":{"value":{"amount":"+0.6952040195465088","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":"Q6160737$A19CF1A6-5E76-42EE-A14B-4940F6744B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91f1f425876189b2a7791438f77bc68de9e0b4b1","datavalue":{"value":{"entity-type":"item","numeric-id":6109583,"id":"Q6109583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb0cf3e3036e2c63187c689e3be0240a0822bd5","datavalue":{"value":{"amount":"+0.6897505521774292","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":"Q6160737$4EEF1626-1B67-4E86-91C4-70E50B513114","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":"370cb4641f6ba9da8ad33e80a4e5ab5e51cc7885","datavalue":{"value":{"amount":"+0.6883276104927063","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":"Q6160737$CF0B49BB-896A-4F42-BCFC-6616589191A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b1c934549ad95b5673de0906da7b4777c47d84","datavalue":{"value":{"entity-type":"item","numeric-id":2330586,"id":"Q2330586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb7238a12c3e748745138cb2a6ccb2bc91e5e32","datavalue":{"value":{"amount":"+0.6864537596702576","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":"Q6160737$6C664975-4488-41AE-A12F-02C07BB81249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4867ce6e792bece096e21f88b609d530ff82bd27","datavalue":{"value":{"entity-type":"item","numeric-id":4546958,"id":"Q4546958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39129a372fe29ccc1d3a2e46e9b45def5b0066e7","datavalue":{"value":{"amount":"+0.6836082935333252","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":"Q6160737$DA636848-52EE-4B31-930E-921EC9F870A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160737","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160737"}}}}}