{"@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/Q2486989","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2486989","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q2486989","kernelVersion":"v1","immutable":true,"modified":"2026-01-05T03:03:51Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q2486989","name":"Extracting Herbrand disjunctions by functional interpretation","headline":"Extracting Herbrand disjunctions by functional interpretation","description":"scientific article; zbMATH DE number 2194769","url":"https://portal.mardi4nfdi.de/entity/Q2486989","datePublished":"2005-08-17","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q819710"},{"@id":"https://portal.mardi4nfdi.de/entity/Q175049"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q114337"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/S00153-005-0275-1","url":"https://doi.org/10.1007/S00153-005-0275-1"},"sameAs":["https://doi.org/10.1007/S00153-005-0275-1"],"citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q2758058"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4215630"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5957851"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4401924"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5292638"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3262780"},{"@id":"https://portal.mardi4nfdi.de/entity/Q557798"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5931215"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5536619"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3964564"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3822154"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3866101"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3322086"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2639840"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5537599"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5519134"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4198750"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2265415"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1183598"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1329747"}]},"provenance":{"prov:generatedAtTime":"2026-01-05T03:03:51Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}