{ "labelLang" : "hun", "responseDate" : "2024-03-28 20:21", "content" : { "otype" : "JournalArticle", "mtid" : 27185237, "status" : "ADMIN_APPROVED", "published" : true, "comment" : "Informatics Institute, Federal University of Rio Grande do Sul (UFRGS), Brazil \n Technology Development Center, Federal University of Pelotas (UFPel), Brazil \n Cited By :7 \n Export Date: 20 May 2022 \n CODEN: TCSCD \n Correspondence Address: Cavalheiro, S.A.D.C.; Technology Development Center, Brazil; email: simone.costa@inf.ufpel.br", "unhandledTickets" : 0, "oldTimestamp" : "2018-02-26T11:43:27.000+0000", "deleted" : false, "oldId" : 17185237, "lastRefresh" : "2022-05-20T09:11:03.525+0000", "lastModified" : "2018-02-26T11:43:27.000+0000", "created" : "2018-02-26T11:13:56.000+0000", "creator" : { "otype" : "Admin", "mtid" : 10039288, "link" : "/api/admin/10039288", "label" : "Szmolyán Mária (BME 4 admin - INAKTÍV)", "familyName" : "Szmolyán", "givenName" : "Mária", "published" : true, "oldId" : 10039288, "snippet" : true }, "duplumSearchResult" : { "id" : 4222801, "creationDate" : "2022-05-20T06:57:25.129+0000", "startDate" : "2022-05-20T09:09:13.987+0000", "creator" : { "otype" : "Admin", "mtid" : 10080979, "link" : "/api/admin/10080979", "label" : "Boczkó-Balla Enikő (BME admin4)", "familyName" : "Boczkó-Balla", "givenName" : "Enikő", "published" : true, "snippet" : true } }, "duplumRole" : "DUPLUM", "lastDuplumSearch" : "2022-05-20T09:09:13.987+0000", "adminApproved" : "2018-02-26T11:43:27.000+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10039288, "link" : "/api/admin/10039288", "label" : "Szmolyán Mária (BME 4 admin - INAKTÍV)", "familyName" : "Szmolyán", "givenName" : "Mária", "published" : true, "oldId" : 10039288, "snippet" : true }, "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 } ], "firstAuthor" : "Cavalheiro, SADC", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 76142144, "link" : "/api/authorship/76142144", "label" : "Cavalheiro, SADC", "listPosition" : 1, "share" : 0.0, "first" : true, "last" : false, "familyName" : "Cavalheiro", "givenName" : "SADC", "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" : 156086818, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 76142145, "link" : "/api/authorship/76142145", "label" : "Foss, L", "listPosition" : 2, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Foss", "givenName" : "L", "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" : 156086817, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 76142146, "link" : "/api/authorship/76142146", "label" : "Ribeiro, L", "listPosition" : 3, "share" : 0.0, "first" : false, "last" : true, "familyName" : "Ribeiro", "givenName" : "L", "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" : 156086816, "snippet" : true } ], "title" : "Theorem proving graph grammars with attributes and negative application conditions", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 13610220, "link" : "/api/publicationidentifier/13610220", "label" : "DOI: 10.1016/j.tcs.2017.04.010", "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 }, "validState" : "IDENTICAL", "idValue" : "10.1016/j.tcs.2017.04.010", "realUrl" : "https://doi.org/10.1016%2Fj.tcs.2017.04.010", "published" : false, "oldId" : 16644572, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 21010207, "link" : "/api/publicationidentifier/21010207", "label" : "WoS: 000404696100002", "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 }, "validState" : "IDENTICAL", "idValue" : "000404696100002", "realUrl" : "http://gateway.isiknowledge.com/gateway/Gateway.cgi?&GWVersion=2&SrcAuth=CustomerName&SrcApp=CustomerName&DestLinkType=FullRecord&KeyUT=000404696100002&DestApp=WOS", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 21010206, "link" : "/api/publicationidentifier/21010206", "label" : "Scopus: 85019694588", "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" : "IDENTICAL", "idValue" : "85019694588", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85019694588", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 13610223, "link" : "/api/publicationidentifier/13610223", "label" : "Teljes dokumentum: https://www.sciencedirect.com/science/article/pii/S0304397517303419", "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" : "NO", "idValue" : "https://www.sciencedirect.com/science/article/pii/S0304397517303419", "realUrl" : "https://www.sciencedirect.com/science/article/pii/S0304397517303419", "published" : false, "oldId" : 16648750, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 13610221, "link" : "/api/publicationidentifier/13610221", "label" : "Google scholar: 17173688858249904709", "source" : { "otype" : "PlainSource", "mtid" : 12, "link" : "/api/publicationsource/12", "label" : "Google scholar", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Google scholar", "linkPattern" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=@@@", "publiclyVisible" : true, "published" : true, "oldId" : 12, "snippet" : true }, "validState" : "NO", "idValue" : "17173688858249904709", "realUrl" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=17173688858249904709", "published" : false, "oldId" : 16648748, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 13610222, "link" : "/api/publicationidentifier/13610222", "label" : "Google scholar hash: RcIRxwYzVe4J", "source" : { "otype" : "PlainSource", "mtid" : 13, "link" : "/api/publicationsource/13", "label" : "Google scholar hash", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Google scholar hash", "nameEng" : "Google scholar hash", "linkPattern" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=@@@", "publiclyVisible" : true, "published" : true, "oldId" : 13, "snippet" : true }, "validState" : "NO", "idValue" : "RcIRxwYzVe4J", "realUrl" : "http://scholar.Google.com/scholar?hl=en&lr=&cluster=RcIRxwYzVe4J", "published" : false, "oldId" : 16648749, "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" : "686", "firstPage" : "25", "lastPage" : "77", "firstPageOrInternalIdForSort" : "25", "pageLength" : 53, "publishedYear" : 2017, "digital" : null, "printed" : null, "sourceYear" : 2018, "packet" : "426204", "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : null, "nationalOrigin" : null, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2022-05-20", "oaFree" : false, "citationCount" : 0, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "independentCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 1, "citedCount" : 1, "hasCitationDuplums" : false, "userChangeableUntil" : "2018-02-26T11:43:27.000+0000", "publishDate" : "2018-02-26T11:42:22.000+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 5, "ownerInstituteCount" : 14, "directInstituteCount" : 0, "authorCount" : 3, "contributorCount" : 0, "hasQualityFactor" : false, "link" : "/api/publication/27185237", "label" : "Cavalheiro SADC et al. Theorem proving graph grammars with attributes and negative application conditions. (2017) THEORETICAL COMPUTER SCIENCE 0304-3975 1879-2294 686 25-77", "template" : "