{"entities":{"Q6561341":{"pageid":14172496,"ns":120,"title":"Item:Q6561341","lastrevid":42349272,"modified":"2025-06-12T08:37:49Z","type":"item","id":"Q6561341","labels":{"en":{"language":"en","value":"A framework for formal verification of robot kinematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7870772"}},"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":"Q6561341$8900984D-0CBC-4FA3-986B-FCB694BF4B41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"531bb5e803a337cadfd7366e24958ff3dfd7f9f4","datavalue":{"value":{"text":"A framework for formal verification of robot kinematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6561341$E9A75431-4A09-4FBB-8C2C-058892BF7E9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"987031ab7b983e4c55c47cba6fbd9eee3a17df58","datavalue":{"value":{"entity-type":"item","numeric-id":4921305,"id":"Q4921305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561341$368E785C-0958-402E-B606-D4B4D86137BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7d563fe7d5c5cd6f59b3e8d7689375d6d0d1d98","datavalue":{"value":{"entity-type":"item","numeric-id":512300,"id":"Q512300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561341$6D46BE51-7929-4A50-8C28-E849EF26D324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fbdd0b902751d06d3ee39dec860a941d2cf814d","datavalue":{"value":{"entity-type":"item","numeric-id":6305786,"id":"Q6305786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561341$49B612C7-2CC9-4A03-B835-702929C6EBE4","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":"Q6561341$5AD4329F-E2D3-4193-ABB6-208928B02376","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"810cbb80b3532059cbf7c621b480d82d1f9f012b","datavalue":{"value":{"time":"+2024-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6561341$1F107D80-3BA4-4B4A-A3C1-294D620C142D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561341$90AC4E85-ADD9-4955-BC7C-09AF4ABDE4CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"273fc8bf3376e911c2bf7fd6b11b7eb8dd1218b3","datavalue":{"value":"7870772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561341$49819867-DFD4-4324-AE6F-3939F847A76A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cab46aae3db22601f153d3808bdb021e8bc11c3","datavalue":{"value":"formal methods in robotics and automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561341$5E1DE63E-D830-40E3-99E4-3CAE450AC084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d94357a39c8e2405c4a08050748d657c3a301a8","datavalue":{"value":"kinematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561341$B2EED5EE-263B-4302-886A-BEC250D4323F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561341$5B57B438-3009-413A-801B-5ECA22FA3D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98456cd4cdf0db037b678749018452921ff9260b","datavalue":{"value":"Coq proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561341$3C591767-5522-4105-91BB-042FDC8DB15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f753a5fecf998c38842167d621c865f6b2b9183b","datavalue":{"value":"coordinate conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561341$D7F391FD-78B8-4FCE-A444-6FD083A0870F","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":"Q6561341$5CEE811B-B5BC-4F95-A791-A3B6E09927A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88e2548c99b0f8a63ff631cbf22bd9e2479dd9c","datavalue":{"value":{"entity-type":"item","numeric-id":3381519,"id":"Q3381519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561341$BA4A1913-8E81-492E-ACDF-164C336C18BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b80111de9bab56ff28e1100701384da844fd72","datavalue":{"value":{"entity-type":"item","numeric-id":2018661,"id":"Q2018661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561341$AD9052FB-34C0-412E-8886-9D519DDFE2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c708f9a64c92fd4de4427f3b37941fff68141d","datavalue":{"value":{"entity-type":"item","numeric-id":3094178,"id":"Q3094178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561341$88042A8F-B7BA-45E5-B2DC-7963109BE6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7eca027c261ec767f39ecd71c3e365ed743ca0","datavalue":{"value":{"entity-type":"item","numeric-id":2895474,"id":"Q2895474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561341$48807DE1-303C-4C2B-9181-AA0D08DC0C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13cd8cbf60512330dc14573ba3f10be1127d9a49","datavalue":{"value":{"entity-type":"item","numeric-id":2225474,"id":"Q2225474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561341$08A7363D-27F8-46BD-9BF9-D1740216B6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8caa23e3bb99af2ff329e7e7d46ff38adae3298b","datavalue":{"value":{"entity-type":"item","numeric-id":2693303,"id":"Q2693303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561341$DFDCB715-3F8F-461A-AFD5-9974E196671E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc678670516baea1e66c96ed06cf7bb53acabcd","datavalue":{"value":{"entity-type":"item","numeric-id":2031406,"id":"Q2031406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561341$C50D1203-1DCE-4999-8575-DBDC4838F2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3744bf2c485e04cc36dfc8139464b6af278ca949","datavalue":{"value":{"entity-type":"item","numeric-id":1624599,"id":"Q1624599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561341$D8560675-74F3-4FDA-B327-F3E9AEB1A0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf8366a4e28a7be7bbe9b77deceede28d8d4560","datavalue":{"value":{"entity-type":"item","numeric-id":826358,"id":"Q826358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561341$4F4B29A6-FD50-4495-9245-6851E694D33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27f0fcea7628783a796587f4de5ede14826f093","datavalue":{"value":{"entity-type":"item","numeric-id":6156933,"id":"Q6156933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561341$98820CB9-82E3-4B4C-B714-3C032D87DEE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"678f879a9eed4d749ad1a210f5082ec9a1d3844e","datavalue":{"value":"10.1016/J.JLAMP.2024.100972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561341$F3CBD1FB-3F64-4BE7-9A3F-F27A0199A820","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6561341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6561341"}}}}}