{"entities":{"Q6156933":{"pageid":13291507,"ns":120,"title":"Item:Q6156933","lastrevid":47861896,"modified":"2026-01-02T22:07:18Z","type":"item","id":"Q6156933","labels":{"en":{"language":"en","value":"Formalization of the inverse kinematics of three-fingered dexterous hand"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7697491"}},"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":"Q6156933$0BC0EDF6-54B4-4DD0-82B4-4991B9A9C93A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"159573fec9fe1fb47471614727c3eb2921b00e1a","datavalue":{"value":{"text":"Formalization of the inverse kinematics of three-fingered dexterous hand","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6156933$ABA8AB60-E9A9-4FD6-9A83-3913FD1E213D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c023a582faca23b42fc417c2b4f8794385683535","datavalue":{"value":"1520.70003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156933$0CA087B8-1778-43C9-B2F5-14DA6CCBB73B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d718f2f7e46bc75441b1903120d3afa836e7b32","datavalue":{"value":{"entity-type":"item","numeric-id":1956042,"id":"Q1956042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156933$2599748B-1E1F-49BB-B6BF-C3A71B96D1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f348f228a30d891be6bc66d294e0df5a7db68584","datavalue":{"value":{"entity-type":"item","numeric-id":826354,"id":"Q826354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156933$A4EA152A-5FE6-49D4-BA5E-5AF305C35DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bad697f6be27ac07cc0bac5f2074dc40ed884baf","datavalue":{"value":{"entity-type":"item","numeric-id":258539,"id":"Q258539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156933$2EE68030-2A16-45F8-8050-1CEF38414A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb41e43426ff3ff3f8a93f102f45b1fd00efc7eb","datavalue":{"value":{"entity-type":"item","numeric-id":826357,"id":"Q826357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156933$11633EAB-C6C3-4420-B196-F143CCD4E010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a481b0cbefd70cf303287edb03f873412bc5d3db","datavalue":{"value":{"entity-type":"item","numeric-id":826355,"id":"Q826355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156933$EE9708CC-5EFC-4E0C-A57B-C89F4C6CD08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e66e50d381800d17b26cd1baab7968215c6122c2","datavalue":{"value":{"entity-type":"item","numeric-id":2031405,"id":"Q2031405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156933$06E4D2D4-EAE8-49E8-B2B6-8DF38B790483","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156933$B440C13D-6729-4486-83FE-7B61C88EC38E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1568bcdbc15a3da62bd02289f2e9e5d50d8fef1d","datavalue":{"value":{"time":"+2023-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6156933$3112E5FC-6037-49EC-876A-51E13AC7254D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb10c5e70fbcf10d1a443e0f440f59afd892b872","datavalue":{"value":"In this publication the inverse kinematics of a specific three-fingered dexterous hand is solved using the mathematical theorem proofer HOL light. Some basic definitions are followed by the solutions of a few Paden-Kahan subproblems using screw theory. Finally, the inverse kinematics of the index finger and the thumb is solved as an example by using the forward kinematics in matrix form and applying inverse trigonometric functions and the primarily solved subproblems.  Within the article the authors show HOL code lines together with theoretical descriptions of the problem and the solutions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156933$4F8EB5F7-8139-46EE-9E3F-7F149ABE77EC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e154aca1f0c7f8569a7edc3d36ffd5eaf7ac1b58","datavalue":{"value":{"entity-type":"item","numeric-id":857236,"id":"Q857236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156933$C35E6872-7E16-4877-8908-14879F286DB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3c9759ba1beabf7a5237e2e05cc9f021be9a23e5","datavalue":{"value":"70B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156933$B31C03F3-08BF-47C5-93E7-8E940FE53833","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cd8476a25b4dc2a37d43301fc00813e20c7b16b","datavalue":{"value":"7697491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156933$E68F96A9-FF3F-43D2-8D68-005A31BCB71A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27014f9c094456ad7b3468de0eb597749f6d1d05","datavalue":{"value":"three-fingered hand","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156933$D5375025-F5EE-4B43-B3DB-F819EBB2637A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"386a987f98961115b341c68dd3871d9d4bd78454","datavalue":{"value":"cyber-physical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156933$9C6766B6-F936-418A-ADD3-FEC487ECFC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156933$6D87297F-C79F-4D5C-80FD-4A3824CAB880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8cc53eb1cd41b56eca33ea1341464d489fa063","datavalue":{"value":"mathematical theorem proofer","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156933$78DC3340-ED17-4A8E-803E-ED09BB9F0C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80bc4b79bbbb8bf7a901989b24f4d4a1fff118a5","datavalue":{"value":"Paden-Kahan subproblem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156933$B60A8A86-05C0-489A-A31A-8F268DC98766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2edfadbaf67367fe986c818848f6c0d3f1571ff3","datavalue":{"value":"screw theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6156933$0BA9B7A4-AF65-402F-BECD-5EE462E95683","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":"Q6156933$10C4B479-D1C0-482C-888C-3A2DA6185685","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f267266d3764c5f94a1456ffc79d681481fb107","datavalue":{"value":{"entity-type":"item","numeric-id":939901,"id":"Q939901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156933$75A778B9-3DB4-4666-A5B7-DE7A49B3D672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10a891d9c413c17b05809734b1a8fdee66eb0ace","datavalue":{"value":{"entity-type":"item","numeric-id":4325915,"id":"Q4325915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156933$5114A56B-4F29-43DA-A544-3ED73BABB6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"994405f9787837379ec36da5eede9f490ece1098","datavalue":{"value":{"entity-type":"item","numeric-id":2198134,"id":"Q2198134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156933$5373B952-0EB6-4484-88DE-017535BDB878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ef84619234e2e46e8c4513d6d1ef3cba6f5b65","datavalue":{"value":{"entity-type":"item","numeric-id":1945903,"id":"Q1945903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156933$CCBC5A0E-93F4-43CA-AAAA-75DC3B481064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156933$A2971D9C-FBAA-43BF-9AE9-9477FAF5FD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a69741364102658aa60a87b94db8d7506ce725","datavalue":{"value":{"entity-type":"item","numeric-id":3183517,"id":"Q3183517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6156933$12275A0E-E831-4D9C-A34F-6CC066237E87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"588bb586658f21913fa8506151e0147871106aef","datavalue":{"value":"10.1016/J.JLAMP.2023.100861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6156933$ADD3D519-6E73-45D4-86B7-0D6CFFDD98AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f3d88b61e18f3ba4b952bc5fa6ad5a4f08254b","datavalue":{"value":{"entity-type":"item","numeric-id":3493480,"id":"Q3493480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05cc3320e3ced98dc9099fae1974c2a5369fd944","datavalue":{"value":{"amount":"+0.7311390042304993","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":"Q6156933$8F05B2C4-A752-4C11-8537-8331C69EF922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca6c735582e542deb5b9acaf7553e9c02cbf3da8","datavalue":{"value":{"entity-type":"item","numeric-id":4269700,"id":"Q4269700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff0917b8664e4e0471bbea680a8bcba29a9df482","datavalue":{"value":{"amount":"+0.712349534034729","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":"Q6156933$0EC6FE50-6E6C-411A-A958-006FC4B64F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54c505575a916087ef522ac2fb521c39aa142f6","datavalue":{"value":{"entity-type":"item","numeric-id":1199135,"id":"Q1199135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82371b6bef8cc1abb4744d35966350623e1a2cd5","datavalue":{"value":{"amount":"+0.7099094986915588","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":"Q6156933$3080EFB5-654C-46F3-A6F8-F78424676137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd23c335a1ee9d3ddb6db6d2d181e60e0539c705","datavalue":{"value":{"entity-type":"item","numeric-id":612234,"id":"Q612234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dadc055d521bc95c8906f2dad37e2509fa0674fe","datavalue":{"value":{"amount":"+0.7039278149604797","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":"Q6156933$9DFDDA13-03E6-4F58-B430-F56019D443A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b01ed32b458c7b09643222bc744a062fdfd1ebae","datavalue":{"value":{"entity-type":"item","numeric-id":3358276,"id":"Q3358276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da985a7ccb8fb7355627e821f476876b71f283e2","datavalue":{"value":{"amount":"+0.7033228874206543","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":"Q6156933$87C38A5A-AE7A-43EC-B920-7B6DA2903AB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6156933","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6156933"}}}}}