{"entities":{"Q1786569":{"pageid":1797311,"ns":120,"title":"Item:Q1786569","lastrevid":53210600,"modified":"2026-01-24T11:34:40Z","type":"item","id":"Q1786569","labels":{"en":{"language":"en","value":"An abstract model for proving safety of autonomous urban traffic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6942954"}},"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":"Q1786569$B3DBEEA3-2DBB-414D-A216-00EFF1F936DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17a9740994ba39a6aac5e4026f252e54b7e40eaa","datavalue":{"value":{"text":"An abstract model for proving safety of autonomous urban traffic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1786569$53E7CA5B-DAED-4384-8AC2-B24710297E3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f92910697a77bca8c08b9826d77673045bbf855","datavalue":{"value":"1400.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786569$F80A0A79-334F-4191-B1B5-C37EFC4A8C7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82d4a78c46924aec4941efc0d66d76e3630d47c0","datavalue":{"value":{"entity-type":"item","numeric-id":1786568,"id":"Q1786568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$0806DC71-3867-457A-979E-57A0F26D9641","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$EFF7EF89-A5D8-49D4-8E4F-5265081028CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ed40e224e7b432b4f548a0bdc7aa3f47cf4ebf6","datavalue":{"value":{"time":"+2018-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1786569$16BFDF24-FECB-4830-B5AB-B9C974D79360","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786569$D65FFF02-DA26-4195-BFB7-D3C90AA14B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786569$4EF41A06-A153-4A6C-8F6E-7BE60B19591C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786569$509B28E8-C9B6-4DB6-974C-9C853AA5934D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c819bcbc5228a4c15a0698bc48e27bac5cf3646","datavalue":{"value":"90B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786569$9778D005-B129-4755-84CC-C020F01FAD88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3cc97f29b666bf7fa7fd3428a29ac801e4a4a52","datavalue":{"value":"6942954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786569$0FB915C1-89F0-4834-88DF-F6FAA578D1F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec4de4acb1cebeeb6e564178f7885b949198b6a3","datavalue":{"value":"multi-dimensional spatial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786569$7B073258-0614-40F0-BFBB-4B620C660606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3df514235bc7c9cafedb9e0ff97f893eb7d09744","datavalue":{"value":"urban traffic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786569$0A8D7167-D979-4B61-95C7-B5C74F63CB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"576de5fb7ef1690a0bc78e19182b3b621a477255","datavalue":{"value":"virtual lanes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786569$99566281-0280-4AB0-B764-230CC1C26D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25d87f977ce6e8121d30a3072ae33fd408ff3245","datavalue":{"value":"autonomous cars","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786569$AA1816A0-2638-4E65-AB56-18CDC89D46DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b930ce8c0845826565b4b12794449f21a08e752d","datavalue":{"value":"collision freedom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786569$2F4FDF5A-F906-4C0F-A512-AF7330B0C486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786569$67D35159-844E-45A8-88A5-48276D53C54E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$D1F09506-2F2D-41E4-BFD8-A413F1F28E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$E7C1B0DB-08FF-400F-9B8F-D8B382FDEDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$9FD8B84C-96F3-459D-9C7F-2F0B980EB5F5","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":"Q1786569$BE11DA0B-006C-486B-A092-38E2D6620F94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f8286adf9160eed7f89446e3ec57338f0f5fb56","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2018.05.028","type":"string"},"datatype":"url"},"type":"statement","id":"Q1786569$ABD3ED44-E2C1-4B75-9ECC-5255A0BD01FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e73c72f9b55d53c628b9477fc760da549535f86b","datavalue":{"value":"W4256369226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786569$968FFD30-4CCE-4ABA-9144-94C42080E64F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65bae0a4390e65340f420536067875122dc75b64","datavalue":{"value":{"entity-type":"item","numeric-id":2842637,"id":"Q2842637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$761C1ADC-32D7-47D5-A894-093529E6CA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$E60A81DD-F642-486A-94B3-2CBF68EF2D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf555d15b2fe30f8e2c5fd6c69a5ff281a757e1e","datavalue":{"value":{"entity-type":"item","numeric-id":3179406,"id":"Q3179406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$3D9540C4-C9EA-42A8-BE8C-089A3CB4A757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$448A9935-4245-4AD0-AAD7-D08F568072C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$6EEE6416-BABA-42FD-8E9E-023419F203A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a0e6c42224ac955b90bcfa40eb3d980fc72c83b","datavalue":{"value":{"entity-type":"item","numeric-id":5709996,"id":"Q5709996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$74E3768A-4A3E-42FC-9243-37DDEBCF11EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f92d46d431de5798bd65e7507e4e4b5b25e07e0","datavalue":{"value":{"entity-type":"item","numeric-id":2787438,"id":"Q2787438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$8AEC81BE-674F-4AFD-B97F-BEA1914A9B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e981a91be2cdda019f4c8f70ca15ce9f3ef20b3e","datavalue":{"value":{"entity-type":"item","numeric-id":3449630,"id":"Q3449630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$52E9BBB6-4A1B-4C98-B382-8CF01F213013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$7EDDD1C5-00A0-4459-860D-80418819CDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe1292e89c1b028144c38d852d42313fc9b3861","datavalue":{"value":{"entity-type":"item","numeric-id":2986762,"id":"Q2986762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$D6D1E143-9316-4205-B364-24AEE9A5AA6F","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":"Q1786569$26C79098-37CE-4772-90C7-5D30217BB56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f252ff86822bd99498e2b094b9f770ad55f5bef8","datavalue":{"value":{"entity-type":"item","numeric-id":3636860,"id":"Q3636860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$D58A847C-45E4-4BB7-8881-A52A0F932C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79615e9fb0f707674c996e6683a400855fede347","datavalue":{"value":{"entity-type":"item","numeric-id":939170,"id":"Q939170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$72CAD974-7683-4785-8FBE-6D8D69E6504D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17818e0f4bd44c6e6b9f5f3b3fc9f2ec9fe811ff","datavalue":{"value":{"entity-type":"item","numeric-id":3442637,"id":"Q3442637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$22BFAEAB-848D-4DA9-B45B-DBD561B4A21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbff59925d294314982345f733d0e34d52b05dd2","datavalue":{"value":{"entity-type":"item","numeric-id":5892109,"id":"Q5892109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$BEEE7A7D-AE2F-4C18-8229-67B2D12CE301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$2920FACE-347C-4E1C-8E44-E9499EE8DF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041ab550a789d12d209eaa58daed59a38ea5abf0","datavalue":{"value":{"entity-type":"item","numeric-id":2986959,"id":"Q2986959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$921C2381-1046-44D2-BFDE-A98726EFFC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d56a20d7d8073ef06efa9a37f3a81cd48753df","datavalue":{"value":{"entity-type":"item","numeric-id":5217317,"id":"Q5217317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786569$42F89732-8E4B-4BBA-8723-CB3E94F37C3A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"83198f6dbf88047a1982865e571ec7f75c607c42","datavalue":{"value":"Q129377780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786569$4DBBB42F-CF2F-491A-AB4C-5727B1DE2163","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eefa415ed7fa825f5dc2111fac9ce8ec1ab72faf","datavalue":{"value":"10.1016/J.TCS.2018.05.028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786569$DC883CC8-9D2F-4F45-BE69-A69D70DAB313","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60618ccd32792a285023be563389110923ac2ba","datavalue":{"value":{"entity-type":"item","numeric-id":3179406,"id":"Q3179406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7a81ce99a714c8ded70f7ead5001d1c46911682","datavalue":{"value":{"amount":"+0.991266131401062","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":"Q1786569$B0D3D10A-B09A-447A-9801-96F7973EBCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0ebf3120f5bb25f370aec1b02407ca66a7218c","datavalue":{"value":{"entity-type":"item","numeric-id":2842637,"id":"Q2842637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad79a83180983e553c9186f14b51cd2afd9379f0","datavalue":{"value":{"amount":"+0.8319962620735168","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":"Q1786569$C44196EC-E91A-4AD0-83CF-BE6AD6590F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9aef2efa8a8c73ba9339a69c677721162ce5c35","datavalue":{"value":{"entity-type":"item","numeric-id":5891235,"id":"Q5891235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fcaf933a260e05cda51eae5af3b38e172485004","datavalue":{"value":{"amount":"+0.8292639851570129","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":"Q1786569$5602BC59-347E-4325-B011-88C8322A2055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb81fa0f15d81d723bc579abf62b68da5f062dc","datavalue":{"value":{"entity-type":"item","numeric-id":5892109,"id":"Q5892109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a908fcd0450e06df21bc96ea22f440bbee4ede9d","datavalue":{"value":{"amount":"+0.8174008131027222","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":"Q1786569$A5544FE1-E9A1-42B6-9CC2-2F1DE069C954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3e813bb9128e54fc47cefe438f6e94056b1c7a0","datavalue":{"value":{"entity-type":"item","numeric-id":3449630,"id":"Q3449630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3717f52578d759f6fc8a8dc2707c84f4b6a8041d","datavalue":{"value":{"amount":"+0.7805622220039368","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":"Q1786569$D02C2AA4-CB4C-4EF2-9F69-D5185DEA5728","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1786569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1786569"}}}}}