{"@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/Q616504","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q616504","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q616504","kernelVersion":"v1","immutable":true,"modified":"2026-03-26T11:52:38Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q616504","name":"Simplicity via provability for universal prefix-free Turing machines","headline":"Simplicity via provability for universal prefix-free Turing machines","description":"scientific article; zbMATH DE number 5834262","url":"https://portal.mardi4nfdi.de/entity/Q616504","datePublished":"2011-01-10","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q235567"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q123643"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/J.TCS.2010.08.002","url":"https://doi.org/10.1016/J.TCS.2010.08.002"},"sameAs":["https://doi.org/10.1016/J.TCS.2010.08.002"],"citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q4806962"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1607291"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5188206"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3584055"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5188221"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3391740"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4381402"},{"@id":"https://portal.mardi4nfdi.de/entity/Q716316"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3533008"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3616215"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4068087"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5321501"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3161424"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5302560"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4001935"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2784448"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5393491"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5586325"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5901452"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3608492"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5425384"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3611832"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3150942"}]},"provenance":{"prov:generatedAtTime":"2026-03-26T11:52:38Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}