{"@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/Q6560158","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q6560158","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q6560158","kernelVersion":"v1","immutable":true,"modified":"2026-02-17T21:07:00Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q6560158","name":"Incompleteness of a first-order Gödel logic and some temporal logics of programs","headline":"Incompleteness of a first-order Gödel logic and some temporal logics of programs","description":"scientific article; zbMATH DE number 7869514","url":"https://portal.mardi4nfdi.de/entity/Q6560158","datePublished":"2024-06-21","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q167059"},{"@id":"https://portal.mardi4nfdi.de/entity/Q167060"},{"@id":"https://portal.mardi4nfdi.de/entity/Q288246"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/3-540-61377-3_28","url":"https://doi.org/10.1007/3-540-61377-3_28"},"sameAs":["https://doi.org/10.1007/3-540-61377-3_28"],"citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q4840168"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1350524"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3264226"},{"@id":"https://portal.mardi4nfdi.de/entity/Q568066"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3749040"},{"@id":"https://portal.mardi4nfdi.de/entity/Q915718"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4275689"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3851085"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1090673"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1123184"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3693510"}]},"provenance":{"prov:generatedAtTime":"2026-02-17T21:07:00Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}