{ "labelLang" : "hun", "responseDate" : "2024-03-28 19:50", "content" : { "otype" : "Citation", "mtid" : 26124956, "status" : "APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2016-10-19T14:00:15.000+0000", "deleted" : false, "oldId" : 16124956, "lastModified" : "2016-10-19T14:00:15.000+0000", "created" : "2016-10-19T13:04:28.000+0000", "publication" : { "otype" : "JournalArticle", "mtid" : 2140688, "link" : "/api/publication/2140688", "label" : "Csirmaz L. Programs and program verifications in a general setting. (1981) THEORETICAL COMPUTER SCIENCE 0304-3975 16 2 199-210", "core" : true, "citation" : false, "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" : "Programs and program verifications in a general setting", "journal" : { "otype" : "Journal", "mtid" : 4260, "link" : "/api/journal/4260", "label" : "THEORETICAL COMPUTER SCIENCE 0304-3975", "pIssn" : "0304-3975", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : true, "hungarian" : false, "published" : true, "oldId" : 4260, "snippet" : true }, "volume" : "16", "issue" : "2", "publishedAt" : [ ], "publishedYear" : 1981, "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 600360, "link" : "/api/publicationidentifier/600360", "label" : "DOI: 10.1016/0304-3975(81)90076-1", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "DOI", "linkPattern" : "http://dx.doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "oaFree" : false, "idValue" : "10.1016/0304-3975(81)90076-1", "published" : false, "oldId" : 373451, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 600358, "link" : "/api/publicationidentifier/600358", "label" : "WoS: A1981MM61300005", "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", "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, "idValue" : "A1981MM61300005", "published" : false, "oldId" : 373452, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 600359, "link" : "/api/publicationidentifier/600359", "label" : "Scopus: 49149132213", "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, "idValue" : "49149132213", "published" : false, "oldId" : 373453, "snippet" : true } ], "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "published" : true, "oldId" : 2140688, "snippet" : true }, "publicationMtid" : 2140688, "related" : { "otype" : "JournalArticle", "mtid" : 26124956, "link" : "/api/publication/26124956", "label" : "Szabo ME. VARIABLE TRUTH. (1984) MATHEMATICAL LOGIC QUARTERLY 0942-5616 1521-3870 30 26-29 401-414", "core" : false, "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 }, "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" : "VARIABLE TRUTH", "journal" : { "otype" : "Journal", "mtid" : 3121, "link" : "/api/journal/3121", "label" : "MATHEMATICAL LOGIC QUARTERLY 0942-5616 1521-3870", "pIssn" : "0942-5616", "eIssn" : "1521-3870", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : true, "hungarian" : false, "published" : true, "oldId" : 3121, "snippet" : true }, "volume" : "30", "issue" : "26-29", "publishedAt" : [ ], "publishedYear" : 1984, "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 11608738, "link" : "/api/publicationidentifier/11608738", "label" : "DOI: 10.1002/malq.19840302602", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "DOI", "linkPattern" : "http://dx.doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "idValue" : "10.1002/malq.19840302602", "published" : false, "oldId" : 13472191, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 11608737, "link" : "/api/publicationidentifier/11608737", "label" : "Scopus: 84985320975", "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 }, "idValue" : "84985320975", "published" : false, "oldId" : 13472190, "snippet" : true } ], "foreignLanguage" : true, "published" : true, "oldId" : 16124956, "snippet" : true }, "relatedMtid" : 26124956, "source" : "Scopus-RIS", "externalCitation" : true, "externalCitationOK" : false, "mentionCount" : 1, "link" : "/api/citation/26124956", "label" : "Szabo ME. VARIABLE TRUTH. (1984) MATHEMATICAL LOGIC QUARTERLY 0942-5616 1521-3870 30 26-29 401-414", "template" : "