{"headerData":{"lastRefreshDate":"06 Jul 2026"},"publicationOverview":{"publication":{"id":"72DA5450-2558-4228-8293-8DA4ADA1FD62","resourceUrl":"http://gtr.ukri.org/api/publication/overview?outcomeid=m_314575521613a975e6&projectref=#grantRef#","outcomeId":"m_314575521613a975e6","title":"Frontiers of Combining Systems","parentPublicationTitle":null,"authors":[{"id":"f3429e7986ebe63167467745d5b2dca1","resourceUrl":"http://gtr.ukri.org/api/person/f3429e7986ebe63167467745d5b2dca1","firstName":null,"otherNames":"Konev","surname":null,"email":null,"orcidId":null,"displayName":"Konev","fullName":"Konev"}],"date":1167609600000,"digitalPublicationUrl":null,"pubMedId":null,"pubMedUrl":null,"isbn":null,"issn":null,"publicationUrl":null,"abstractText":null,"volume":"4720","issue":null,"totalPages":null,"edition":null,"chapterNumber":null,"chapterTitle":null,"pageRef":null,"series":null,"type":"Book","firstAuthorName":"Konev","grantRef":null},"projects":[{"id":"F5E9835A-CAC0-4DF2-BDE6-EDE0EF6C497A","resourceUrl":"http://gtr.ukri.org/projects?ref=EP/F014058/1","title":"Symposium on Frontiers of Combining Systems and Workshop on First-Order Theorem Proving","status":null,"grantReference":"EP/F014058/1","grantCategory":"Research Grant","abstractText":null,"potentialImpactText":null,"fund":{"valuePounds":9593,"start":null,"end":null,"funder":{"id":"798CB33D-C79E-4578-83F2-72606407192C","resourceUrl":"http://gtr.ukri.org/api/organisation/798CB33D-C79E-4578-83F2-72606407192C","name":"EPSRC"},"type":"INCOME_ACTUAL"},"output":null,"publications":null,"identifiers":null,"technicalSummary":null,"projectHierarchy":null,"studentshipHierarchy":null,"healthCategories":[],"researchActivities":[],"researchSubjects":[],"researchTopics":[],"rcukProgrammes":[],"hasClassifications":false}],"abstractSnippet":null}}