{ "labelLang" : "hun", "responseDate" : "2024-03-28 22:40", "content" : { "otype" : "Book", "mtid" : 30227476, "status" : "VALIDATED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2016-03-10T16:11:17.000+0000", "deleted" : false, "lastRefresh" : "2024-03-25T04:41:43.634+0000", "lastModified" : "2021-05-17T08:10:17.583+0000", "created" : "2016-03-10T15:39:58.000+0000", "creator" : { "otype" : "Author", "mtid" : 10006963, "link" : "/api/author/10006963", "label" : "Andréka Hajnal (Matematikai logika)", "familyName" : "Andréka", "givenName" : "Hajnal", "published" : true, "oldId" : 10006963, "snippet" : true }, "lastDuplumOK" : "2021-05-17T08:10:18.530+0000", "lastDuplumSearch" : "2021-05-17T08:10:18.530+0000", "validated" : "2021-02-24T11:26:50.410+0000", "validator" : { "otype" : "Admin", "mtid" : 10073918, "link" : "/api/admin/10073918", "label" : "Kovács Marcell (MTMT Közp., admin)", "familyName" : "Kovács", "givenName" : "Marcell", "published" : true, "snippet" : true }, "core" : false, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000144, "link" : "/api/subtype/10000144", "label" : "Konferenciakötet (Könyv)", "name" : "Konferenciakötet", "nameEng" : "Conference proceedings", "docType" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "listPosition" : 345, "published" : true, "oldId" : 10000144, "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" : "Fribourg, L", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 47116424, "link" : "/api/authorship/47116424", "label" : "Fribourg, L [szerk.]", "listPosition" : 1, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Fribourg", "givenName" : "L", "authorTyped" : false, "editorTyped" : true, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 2, "link" : "/api/authorshiptype/2", "label" : "Szerkesztő", "code" : -1, "published" : true, "oldId" : -1, "snippet" : true }, "published" : false, "oldId" : 82525670, "snippet" : true } ], "title" : "Computer Science Logic", "subTitle" : "15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 18478552, "link" : "/api/publicationidentifier/18478552", "label" : "DOI: 10.1007/3-540-44802-0", "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 }, "oaType" : "PAY", "validState" : "IDENTICAL", "idValue" : "10.1007/3-540-44802-0", "realUrl" : "https://doi.org/10.1007/3-540-44802-0", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18478553, "link" : "/api/publicationidentifier/18478553", "label" : "ISBN: 9783540425540", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783540425540", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783540425540", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18478554, "link" : "/api/publicationidentifier/18478554", "label" : "ISBN: 9783540448020", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783540448020", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783540448020", "published" : false, "snippet" : true } ], "volumeNumber" : "2142", "seriesMembers" : [ { "otype" : "SeriesVolume", "mtid" : 132064, "link" : "/api/seriesvolume/132064", "label" : "Lecture Notes in Computer Science 0302-9743 1611-3349, 2142", "publication" : { "otype" : "Book", "mtid" : 30227476, "link" : "/api/publication/30227476", "label" : "Fribourg L. Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings. (2001) ISBN:9783540425540; 9783540448020", "core" : false, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000144, "link" : "/api/subtype/10000144", "label" : "Konferenciakötet (Könyv)", "name" : "Konferenciakötet", "nameEng" : "Conference proceedings", "docType" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "listPosition" : 345, "published" : true, "oldId" : 10000144, "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" : "Computer Science Logic", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 18478552, "link" : "/api/publicationidentifier/18478552", "label" : "DOI: 10.1007/3-540-44802-0", "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 }, "oaType" : "PAY", "validState" : "IDENTICAL", "idValue" : "10.1007/3-540-44802-0", "realUrl" : "https://doi.org/10.1007/3-540-44802-0", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18478553, "link" : "/api/publicationidentifier/18478553", "label" : "ISBN: 9783540425540", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783540425540", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783540425540", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18478554, "link" : "/api/publicationidentifier/18478554", "label" : "ISBN: 9783540448020", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783540448020", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783540448020", "published" : false, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 10489, "link" : "/api/city/10489", "label" : "Berlin, Németország", "partOf" : { "otype" : "Country", "mtid" : 10011, "link" : "/api/country/10011", "label" : "Németország", "published" : true, "oldId" : 5, "snippet" : true }, "published" : true, "oldId" : 1022992, "snippet" : true }, { "otype" : "City", "mtid" : 10500, "link" : "/api/city/10500", "label" : "Heidelberg, Németország", "partOf" : { "otype" : "Country", "mtid" : 10011, "link" : "/api/country/10011", "label" : "Németország", "published" : true, "oldId" : 5, "snippet" : true }, "published" : true, "oldId" : 1028552, "snippet" : true } ], "pageLength" : 640, "publishedYear" : 2001, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "snippet" : true }, "series" : { "otype" : "BookSeries", "mtid" : 20000018, "link" : "/api/bookseries/20000018", "label" : "Lecture Notes in Computer Science 0302-9743 1611-3349", "pIssn" : "0302-9743", "eIssn" : "1611-3349", "noIF" : false, "sciIndexed" : false, "scopusIndexed" : false, "lang" : "FOREIGN", "hungarian" : false, "published" : true, "snippet" : true }, "published" : false, "snippet" : true } ], "publishers" : [ { "otype" : "Publisher", "mtid" : 50952, "link" : "/api/publisher/50952", "label" : "Springer Netherlands", "name" : "Springer Netherlands", "published" : true, "snippet" : true } ], "publishedAt" : [ { "otype" : "City", "mtid" : 10489, "link" : "/api/city/10489", "label" : "Berlin, Németország", "partOf" : { "otype" : "Country", "mtid" : 10011, "link" : "/api/country/10011", "label" : "Németország", "published" : true, "oldId" : 5, "snippet" : true }, "published" : true, "oldId" : 1022992, "snippet" : true }, { "otype" : "City", "mtid" : 10500, "link" : "/api/city/10500", "label" : "Heidelberg, Németország", "partOf" : { "otype" : "Country", "mtid" : 10011, "link" : "/api/country/10011", "label" : "Németország", "published" : true, "oldId" : 5, "snippet" : true }, "published" : true, "oldId" : 1028552, "snippet" : true } ], "firstPageOrInternalIdForSort" : "", "pageLength" : 640, "publishedYear" : 2001, "conference" : { "otype" : "Conference", "mtid" : 198082, "link" : "/api/conference/198082", "label" : "15th International Workshop on Computer Science Logic, CSL 2001 2001-09-10 [Paris, Franciaország]", "location" : [ { "otype" : "City", "mtid" : 10199, "link" : "/api/city/10199", "label" : "Paris, Franciaország", "partOf" : { "otype" : "Country", "mtid" : 10012, "link" : "/api/country/10012", "label" : "Franciaország", "published" : true, "oldId" : 6, "snippet" : true }, "published" : true, "oldId" : 108, "snippet" : true } ], "published" : true, "snippet" : true }, "keywords" : [ { "otype" : "Keyword", "mtid" : 9497, "link" : "/api/keyword/9497", "label" : "Semantics", "published" : true, "oldId" : 9497, "snippet" : true }, { "otype" : "Keyword", "mtid" : 12501, "link" : "/api/keyword/12501", "label" : "LOGIC", "published" : true, "oldId" : 12501, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1140756, "link" : "/api/keyword/1140756", "label" : "Verification", "duplumRole" : "DUPLUM", "published" : true, "oldId" : 1140756, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1183507, "link" : "/api/keyword/1183507", "label" : "AUTOMATA", "published" : true, "oldId" : 1183507, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1721952, "link" : "/api/keyword/1721952", "label" : "complexity", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 2257235, "link" : "/api/keyword/2257235", "label" : "Automat", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 2282150, "link" : "/api/keyword/2282150", "label" : "lambda calculus", "published" : true, "snippet" : true } ], "digital" : null, "printed" : null, "sourceYear" : 2016, "packet" : "(Andréka Hajnal (Matematikai logika); 2016.03.10. 16:39:41)", "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : false, "missingAuthor" : false, "oaType" : "PAY", "oaCheckDate" : "2024-03-25", "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" : 0, "citedCount" : 0, "hasCitationDuplums" : false, "userChangeableUntil" : "2016-06-08T14:39:58.000+0000", "publishDate" : "2016-03-10T16:11:17.000+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 5, "ownerInstituteCount" : 19, "directInstituteCount" : 0, "authorCount" : 0, "contributorCount" : 1, "chapterCount" : 6, "chapters" : [ { "otype" : "BookChapter", "mtid" : 21792144, "link" : "/api/publication/21792144", "label" : "Goubault-Larrecq J. Well-founded recursive relations. (2001) Megjelent: Computer Science Logic pp. 484-498", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "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" : "Well-founded recursive relations", "identifiers" : [ ], "publishedAt" : [ ], "pageLength" : 15, "publishedYear" : 2001, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "published" : true, "oldId" : 11792144, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 21775980, "link" : "/api/publication/21775980", "label" : "Klaedtke F. Decision Procedure for an Extension of WS1S. (2001) Megjelent: Computer Science Logic pp. 384-398", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "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" : "Decision Procedure for an Extension of WS1S", "identifiers" : [ ], "publishedAt" : [ ], "pageLength" : 15, "publishedYear" : 2001, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "published" : true, "oldId" : 11775980, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 25210932, "link" : "/api/publication/25210932", "label" : "Lutz C et al. Modal logic and the two-variable fragment. (2001) Megjelent: Computer Science Logic pp. 247-261", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "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" : "Modal logic and the two-variable fragment", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 10026765, "link" : "/api/publicationidentifier/10026765", "label" : "Scopus: 84861126114", "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" : "NO", "idValue" : "84861126114", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84861126114", "published" : false, "oldId" : 10711414, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 15, "publishedYear" : 2001, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "oldId" : 15210932, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 24130591, "link" : "/api/publication/24130591", "label" : "Rasmussen T. Labelled natural deduction for interval logics. (2001) Megjelent: Computer Science Logic pp. 308-323", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "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" : "Labelled natural deduction for interval logics", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 8028576, "link" : "/api/publicationidentifier/8028576", "label" : "DOI: 10.1007/3-540-44802-0_22", "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" : "NO", "idValue" : "10.1007/3-540-44802-0_22", "realUrl" : "https://doi.org/10.1007/3-540-44802-0_22", "published" : false, "oldId" : 12945746, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 8028575, "link" : "/api/publicationidentifier/8028575", "label" : "Scopus: 38149039164", "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" : "38149039164", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-38149039164", "published" : false, "oldId" : 12945748, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 16, "publishedYear" : 2001, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "oldId" : 14130591, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 23773999, "link" : "/api/publication/23773999", "label" : "Rosu G. Complete categorical equational deduction.. (2001) Megjelent: Computer Science Logic pp. 528-538", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "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" : "Complete categorical equational deduction.", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 7452225, "link" : "/api/publicationidentifier/7452225", "label" : "DOI: 10.1007/3-540-44802-0_37", "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" : "NO", "idValue" : "10.1007/3-540-44802-0_37", "realUrl" : "https://doi.org/10.1007/3-540-44802-0_37", "published" : false, "oldId" : 5543199, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 10542346, "link" : "/api/publicationidentifier/10542346", "label" : "Scopus: 23044529467", "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" : "NO", "idValue" : "23044529467", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-23044529467", "published" : false, "oldId" : 11524883, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 11, "publishedYear" : 2001, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "oldId" : 13773999, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 25495336, "link" : "/api/publication/25495336", "label" : "van den Bussche J. Applications of alfred tarski’s ideas in database theory. (2001) Megjelent: Computer Science Logic pp. 20-37", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "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" : "Applications of alfred tarski’s ideas in database theory", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 10543635, "link" : "/api/publicationidentifier/10543635", "label" : "Scopus: 84944200027", "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" : "NO", "idValue" : "84944200027", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84944200027", "published" : false, "oldId" : 11526913, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 18, "publishedYear" : 2001, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "oldId" : 15495336, "snippet" : true } ], "fromCitation" : true, "hasQualityFactor" : false, "link" : "/api/publication/30227476", "label" : "Fribourg L. Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings. (2001) ISBN:9783540425540; 9783540448020", "template" : "