{ "labelLang" : "hun", "responseDate" : "2024-03-28 09:13", "content" : { "otype" : "JournalArticle", "mtid" : 2436426, "status" : "VALIDATED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2016-09-27T12:17:17.000+0000", "deleted" : false, "oldId" : 2436426, "lastRefresh" : "2024-02-28T13:54:01.519+0000", "lastModified" : "2018-10-16T14:24:59.767+0000", "created" : "2013-10-16T09:22:15.000+0000", "lastDuplumOK" : "2018-10-16T14:24:59.767+0000", "lastDuplumSearch" : "2018-10-16T15:04:15.558+0000", "adminApproved" : "2013-11-13T02:05:42.000+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10028388, "link" : "/api/admin/10028388", "label" : "Szabó Zoltán (ELTE IK, admin)", "familyName" : "Szabó", "givenName" : "Zoltán", "published" : true, "oldId" : 10028388, "snippet" : true }, "validated" : "2013-11-13T02:05:42.000+0000", "validator" : { "otype" : "Admin", "mtid" : 10028388, "link" : "/api/admin/10028388", "label" : "Szabó Zoltán (ELTE IK, admin)", "familyName" : "Szabó", "givenName" : "Zoltán", "published" : true, "oldId" : 10028388, "snippet" : true }, "core" : true, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Folyóiratcikk", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000059, "link" : "/api/subtype/10000059", "label" : "Szakcikk (Folyóiratcikk)", "name" : "Szakcikk", "nameEng" : "Article", "docType" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Folyóiratcikk", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "listPosition" : 101, "published" : true, "oldId" : 10000059, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Dévai, Gergely", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 4483022, "link" : "/api/authorship/4483022", "label" : "Dévai, Gergely [Dévai, Gergely (Informatika), szerző] Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK)", "listPosition" : 1, "share" : 1.0, "first" : true, "last" : false, "author" : { "otype" : "Author", "mtid" : 10029392, "link" : "/api/author/10029392", "label" : "Dévai Gergely (Informatika)", "familyName" : "Dévai", "givenName" : "Gergely", "published" : true, "oldId" : 10029392, "snippet" : true }, "familyName" : "Dévai", "givenName" : "Gergely", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 18908509, "snippet" : true } ], "title" : "Programming language elements for correctness proofs", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 14758836, "link" : "/api/publicationidentifier/14758836", "label" : "Scopus: 47749114898", "source" : { "otype" : "PlainSource", "mtid" : 3, "link" : "/api/publicationsource/3", "label" : "Scopus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Scopus", "linkPattern" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@", "publiclyVisible" : true, "published" : true, "oldId" : 3, "snippet" : true }, "validState" : "NO", "idValue" : "47749114898", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-47749114898", "published" : false, "oldId" : 16750888, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 725837, "link" : "/api/publicationidentifier/725837", "label" : "Mathematical Reviews: MR2428844", "source" : { "otype" : "PlainSource", "mtid" : 7, "link" : "/api/publicationsource/7", "label" : "Mathematical Reviews", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Mathematical Reviews", "nameEng" : "Mathematical Reviews", "linkPattern" : "https://mathscinet.ams.org/mathscinet-getitem?mr=@@@", "publiclyVisible" : true, "published" : true, "oldId" : 7, "snippet" : true }, "oaFree" : false, "validState" : "IDENTICAL", "idValue" : "MR2428844", "realUrl" : "https://mathscinet.ams.org/mathscinet-getitem?mr=MR2428844", "published" : false, "oldId" : 539714, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 14942740, "link" : "/api/publicationidentifier/14942740", "label" : "Zentralblatt für Mathematik: Zbl 1164.68320", "source" : { "otype" : "PlainSource", "mtid" : 8, "link" : "/api/publicationsource/8", "label" : "zbMATH", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "zbMATH", "nameEng" : "Zentralblatt für Mathematik", "linkPattern" : "https://zbmath.org/?q=an%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 8, "snippet" : true }, "validState" : "NO", "idValue" : "Zbl 1164.68320", "realUrl" : "https://zbmath.org/?q=an%3AZbl 1164.68320", "published" : false, "oldId" : 3640631, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 10004911, "link" : "/api/journal/10004911", "label" : "ACTA CYBERNETICA 0324-721X 2676-993X", "pIssn" : "0324-721X", "eIssn" : "2676-993X", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : true, "lang" : "FOREIGN", "hungarian" : true, "published" : true, "oldId" : 10004911, "snippet" : true }, "volume" : "18", "issue" : "3", "firstPage" : "403", "lastPage" : "425", "firstPageOrInternalIdForSort" : "403", "pageLength" : 23, "publishedYear" : 2008, "digital" : null, "printed" : null, "sourceYear" : 2013, "packet" : "matint9 (Óváriné Koczka Ildikó (ELTE TTK MAT Adm); 2013.10.16. 11:15:02)", "foreignEdition" : false, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "nationalOrigin" : null, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2024-02-28", "oaFree" : false, "citationCount" : 0, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "nationalOriginCitationCount" : 0, "foreignEditionCitationCount" : 0, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "wosScopusCitationCount" : 0, "wosScopusCitationCountWoOther" : 0, "wosScopusIndependentCitationCount" : 0, "wosScopusIndependentCitationCountWoOther" : 0, "independentCitationCount" : 0, "selfCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "citingPubCountWoOther" : 0, "independentCitingPubCountWoOther" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 3, "citedCount" : 3, "ratings" : [ { "otype" : "SjrRating", "mtid" : 5835695, "link" : "/api/sjrrating/5835695", "label" : "sjr:Q3 (2008) Scopus - Computer Science (miscellaneous) ACTA CYBERNETICA 0324-721X", "listPos" : 88, "rankValue" : 0.74, "type" : "journal", "ratingType" : { "otype" : "RatingType", "mtid" : 10002, "link" : "/api/ratingtype/10002", "label" : "sjr", "code" : "sjr", "published" : true, "snippet" : true }, "subject" : { "otype" : "ClassificationExternal", "mtid" : 1701, "link" : "/api/classificationexternal/1701", "label" : "Scopus - Computer Science (miscellaneous)", "published" : true, "oldId" : 1701, "snippet" : true }, "ranking" : "Q3", "calculation" : "DIRECT", "published" : true, "oldId" : 5835695, "snippet" : true } ], "ratingsForSort" : "Q3", "hasCitationDuplums" : false, "userChangeableUntil" : "2013-11-13T02:05:42.000+0000", "publishDate" : "2013-10-16T09:40:28.000+0000", "directInstitutesForSort" : "Programozási Nyelvek és Fordítóprogramok Tanszék (ELTE / IK)", "ownerAuthorCount" : 1, "ownerInstituteCount" : 5, "directInstituteCount" : 1, "authorCount" : 1, "contributorCount" : 0, "hasQualityFactor" : false, "link" : "/api/publication/2436426", "label" : "Dévai Gergely. Programming language elements for correctness proofs. (2008) ACTA CYBERNETICA 0324-721X 2676-993X 18 3 403-425", "template" : "