{"entities":{"Q4647849":{"pageid":6677430,"ns":120,"title":"Item:Q4647849","lastrevid":97959326,"modified":"2026-06-05T15:55:19Z","type":"item","id":"Q4647849","labels":{"en":{"language":"en","value":"Satellite rendezvous and conjunction avoidance: case studies in verification of nonlinear hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6103231"}},"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":"Q4647849$9EEC7569-10D6-4740-A694-2B32887128A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b0dc36f2cf412699b410d020ebf350a72ae2001","datavalue":{"value":{"text":"Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647849$B398E81D-9DB9-4737-A4A8-5E7CC59786D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36d302a7e8246dc0d9b5fac883ecfd82a65e4cfd","datavalue":{"value":"1372.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647849$6DBD5F04-C35E-4407-9BC8-33A7F8C15F85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f9ee3169bf0eece0a384ab4bcc8fb575d980b4a","datavalue":{"value":"10.1007/978-3-642-32759-9_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647849$0797C4A3-4832-4275-9776-FB2019CF7DC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e69541f5d9e9de0adc652cdfebff99a31ad41bfc","datavalue":{"value":{"entity-type":"item","numeric-id":832179,"id":"Q832179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647849$56A69A94-0B62-44A2-9526-8311FB43AA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4a785e25ecc51f1765dd92e2a67d5dcfc955650","datavalue":{"value":{"entity-type":"item","numeric-id":4647847,"id":"Q4647847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647849$60474B0A-B110-4014-849F-234CAAE78150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90393429fed72c1283fc5e6b05722ab07dfbec00","datavalue":{"value":{"entity-type":"item","numeric-id":432131,"id":"Q432131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647849$F0695E31-0311-4112-B0A0-BA29B7AE8D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1968b13ab569106d21f95569a0fed937c2c50f2","datavalue":{"value":{"entity-type":"item","numeric-id":4647848,"id":"Q4647848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647849$B2606CFE-6CA3-41D2-AF7D-67DE22B9ABC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf218eede4f5af49df915fc9aeccdbd7a48dc26a","datavalue":{"value":{"entity-type":"item","numeric-id":501102,"id":"Q501102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647849$9EB78F71-90A9-461A-A323-0FC308033EAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47b8cd0ec3e8f1eb6cea8b605a2e9da8ee4c97b7","datavalue":{"value":{"entity-type":"item","numeric-id":4647826,"id":"Q4647826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647849$DF169DB3-9D21-4D30-862B-410E6821E2B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fd40b453552197bf6992e0512f747c68abfc621","datavalue":{"value":{"time":"+2012-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647849$626FA20D-C983-45D9-A246-5CAC12BBAB18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647849$522E46D6-FDD9-4A90-9944-5EC4F28D14B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647849$421F648B-4482-4FBC-B441-80E4B0577FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647849$9122BEBF-2958-41A4-93D8-47253C3EE2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647849$81B3CF98-FDE9-48DE-A7CE-075DF4401EEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"736ebe232b23e3f42d896cf06f2a37e6d085f6c6","datavalue":{"value":"6103231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647849$4C26097F-682F-4C3B-A5D1-A2C0A20F450E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ecf06cffba242e0c295f5ae6114c27ad993b6f5","datavalue":{"value":{"entity-type":"item","numeric-id":22780,"id":"Q22780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647849$992EF948-7553-461B-B0C7-94EBFF63C6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e57bdc762f9f3edfeef64e204b4ad9bd2d44d8a","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647849$5B18B5D2-9C0E-405C-81C5-A06E6C35E493","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":"Q4647849$203D224E-99F2-4443-BF50-255C1BE256A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5321bd1e968b46261540a98bab8544b8e7967a90","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32759-9_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647849$2239C0B2-E31D-45CE-B67D-A79B9CDE4FB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd25716ab58b52d2ab146d911cb067bde08ffe06","datavalue":{"value":"W1606346370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647849$CD54EB88-949C-4025-930B-0BC1D62B06C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e01117554cf20c9215b45a52e97248033fa135d","datavalue":{"value":{"entity-type":"item","numeric-id":3426788,"id":"Q3426788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa38d338d53bc5127c2af36af08bb34d16ce9d42","datavalue":{"value":{"amount":"+0.6818228960037231","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":"Q4647849$25819162-E621-4924-A2F4-853465DCC680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de3de4ea3881304cfc8a9c65394153af64228c8e","datavalue":{"value":{"entity-type":"item","numeric-id":5491856,"id":"Q5491856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6d677d833d640599fa9fe1d4f5f05167dd80627","datavalue":{"value":{"amount":"+0.6806807518005371","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":"Q4647849$035E27FC-EB5B-4B64-9A08-3949DFB5CAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32cc0bb4f7460644325c246c019b7f21cfdf6d63","datavalue":{"value":{"entity-type":"item","numeric-id":4536753,"id":"Q4536753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0283d5104f7d922c14b08808592d37d7ecd80fe2","datavalue":{"value":{"amount":"+0.6763871908187866","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":"Q4647849$437DF9C0-13B1-486D-A6C0-9190F2A5E1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41c64b36cac2fd0c2c2f23f10bcc7c4a958fb60","datavalue":{"value":{"entity-type":"item","numeric-id":4672469,"id":"Q4672469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07f9c005f342abd47042e75c96f7eec88f435ca8","datavalue":{"value":{"amount":"+0.6761749386787415","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":"Q4647849$9F5784EE-29A6-4CAB-A4A1-07C78E327AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf451fe5a9a21a85e65d5ccb534cf4e2bf3375b","datavalue":{"value":{"entity-type":"item","numeric-id":4554783,"id":"Q4554783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb3e9b9e9d4a24e03dff1fb1c887735d5c5dcca","datavalue":{"value":{"amount":"+0.674983561038971","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":"Q4647849$EB26B85E-5401-4915-9CF6-7CCCD908E0C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satellite rendezvous and conjunction avoidance: case studies in verification of nonlinear hybrid systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satellite_rendezvous_and_conjunction_avoidance:_case_studies_in_verification_of_nonlinear_hybrid_systems"}}}}}