{ "labelLang" : "hun", "responseDate" : "2024-03-28 14:42", "content" : { "otype" : "Citation", "mtid" : 26612657, "status" : "APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2017-05-24T20:57:27.000+0000", "deleted" : false, "oldId" : 16612657, "lastModified" : "2018-10-19T19:14:07.560+0000", "created" : "2017-05-24T20:57:20.000+0000", "publication" : { "otype" : "JournalArticle", "mtid" : 2906009, "link" : "/api/publication/2906009", "label" : "Gábor Horváth et al. Clang matchers for verified usage of the C++ Standard Template Library. (2015) ANNALES MATHEMATICAE ET INFORMATICAE 1787-5021 1787-6117 44 99-109", "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 } ], "title" : "Clang matchers for verified usage of the C++ Standard Template Library", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 987330, "link" : "/api/publicationidentifier/987330", "label" : "WoS: 000434915500009", "source" : { "otype" : "PlainSource", "mtid" : 1, "link" : "/api/publicationsource/1", "label" : "WoS", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "WoS", "nameEng" : "WoS", "linkPattern" : "http://gateway.isiknowledge.com/gateway/Gateway.cgi?&GWVersion=2&SrcAuth=CustomerName&SrcApp=CustomerName&DestLinkType=FullRecord&KeyUT=@@@&DestApp=WOS", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "oaFree" : false, "validState" : "IDENTICAL", "idValue" : "000434915500009", "published" : false, "oldId" : 1838453, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 987331, "link" : "/api/publicationidentifier/987331", "label" : "Scopus: 84930749364", "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 }, "oaFree" : false, "validState" : "IDENTICAL", "idValue" : "84930749364", "published" : false, "oldId" : 1163803, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 987332, "link" : "/api/publicationidentifier/987332", "label" : "Teljes dokumentum: http://ami.ektf.hu/uploads/papers/finalpdf/AMI_44_from99to109.pdf", "source" : { "otype" : "PlainSource", "mtid" : 39, "link" : "/api/publicationsource/39", "label" : "Teljes dokumentum", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Teljes dokumentum", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 39, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "http://ami.ektf.hu/uploads/papers/finalpdf/AMI_44_from99to109.pdf", "published" : false, "oldId" : 1534775, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 10005858, "link" : "/api/journal/10005858", "label" : "ANNALES MATHEMATICAE ET INFORMATICAE 1787-5021 1787-6117", "pIssn" : "1787-5021", "eIssn" : "1787-6117", "reviewType" : "REVIEWED", "noIF" : true, "sciIndexed" : false, "scopusIndexed" : true, "lang" : "FOREIGN_AND_HUNGARIAN", "hungarian" : true, "published" : true, "oldId" : 10005858, "snippet" : true }, "volume" : "44", "publishedAt" : [ ], "pageLength" : 11, "publishedYear" : 2015, "foreignEdition" : false, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "nationalOrigin" : true, "published" : true, "oldId" : 2906009, "snippet" : true }, "publicationMtid" : 2906009, "related" : { "otype" : "PublicationOther", "mtid" : 26616565, "link" : "/api/publication/26616565", "label" : "Gábor Horváth. C++ Static Analysis with Clang. (2016)", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 29, "link" : "/api/publicationtype/29", "label" : "Egyéb", "code" : 29, "otypeName" : "PublicationOther", "listPosition" : 15, "published" : true, "oldId" : 29, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000221, "link" : "/api/subtype/10000221", "label" : "Diplomamunka, szakdolgozat, TDK dolgozat (Egyéb)", "name" : "Diplomamunka, szakdolgozat, TDK dolgozat", "nameEng" : "Diploma thesis, Report of Scientific Students Association", "docType" : { "otype" : "PublicationType", "mtid" : 29, "link" : "/api/publicationtype/29", "label" : "Egyéb", "code" : 29, "otypeName" : "PublicationOther", "listPosition" : 15, "published" : true, "oldId" : 29, "snippet" : true }, "listPosition" : 1583, "published" : true, "oldId" : 10000221, "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 } ], "title" : "C++ Static Analysis with Clang", "identifiers" : [ ], "publishedAt" : [ ], "pageLength" : 58, "publishedYear" : 2016, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : false, "nationalOrigin" : true, "published" : true, "oldId" : 16616565, "snippet" : true }, "relatedMtid" : 26616565, "source" : "kézi felvitel", "externalCitation" : false, "externalCitationOK" : null, "mentionCount" : 1, "link" : "/api/citation/26612657", "label" : "Gábor Horváth. C++ Static Analysis with Clang. (2016)", "template" : "