{ "labelLang" : "eng", "responseDate" : "2024-03-28 14:05", "content" : { "otype" : "BookChapter", "mtid" : 31402778, "status" : "APPROVED", "published" : true, "unhandledTickets" : 0, "deleted" : false, "lastRefresh" : "2024-02-08T09:05:44.637+0000", "lastModified" : "2020-11-27T13:34:46.921+0000", "created" : "2020-08-14T07:56:35.456+0000", "creator" : { "otype" : "Author", "mtid" : 10036956, "link" : "/api/author/10036956", "label" : "Csaba Biró (Formális módszerek)", "familyName" : "Biró", "givenName" : "Csaba", "published" : true, "oldId" : 10036956, "snippet" : true }, "lastDuplumOK" : "2020-11-27T13:34:46.936+0000", "lastDuplumSearch" : "2020-11-27T13:34:46.936+0000", "core" : true, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 31, "link" : "/api/publicationtype/31", "label" : "Conference paper", "code" : 31, "otypeName" : "BookChapter", "listPosition" : 4, "published" : true, "oldId" : 31, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000175, "link" : "/api/subtype/10000175", "label" : "Abstract (Conference paper)", "name" : "Absztrakt / Kivonat", "nameEng" : "Abstract", "docType" : { "otype" : "PublicationType", "mtid" : 31, "link" : "/api/publicationtype/31", "label" : "Conference paper", "code" : 31, "otypeName" : "BookChapter", "listPosition" : 4, "published" : true, "oldId" : 31, "snippet" : true }, "listPosition" : 453, "published" : true, "oldId" : 10000175, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Scientific", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "English", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Kovásznai, Gergely", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 92301789, "link" : "/api/authorship/92301789", "label" : "Kovásznai, Gergely [Kovásznai, Gergely (informatika), author] Department of Information Technology (EKCU / FI / MII)", "listPosition" : 1, "share" : 0.33333334, "first" : true, "last" : false, "corresponding" : false, "author" : { "otype" : "Author", "mtid" : 10036996, "link" : "/api/author/10036996", "label" : "Gergely Kovásznai (informatika)", "familyName" : "Kovásznai", "givenName" : "Gergely", "published" : true, "oldId" : 10036996, "snippet" : true }, "familyName" : "Kovásznai", "givenName" : "Gergely", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Author", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 92301790, "link" : "/api/authorship/92301790", "label" : "Kusper, Gábor [Kusper, Gábor (Számítástudomány), author] Department of Computer Sciences (EKCU / FI / MII)", "listPosition" : 2, "share" : 0.33333334, "first" : false, "last" : false, "corresponding" : false, "author" : { "otype" : "Author", "mtid" : 10021019, "link" : "/api/author/10021019", "label" : "Gábor Kusper (Számítástudomány)", "familyName" : "Kusper", "givenName" : "Gábor", "published" : true, "oldId" : 10021019, "snippet" : true }, "familyName" : "Kusper", "givenName" : "Gábor", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Author", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 92301791, "link" : "/api/authorship/92301791", "label" : "Biró, Csaba [Biró, Csaba (Formális módszerek), author] Department of Information Technology (EKCU / FI / MII)", "listPosition" : 3, "share" : 0.33333334, "first" : false, "last" : true, "corresponding" : false, "author" : { "otype" : "Author", "mtid" : 10036956, "link" : "/api/author/10036956", "label" : "Csaba Biró (Formális módszerek)", "familyName" : "Biró", "givenName" : "Csaba", "published" : true, "oldId" : 10036956, "snippet" : true }, "familyName" : "Biró", "givenName" : "Csaba", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Author", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "snippet" : true } ], "title" : "A Practical Way of Teaching Logic to Computer Science BSc Students by Using State-of-the-Art Tools Including SMT Solvers", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 17902363, "link" : "/api/publicationidentifier/17902363", "label" : "Teljes dokumentum: https://icai.uni-eszterhazy.hu/2020/abstracts/ICAI_2020_abstract_143.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", "nameEng" : "Teljes dokumentum", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 39, "snippet" : true }, "idValue" : "https://icai.uni-eszterhazy.hu/2020/abstracts/ICAI_2020_abstract_143.pdf", "realUrl" : "https://icai.uni-eszterhazy.hu/2020/abstracts/ICAI_2020_abstract_143.pdf", "published" : false, "snippet" : true } ], "internalId" : "143", "firstPageOrInternalIdForSort" : "143", "pageLength" : 2, "publishedYear" : 2020, "digital" : true, "printed" : null, "sourceYear" : 2020, "foreignEdition" : false, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : true, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2024-02-08", "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, "userChangeableUntil" : "2020-11-12T08:56:36.129+0000", "directInstitutesForSort" : "Információtechnológia Tanszék (EKKE / IK / MII); Számítástudományi Tanszék (EKKE / IK / MII)", "ownerAuthorCount" : 3, "ownerInstituteCount" : 23, "directInstituteCount" : 2, "authorCount" : 3, "contributorCount" : 0, "book" : { "otype" : "Book", "mtid" : 31399409, "link" : "/api/publication/31399409", "label" : "Kovásznai Gergely. Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020). (2020)", "core" : true, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 32, "link" : "/api/publicationtype/32", "label" : "Conference proceedings", "code" : 32, "otypeName" : "Book", "listPosition" : 6, "published" : true, "oldId" : 32, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Scientific", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "English", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020)", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 17106460, "link" : "/api/publicationidentifier/17106460", "label" : "Teljes dokumentum: http://ceur-ws.org/Vol-2650/", "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", "nameEng" : "Teljes dokumentum", "linkPattern" : "@@@", "publiclyVisible" : true, "published" : true, "oldId" : 39, "snippet" : true }, "oaType" : "GREEN", "oaFree" : true, "idValue" : "http://ceur-ws.org/Vol-2650/", "realUrl" : "http://ceur-ws.org/Vol-2650/", "published" : false, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 10558, "link" : "/api/city/10558", "label" : "Eger, Hungary", "partOf" : { "otype" : "Country", "mtid" : 10001, "link" : "/api/country/10001", "label" : "Hungary", "published" : true, "oldId" : 1, "snippet" : true }, "published" : true, "oldId" : 1082005, "snippet" : true } ], "pageLength" : 451, "publishedYear" : 2020, "foreignEdition" : false, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : true, "oaLink" : "http://ceur-ws.org/Vol-2650/", "published" : true, "snippet" : true }, "hasQualityFactor" : false, "link" : "/api/publication/31402778", "label" : "Kovásznai Gergely et al. A Practical Way of Teaching Logic to Computer Science BSc Students by Using State-of-the-Art Tools Including SMT Solvers. (2020) In: Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020)", "template" : "