{ "labelLang" : "hun", "responseDate" : "2024-03-29 01:09", "content" : { "otype" : "Citation", "mtid" : 22770609, "status" : "APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2018-10-01T21:40:26.000+0000", "deleted" : false, "oldId" : 12770609, "lastRefresh" : "2023-09-19T13:28:16.941+0000", "lastModified" : "2018-10-10T19:42:56.780+0000", "created" : "2012-12-10T11:49:23.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 1879-2294 16 2 199-210", "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" : "Programs and program verifications in a general setting", "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" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "oaFree" : false, "validState" : "IDENTICAL", "idValue" : "10.1016/0304-3975(81)90076-1", "realUrl" : "https://doi.org/10.1016/0304-3975%2881%2990076-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", "nameEng" : "WoS", "linkPattern" : "https://www.webofscience.com/wos/woscc/full-record/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "oaFree" : false, "validState" : "IDENTICAL", "idValue" : "A1981MM61300005", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/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, "validState" : "IDENTICAL", "idValue" : "49149132213", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-49149132213", "published" : false, "oldId" : 373453, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 4260, "link" : "/api/journal/4260", "label" : "THEORETICAL COMPUTER SCIENCE 0304-3975 1879-2294", "pIssn" : "0304-3975", "eIssn" : "1879-2294", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : true, "lang" : "FOREIGN", "hungarian" : false, "published" : true, "oldId" : 4260, "snippet" : true }, "volume" : "16", "issue" : "2", "publishedAt" : [ ], "pageLength" : 12, "publishedYear" : 1981, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "published" : true, "oldId" : 2140688, "snippet" : true }, "publicationMtid" : 2140688, "related" : { "otype" : "JournalArticle", "mtid" : 2150534, "link" : "/api/publication/2150534", "label" : "Makowsky JA et al. Weak second order characterizations of various program verification systems. (1989) THEORETICAL COMPUTER SCIENCE 0304-3975 1879-2294 66 3 299-321", "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" : "Weak second order characterizations of various program verification systems", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 605461, "link" : "/api/publicationidentifier/605461", "label" : "DOI: 10.1016/0304-3975(89)90156-4", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "10.1016/0304-3975(89)90156-4", "realUrl" : "https://doi.org/10.1016/0304-3975%2889%2990156-4", "published" : false, "oldId" : 377860, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 605459, "link" : "/api/publicationidentifier/605459", "label" : "WoS: A1989AP85500006", "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" : "https://www.webofscience.com/wos/woscc/full-record/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "oaFree" : false, "validState" : "IDENTICAL", "idValue" : "A1989AP85500006", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/A1989AP85500006", "published" : false, "oldId" : 377861, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 605460, "link" : "/api/publicationidentifier/605460", "label" : "Scopus: 0024718386", "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" : "NO", "idValue" : "0024718386", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-0024718386", "published" : false, "oldId" : 377862, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 4260, "link" : "/api/journal/4260", "label" : "THEORETICAL COMPUTER SCIENCE 0304-3975 1879-2294", "pIssn" : "0304-3975", "eIssn" : "1879-2294", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : true, "lang" : "FOREIGN", "hungarian" : false, "published" : true, "oldId" : 4260, "snippet" : true }, "volume" : "66", "issue" : "3", "publishedAt" : [ ], "pageLength" : 23, "publishedYear" : 1989, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "nationalOrigin" : true, "published" : true, "oldId" : 2150534, "snippet" : true }, "relatedMtid" : 2150534, "source" : "WOS", "externalCitation" : true, "externalCitationOK" : false, "mentionCount" : 1, "link" : "/api/citation/22770609", "label" : "Makowsky JA et al. Weak second order characterizations of various program verification systems. (1989) THEORETICAL COMPUTER SCIENCE 0304-3975 1879-2294 66 3 299-321", "template" : "