{"entities":{"Q3179406":{"pageid":3190114,"ns":120,"title":"Item:Q3179406","lastrevid":86392742,"modified":"2026-06-03T19:56:02Z","type":"item","id":"Q3179406","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 6667712"}},"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":"Q3179406$88420C1D-97EF-4E66-AEF0-8396A9DDD237","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1a6c0d381998c10260af026c4ca6442737d2c8a","datavalue":{"value":{"text":"An Abstract Model for Proving Safety of Autonomous Urban Traffic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179406$DB25B6E3-F15D-43A4-88E5-4271BE89422F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fc3df8d58caa70982ab9e0d34fb5de75df56cf2","datavalue":{"value":"1401.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179406$EA132B2D-A62B-4472-89B5-D1441C483165","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c34ce3ed151cb40a47c84a014599a0c6da2ee4d","datavalue":{"value":"10.1007/978-3-319-46750-4_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179406$3D507ACD-4BBC-4E89-B849-42B065CE2976","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5548d7cf5290f6d78bc33cdfb6d9cc0de5f5a2e6","datavalue":{"value":{"entity-type":"item","numeric-id":2842636,"id":"Q2842636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179406$22333A51-2009-438B-A066-58D18B311EDB","rank":"normal"},{"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":"Q3179406$F01CECD5-07EC-4250-B542-4066191729A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"96b799bc507f1a598de85f391b2f2fb813846caa","datavalue":{"value":{"entity-type":"item","numeric-id":3179386,"id":"Q3179386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179406$97CAB6E2-129B-4756-85C4-CA7C0D448866","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179406$AF610672-CBF2-4599-8F57-D2AF0817C55B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179406$E1497AAD-0DAF-4797-86C1-566811EC1837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179406$ABC2BE3B-4BC5-4C60-B4E0-A2480BD2AA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179406$8F2A12AC-AAEE-446B-B387-CC71A4DE3C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c819bcbc5228a4c15a0698bc48e27bac5cf3646","datavalue":{"value":"90B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179406$7BA7BB3C-715E-48A7-A6CE-DD7AE4B0525C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b08d81035869fa0da6ead727361dc09e6c9ba70","datavalue":{"value":"6667712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179406$E900CE63-8AC8-4941-835D-D7FB55F04316","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec4de4acb1cebeeb6e564178f7885b949198b6a3","datavalue":{"value":"multi-dimensional spatial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179406$2352EE45-6DA0-483B-8478-5165EB62EA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3df514235bc7c9cafedb9e0ff97f893eb7d09744","datavalue":{"value":"urban traffic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179406$4E9E80BB-D8A3-4C1E-8151-954F9D4290BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"309963245c62b958c70cc5d83d21f0bc943e8163","datavalue":{"value":"bended view","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179406$C88F218D-567D-4922-9F13-AD51F8680F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"576de5fb7ef1690a0bc78e19182b3b621a477255","datavalue":{"value":"virtual lanes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179406$939DD230-A77E-459E-B6DA-7158956FED78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25d87f977ce6e8121d30a3072ae33fd408ff3245","datavalue":{"value":"autonomous cars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179406$986A4F1A-BE75-4049-9055-F2ED0599FC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b930ce8c0845826565b4b12794449f21a08e752d","datavalue":{"value":"collision freedom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179406$59B49891-A1A2-4EF0-94D0-672E5FBDA52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179406$9F1AB427-7F25-4A25-A332-03E9CC4EB64C","rank":"normal"}],"P1463":[{"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":"Q3179406$2A2AD9EB-5FA7-4771-95D8-C1A2374B6E7A","rank":"normal"},{"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":"Q3179406$2D72AC03-82FA-433B-9A3F-825C0C7F31E4","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":"Q3179406$9F96FCA5-409D-4E2C-88BD-435B032C02D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02766b3dd46a44de08bdff26b781706f64dae017","datavalue":{"value":"https://doi.org/10.1007/978-3-319-46750-4_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179406$C3109A79-05A2-4BC7-931E-B81781C4E67D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91fb2db02402f4be91d13781744f783b85bdce66","datavalue":{"value":"W2521296615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179406$0A997E38-22C5-443F-BD07-02B7001BB553","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":"Q3179406$CAF28741-9F9A-4B9C-BEB8-E6949E9F4F37","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":"Q3179406$6B8965F1-045E-4D44-8B19-1D8A75B91408","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":"Q3179406$050F4166-D486-4DF1-86D3-C35ACDFCBE73","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":"Q3179406$E6B5EE8D-AB52-4577-8C5D-423158C3B859","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":"Q3179406$156705F9-EACC-48E9-BDA7-1B6A3D1D33F9","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":"Q3179406$9905114C-2E70-4840-A3DB-A9D3467FDF0B","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":"Q3179406$4A963A80-9428-4AFA-9AED-DEF958334191","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":"Q3179406$0AF239C1-E8CB-4CBB-BEE4-B03A9541436A","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":"Q3179406$AC3CD624-8B4A-4604-81B5-4EC1AD6884B5","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":"Q3179406$A9BAB48B-EB3A-4DDD-95B1-EF66E547F6FF","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":"Q3179406$41EBD06A-A324-4F34-8A7E-AB7E60248489","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be2b1acee85bf330b149e2790634fe679158554c","datavalue":{"value":{"entity-type":"item","numeric-id":1786569,"id":"Q1786569"},"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":"Q3179406$E9D984E1-76DC-437D-B6E6-561BA3E1EA47","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":"934c1503c7536bc21f24979d42738b52f765c79d","datavalue":{"value":{"amount":"+0.8205685615539551","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":"Q3179406$9C9E6BF4-28C2-4C91-BC2D-B84543B228D6","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":"14a38edc67c223cf3af8d7734cf329f7d17dc058","datavalue":{"value":{"amount":"+0.814842939376831","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":"Q3179406$EB284E8B-A5EF-471D-8D46-ED918610B17E","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":"b53fea1a99310e6c03195bdac839a9838b4a643f","datavalue":{"value":{"amount":"+0.8023214936256409","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":"Q3179406$E73C916A-889B-4958-BEC2-28431ABBFDBF","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":"ebf39de1d0aa0443b098a3517daa10afa6ecf4e9","datavalue":{"value":{"amount":"+0.7719146609306335","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":"Q3179406$F63C966C-775E-4011-B8AA-A92CEF87D6E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An abstract model for proving safety of autonomous urban traffic (scientific article; zbMATH DE number 6667712)","badges":[]}}}}}