{"@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/Q6156090","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q6156090","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q6156090","kernelVersion":"v1","immutable":true,"modified":"2026-03-31T15:09:58Z","fdo:hasComponent":[{"@id":"#fulltext","componentId":"fulltext","mediaType":"application/pdf"}]},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q6156090","name":"Completeness for the complexity class \\(\\forall \\exists \\mathbb{R}\\) and area-universality","headline":"Completeness for the complexity class \\(\\forall \\exists \\mathbb{R}\\) and area-universality","description":"scientific article; zbMATH DE number 7694927","url":"https://portal.mardi4nfdi.de/entity/Q6156090","datePublished":"2023-06-12","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q512257"},{"@id":"https://portal.mardi4nfdi.de/entity/Q827329"},{"@id":"https://portal.mardi4nfdi.de/entity/Q390175"},{"@id":"https://portal.mardi4nfdi.de/entity/Q322248"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q178842"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/S00454-022-00381-0","url":"https://doi.org/10.1007/S00454-022-00381-0"},"sameAs":["https://doi.org/10.1007/S00454-022-00381-0"],"citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q5230277"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4973046"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5920628"},{"@id":"https://portal.mardi4nfdi.de/entity/Q878073"},{"@id":"https://portal.mardi4nfdi.de/entity/Q878072"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1931272"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4344505"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5894997"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1687911"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1423583"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5667480"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2931371"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1114669"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1627164"},{"@id":"https://portal.mardi4nfdi.de/entity/Q703607"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2910852"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5071086"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1699289"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5856667"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5417597"},{"@id":"https://portal.mardi4nfdi.de/entity/Q411410"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3181055"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4626295"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1725766"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4071737"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1725774"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1932476"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3819622"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2726740"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1921466"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4884444"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5750874"},{"@id":"https://portal.mardi4nfdi.de/entity/Q705888"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3557891"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2847921"},{"@id":"https://portal.mardi4nfdi.de/entity/Q519892"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4291195"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3792637"}]},"provenance":{"prov:generatedAtTime":"2026-03-31T15:09:58Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}