{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q6561341","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q6561341","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q6561341","kernelVersion":"v1","immutable":true,"modified":"2025-06-12T08:37:49Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q6561341","name":"A framework for formal verification of robot kinematics","headline":"A framework for formal verification of robot kinematics","description":"scientific article; zbMATH DE number 7870772","url":"https://portal.mardi4nfdi.de/entity/Q6561341","datePublished":"2024-06-25","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q4921305"},{"@id":"https://portal.mardi4nfdi.de/entity/Q512300"},{"@id":"https://portal.mardi4nfdi.de/entity/Q6305786"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q246441"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/J.JLAMP.2024.100972","url":"https://doi.org/10.1016/J.JLAMP.2024.100972"},"sameAs":["https://doi.org/10.1016/J.JLAMP.2024.100972"],"citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q3381519"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2018661"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3094178"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2895474"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2225474"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2693303"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2031406"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1624599"},{"@id":"https://portal.mardi4nfdi.de/entity/Q826358"},{"@id":"https://portal.mardi4nfdi.de/entity/Q6156933"}]},"provenance":{"prov:generatedAtTime":"2025-06-12T08:37:49Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}