{ "labelLang" : "hun", "responseDate" : "2024-03-29 12:32", "content" : { "otype" : "Citation", "mtid" : 23256646, "status" : "VALIDATED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2015-03-23T23:03:58.000+0000", "deleted" : false, "oldId" : 13256646, "lastModified" : "2021-01-11T14:54:08.308+0000", "created" : "2013-08-22T21:02:42.000+0000", "lastDuplumOK" : "2021-01-11T14:54:08.389+0000", "lastDuplumSearch" : "2021-01-11T14:54:08.389+0000", "adminApproved" : "2013-12-04T09:21:22.000+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10028388, "link" : "/api/admin/10028388", "label" : "xSzabó Zoltán (ELTE IK, admin)", "familyName" : "xSzabó", "givenName" : "Zoltán", "published" : true, "oldId" : 10028388, "snippet" : true }, "validated" : "2021-01-11T14:54:08.417+0000", "validator" : { "otype" : "Admin", "mtid" : 10029372, "link" : "/api/admin/10029372", "label" : "Szabó Tibor (ELTE IK admin 5)", "familyName" : "Szabó", "givenName" : "Tibor", "published" : true, "oldId" : 10029372, "snippet" : true }, "publication" : { "otype" : "JournalArticle", "mtid" : 1949031, "link" : "/api/publication/1949031", "label" : "Tejfel M et al. Extending the Sparkle Core language with object abstraction. (2005) ACTA CYBERNETICA 0324-721X 17 2 419-445", "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" : "Extending the Sparkle Core language with object abstraction", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 522970, "link" : "/api/publicationidentifier/522970", "label" : "Scopus: 29144471286", "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" : "29144471286", "published" : false, "oldId" : 317887, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18273271, "link" : "/api/publicationidentifier/18273271", "label" : "Teljes dokumentum: https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3675", "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 }, "validState" : "IDENTICAL", "idValue" : "https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3675", "published" : false, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 10004911, "link" : "/api/journal/10004911", "label" : "ACTA CYBERNETICA 0324-721X", "pIssn" : "0324-721X", "reviewType" : "REVIEWED", "noIF" : true, "sciIndexed" : false, "scopusIndexed" : true, "lang" : "FOREIGN", "hungarian" : true, "published" : true, "oldId" : 10004911, "snippet" : true }, "volume" : "17", "issue" : "2", "publishedAt" : [ ], "pageLength" : 27, "publishedYear" : 2005, "foreignEdition" : false, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "nationalOrigin" : false, "published" : true, "oldId" : 1949031, "snippet" : true }, "publicationMtid" : 1949031, "related" : { "otype" : "BookChapter", "mtid" : 2737332, "link" : "/api/publication/2737332", "label" : "Gergely Dévai et al. Separation logic style reasoning in a refinement based language. (2007) Megjelent: Proceedings of the 7th International Conference on Applied Informatics pp. 117-125", "core" : true, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 31, "link" : "/api/publicationtype/31", "label" : "Egyéb konferenciaközlemény", "code" : 31, "otypeName" : "BookChapter", "listPosition" : 4, "published" : true, "oldId" : 31, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000197, "link" : "/api/subtype/10000197", "label" : "Konferenciaközlemény (Egyéb konferenciaközlemény)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 31, "link" : "/api/publicationtype/31", "label" : "Egyéb konferenciaközlemény", "code" : 31, "otypeName" : "BookChapter", "listPosition" : 4, "published" : true, "oldId" : 31, "snippet" : true }, "listPosition" : 452, "published" : true, "oldId" : 10000197, "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" : "Separation logic style reasoning in a refinement based language", "identifiers" : [ ], "publishedAt" : [ ], "pageLength" : 9, "publishedYear" : 2007, "foreignEdition" : false, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "oldId" : 2737332, "snippet" : true }, "relatedMtid" : 2737332, "source" : "kézi felvitel", "externalCitation" : true, "externalCitationOK" : true, "mentionCount" : 1, "link" : "/api/citation/23256646", "label" : "Gergely Dévai et al. Separation logic style reasoning in a refinement based language. (2007) Megjelent: Proceedings of the 7th International Conference on Applied Informatics pp. 117-125", "template" : "