{"entities":{"Q4560620":{"pageid":6590210,"ns":120,"title":"Item:Q4560620","lastrevid":82105079,"modified":"2026-05-06T20:06:50Z","type":"item","id":"Q4560620","labels":{"en":{"language":"en","value":"Formal Verification Applied to Robotic Surgery"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6992576"}},"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":"Q4560620$C244C680-231B-4B5E-BA4E-9D06CBBD69AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68f7b85bc4c32b4a105da7730f7a0a6f33792839","datavalue":{"value":{"text":"Formal Verification Applied to Robotic Surgery","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4560620$97393989-73F4-4335-B612-2A3E2DF19F1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67160fd7647cc76b814c32fc9d8a450ec76bc4b4","datavalue":{"value":"1403.93140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560620$CF99376F-2F68-4E0C-84AB-FD76608F4C84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d0310ea43f074483a35e36018628c9604e7e9ee","datavalue":{"value":"10.1007/978-3-319-10407-2_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560620$B67699EE-728F-47F4-9385-D7F7A79ACF1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afe43cfa2c061b3b7d8a7e16151088777e5d4d9","datavalue":{"value":{"entity-type":"item","numeric-id":391102,"id":"Q391102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560620$829CEE62-217F-442E-B506-B4319D303A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8d002fb06ccf000e382baf5700f594e70e0c8d3","datavalue":{"value":{"entity-type":"item","numeric-id":2677087,"id":"Q2677087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560620$3B25A213-952F-4D2F-B70C-E3C211105045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f762b7a7736892f61df4b84763ecae4a0a8103bb","datavalue":{"value":{"entity-type":"item","numeric-id":826830,"id":"Q826830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560620$3D3CC930-C74C-41F2-A204-BF0EC9F93132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acf4d9fd8ca9cac20284d90cd4a447af0dce0d2c","datavalue":{"value":{"entity-type":"item","numeric-id":1648009,"id":"Q1648009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560620$65F57E76-42A7-4025-8E91-079025D5CF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f89ef066096ca3e248c3cbc97dc37d82e003c08","datavalue":{"value":{"entity-type":"item","numeric-id":1020550,"id":"Q1020550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560620$C0594F6E-2A79-469E-8494-5808D32B3A1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40732d955201863fdcfe9e0e51b308af3a2d3cf1","datavalue":{"value":{"entity-type":"item","numeric-id":4560592,"id":"Q4560592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560620$6507C8F8-3D4A-4F32-8742-AAD10EF4FBBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84c7fbcde7ae48252617c6fbfdd934a12e29771","datavalue":{"value":{"time":"+2018-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4560620$5D3022EF-373F-49D7-866D-3497F82EC6AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a94d5bf6eab7bddc9c7abbdf41796f52c9b87335","datavalue":{"value":"93C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560620$B6C478D9-3D2C-4560-90BE-F79C155C7166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560620$C035EEF1-9988-4BB8-9710-F27280D01795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6cb186f7c907ca60893d849df7e69a98dd343f1b","datavalue":{"value":"90B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560620$8122A262-410C-4E08-A08F-1CDD4230C4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560620$DCD73D10-FA6D-493A-9847-1C8371097DB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"008603731a45a4c4497e144255f869d19e840135","datavalue":{"value":"6992576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560620$30133900-E6DB-472E-B938-1AD38DC599FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68ca9e8f6f85db0c4e16d1f128b57f213192f250","datavalue":{"value":"safety property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560620$39A8F4A0-AEA4-4055-B195-52C066A92E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560620$166C5C74-67BF-4FCA-97F3-5E8B0AC0EDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59eda70c244fb8c63c77f7a6a36a125fd8085ddf","datavalue":{"value":"hybrid automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560620$48227BAE-B1E0-4BD0-B172-EC93BCC22A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560620$8246406A-2182-4F4F-A27E-DB624D9F6CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49cad5944e38012d3b8e8984b160bbcb6b89ccfa","datavalue":{"value":"state space representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4560620$D3AF6FBF-E038-490C-885E-E873087EC555","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560620$8474AAFC-0BF2-4E68-889B-AB49A023F2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560620$D4CD4213-6928-41DC-9555-2BFCD0491841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8c4e5ad6deb5e7808f1cb222bda8db7c643ff92","datavalue":{"value":{"entity-type":"item","numeric-id":19449,"id":"Q19449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560620$1966A4EC-191B-4020-823F-14F1E3A28B96","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":"Q4560620$67362D79-8EF4-48AD-B58C-87ABA8110B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fa3b81611e1bf0770894470aca332a1511c9c7e","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560620$E7FDF892-A843-4FED-B35E-370E19EAA8CE","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":"Q4560620$7D6DC1B3-A919-4F3D-975C-206A0A3BB622","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ddb24dfcc3b3c21361ba25bf5ca0917d25048c8","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10407-2_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q4560620$A7C768D5-7488-449A-B930-B05DEABB62EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87917352fd951edb88b402393c6aa71ffb8f89ba","datavalue":{"value":"W174241075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4560620$3F1BA8A9-A2DD-4328-BF42-28540EA03841","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4099c2dffdc34c9a8cc569c4ebb17f8d9459681e","datavalue":{"value":{"entity-type":"item","numeric-id":2368954,"id":"Q2368954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560620$96382608-EA93-4811-A888-ABED8E95AF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0eb2d92e10c24dc1e8b70a007cfdb556d6a574","datavalue":{"value":{"entity-type":"item","numeric-id":5408048,"id":"Q5408048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560620$BC08F311-94C2-4A1F-A824-F98E3D1A9886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b055b28c3ecf01ed8cfc370eaa73dc48a2d0ca26","datavalue":{"value":{"entity-type":"item","numeric-id":5703953,"id":"Q5703953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4560620$4BA95495-B95B-4F33-9C75-97C0013254DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c020f4e830ba582e5d03d27e7de7d8a2ebe79f43","datavalue":{"value":{"entity-type":"item","numeric-id":2359768,"id":"Q2359768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e5ac754a86e94f434fc80d03b375d746f30b36","datavalue":{"value":{"amount":"+0.88783455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4560620$D873517B-E79C-4324-B8C9-7C3894A9AF00","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":"0c23bb5ebbce64ed2ce391777dc492caa3fd80ce","datavalue":{"value":{"amount":"+0.86148137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4560620$7AC0437B-F14F-4E7E-99BB-0F446E891555","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Verification Applied to Robotic Surgery","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_Verification_Applied_to_Robotic_Surgery"}}}}}