{ "labelLang" : "hun", "responseDate" : "2024-03-29 09:43", "content" : { "otype" : "BookChapter", "mtid" : 2678408, "status" : "APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2014-06-23T17:04:30.000+0000", "deleted" : false, "oldId" : 2678408, "lastRefresh" : "2023-02-20T13:58:21.201+0000", "lastModified" : "2019-08-23T09:08:07.301+0000", "created" : "2012-01-16T15:09:00.000+0000", "creator" : { "otype" : "Author", "mtid" : 10041942, "link" : "/api/author/10041942", "label" : "Zombori Zsolt (számítástudomány)", "familyName" : "Zombori", "givenName" : "Zsolt", "published" : true, "oldId" : 10041942, "snippet" : true }, "duplumRole" : "SUSPECT", "lastDuplumOK" : "2019-08-23T09:08:07.341+0000", "lastDuplumSearch" : "2023-03-30T07:27:49.129+0000", "core" : true, "citation" : false, "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 } ], "firstAuthor" : "Zombori, Zsolt", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 5330810, "link" : "/api/authorship/5330810", "label" : "Zombori, Zsolt [Zombori, Zsolt (számítástudomány), szerző] Számítástudományi és Információelméleti Tanszék (BME / VIK)", "listPosition" : 1, "share" : 0.7, "first" : true, "last" : false, "author" : { "otype" : "Author", "mtid" : 10041942, "link" : "/api/author/10041942", "label" : "Zombori Zsolt (számítástudomány)", "familyName" : "Zombori", "givenName" : "Zsolt", "published" : true, "oldId" : 10041942, "snippet" : true }, "familyName" : "Zombori", "givenName" : "Zsolt", "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" : 20005608, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 5330811, "link" : "/api/authorship/5330811", "label" : "Szeredi, Péter [Szeredi, Péter (Logikai programozás), szerző] Számítástudományi és Információelméleti Tanszék (BME / VIK)", "listPosition" : 2, "share" : 0.2, "first" : false, "last" : false, "author" : { "otype" : "Author", "mtid" : 10001667, "link" : "/api/author/10001667", "label" : "Szeredi Péter (Logikai programozás)", "familyName" : "Szeredi", "givenName" : "Péter", "published" : true, "oldId" : 10001667, "snippet" : true }, "familyName" : "Szeredi", "givenName" : "Péter", "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" : 20005607, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 5330812, "link" : "/api/authorship/5330812", "label" : "Lukácsy, Gergely [Lukácsy, Gergely (számítástudomány), szerző] Számítástudományi és Információelméleti Tanszék (BME / VIK)", "listPosition" : 3, "share" : 0.1, "first" : false, "last" : true, "author" : { "otype" : "Author", "mtid" : 10041179, "link" : "/api/author/10041179", "label" : "Lukácsy Gergely (számítástudomány)", "familyName" : "Lukácsy", "givenName" : "Gergely", "published" : true, "oldId" : 10041179, "snippet" : true }, "familyName" : "Lukácsy", "givenName" : "Gergely", "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" : 20005606, "snippet" : true } ], "title" : "Loop elimination, a sound optimisation technique for PTTP related theorem proving", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 856776, "link" : "/api/publicationidentifier/856776", "label" : "Teljes dokumentum: http://mycite.omikk.bme.hu/doc/124690.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://mycite.omikk.bme.hu/doc/124690.pdf", "realUrl" : "http://mycite.omikk.bme.hu/doc/124690.pdf", "published" : false, "oldId" : 855921, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 856777, "link" : "/api/publicationidentifier/856777", "label" : "Handle: 10890/4533", "source" : { "otype" : "PlainSource", "mtid" : 152, "link" : "/api/publicationsource/152", "label" : "Handle", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Handle", "linkPattern" : "http://hdl.handle.net/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 152, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "10890/4533", "realUrl" : "http://hdl.handle.net/10890/4533", "published" : false, "oldId" : 1449172, "snippet" : true } ], "firstPage" : "503", "lastPage" : "512", "firstPageOrInternalIdForSort" : "503", "pageLength" : 10, "publishedYear" : 2011, "digital" : null, "printed" : null, "sourceYear" : 2012, "packet" : "bme-pa-migracio-20014-06-20-v01", "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : true, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2023-02-20", "oaFree" : false, "citationCount" : 0, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "nationalOriginCitationCount" : 0, "foreignEditionCitationCount" : 0, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "wosScopusCitationCount" : 0, "wosScopusCitationCountWoOther" : 0, "wosScopusIndependentCitationCount" : 0, "wosScopusIndependentCitationCountWoOther" : 0, "independentCitationCount" : 0, "selfCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "citingPubCountWoOther" : 0, "independentCitingPubCountWoOther" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 0, "citedCount" : 0, "hasCitationDuplums" : false, "inSelectedPubs" : "10001667", "userChangeableUntil" : "2014-01-14T11:23:43.000+0000", "publishDate" : "2014-06-23T17:04:30.000+0000", "directInstitutesForSort" : "Számítástudományi és Információelméleti Tanszék (BME / VIK)", "ownerAuthorCount" : 3, "ownerInstituteCount" : 8, "directInstituteCount" : 1, "authorCount" : 3, "contributorCount" : 0, "book" : { "otype" : "Book", "mtid" : 1770562, "link" : "/api/publication/1770562", "label" : "S Iwata. Proceedings of 7th Japanese-Hungarian Symposium on Discrete Mathematics and its Applications. (2011)", "core" : true, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 32, "link" : "/api/publicationtype/32", "label" : "Egyéb konferenciakötet", "code" : 32, "otypeName" : "Book", "listPosition" : 6, "published" : true, "oldId" : 32, "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" : "Proceedings of 7th Japanese-Hungarian Symposium on Discrete Mathematics and its Applications", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 446381, "link" : "/api/publicationidentifier/446381", "label" : "Egyéb URL: http://ds.ws.hosei.ac.jp/hj2011/", "source" : { "otype" : "PlainSource", "mtid" : 40, "link" : "/api/publicationsource/40", "label" : "Egyéb URL", "type" : { "otype" : "PublicationSourceType", "mtid" : 10006, "link" : "/api/publicationsourcetype/10006", "label" : "Link", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "Egyéb URL", "nameEng" : "Egyéb URL", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 40, "snippet" : true }, "oaFree" : false, "validState" : "NO", "idValue" : "http://ds.ws.hosei.ac.jp/hj2011/", "realUrl" : "http://ds.ws.hosei.ac.jp/hj2011/", "published" : false, "oldId" : 458705, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 10690, "link" : "/api/city/10690", "label" : "Kyoto, Japán", "partOf" : { "otype" : "Country", "mtid" : 10041, "link" : "/api/country/10041", "label" : "Japán", "published" : true, "oldId" : 2151461, "snippet" : true }, "published" : true, "oldId" : 1290337, "snippet" : true } ], "publishedYear" : 2011, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "published" : true, "oldId" : 1770562, "snippet" : true }, "hasQualityFactor" : false, "link" : "/api/publication/2678408", "label" : "Zombori Zsolt et al. Loop elimination, a sound optimisation technique for PTTP related theorem proving. (2011) Megjelent: Proceedings of 7th Japanese-Hungarian Symposium on Discrete Mathematics and its Applications pp. 503-512", "template" : "