{"entities":{"Q58001494":{"pageid":57916317,"ns":0,"title":"Q58001494","lastrevid":2068007474,"modified":"2024-02-03T13:21:22Z","type":"item","id":"Q58001494","labels":{"en":{"language":"en","value":"Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm"},"nl":{"language":"nl","value":"Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0443 2007"},"ast":{"language":"ast","value":"art\u00edculu cient\u00edficu"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"ecef67e2ca236282ec4eb0009999816477458aa7","datavalue":{"value":"10.1007/978-3-540-73445-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q58001494$17274039-051C-49AD-A99F-437F510515D3","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q58001494$E0210EAE-2908-479B-B131-FB97C5319D68","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"ab5d9144ae5fe61dc7f9559541c4b0c406d9f539","datavalue":{"value":{"text":"Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q58001494$70156659-4935-4FA6-BCB5-3898F540FB60","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"fe413841a368a6ea7e3635286edb54d810ca3523","datavalue":{"value":"177-188","type":"string"},"datatype":"string"},"type":"statement","id":"Q58001494$DF2E3E8A-9B9F-422C-9319-6784D6890DA1","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"f90b18b4de0051bcab34961e21fbcf815c8cd9af","datavalue":{"value":{"time":"+2007-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q58001494$DEBB477B-2709-432D-A3F9-258BE8733B34","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"3015693f9abc71841a3bdca0db9bc5206d5c0b4c","datavalue":{"value":{"entity-type":"item","numeric-id":924044,"id":"Q924044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q58001494$D2F7F2BB-F1BC-40A3-9184-A656E4030A7C","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"09eb3369b2052c166668ad77f4962b508c38d224","datavalue":{"value":"Andr\u00e9 L. Galdino","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q58001494$EB535AF5-B634-47F4-A646-6736B1CA07C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"10f89edae67c39bab3a74cebced558a149d32b38","datavalue":{"value":"C\u00e9sar Mu\u00f1oz","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q58001494$10664C6A-0BC3-4BAD-BE50-50545232C883","rank":"normal"}],"P407":[{"mainsnak":{"snaktype":"value","property":"P407","hash":"daf1c4fcb58181b02dff9cc89deb084004ddae4b","datavalue":{"value":{"entity-type":"item","numeric-id":1860,"id":"Q1860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q58001494$0D7E3703-7026-4C20-A922-3C61E9946F8B","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"9742f7cf709d777f58573a8ff762da987511d695","datavalue":{"value":{"entity-type":"item","numeric-id":57444579,"id":"Q57444579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}],"P1932":[{"snaktype":"value","property":"P1932","hash":"5acbf67e49d35b8a4cfcab3fa9fc14f27615e39a","datavalue":{"value":"Mauricio Ayala-Rinc\u00f3n","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545","P1932"],"id":"Q58001494$413A41FC-ACD7-47AE-B35D-A3C54FC8B19C","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"35df63e13d50d125defd9d95e3e252200fe25906","datavalue":{"value":"conf/wollic/GaldinoMA07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q58001494$B9398B5C-1EFC-453C-8A95-F9C03D396467","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}],"P921":[{"mainsnak":{"snaktype":"value","property":"P921","hash":"7b5d211095323920e7f22ea197f648a51cda8410","datavalue":{"value":{"entity-type":"item","numeric-id":1194317,"id":"Q1194317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q58001494$7A0391C8-D884-42C2-80FC-D2B903A78B3D","rank":"normal","references":[{"hash":"0723282bb80042897ca697416c050b4bf7fb5428","snaks":{"P887":[{"snaktype":"value","property":"P887","hash":"2009eafb2646ea71bee7372b061e8521ee613fc2","datavalue":{"value":{"entity-type":"item","numeric-id":69652283,"id":"Q69652283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P887"]}]}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"7ebd4eb741216e88a697665aeaae7a6eada0df62","datavalue":{"value":"1213.90082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q58001494$53DBE91A-71BC-4FAE-8036-4ECCAC11D799","rank":"normal"}],"P6104":[{"mainsnak":{"snaktype":"value","property":"P6104","hash":"a27c5fdb35b42381f12b2a603711e56d98dd77fd","datavalue":{"value":{"entity-type":"item","numeric-id":8487137,"id":"Q8487137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q58001494$8691EDF4-C238-449E-9252-16CE2CD1F83F","rank":"normal"}]},"sitelinks":{}}}}