{ "labelLang" : "hun", "responseDate" : "2024-03-29 01:12", "content" : { "otype" : "Book", "mtid" : 30227350, "status" : "ADMIN_APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2016-03-09T20:04:08.000+0000", "deleted" : false, "lastRefresh" : "2024-03-25T04:42:25.637+0000", "lastModified" : "2021-05-17T11:49:54.229+0000", "created" : "2016-03-09T19:45:07.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-09-23T09:37:27.506+0000", "lastDuplumSearch" : "2021-09-23T09:37:27.506+0000", "adminApproved" : "2021-05-17T11:49:54.236+0000", "adminApprover" : { "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" : "Gottlob, Georg", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 46646877, "link" : "/api/authorship/46646877", "label" : "Gottlob, Georg [szerk.]", "listPosition" : 1, "share" : 0.0, "first" : false, "last" : false, "corresponding" : false, "familyName" : "Gottlob", "givenName" : "Georg", "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" : 81776511, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 46646878, "link" : "/api/authorship/46646878", "label" : "Leitsch, Alexander [szerk.]", "listPosition" : 2, "share" : 0.0, "first" : false, "last" : false, "corresponding" : false, "familyName" : "Leitsch", "givenName" : "Alexander", "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" : 81776510, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 46646879, "link" : "/api/authorship/46646879", "label" : "Mundici, Daniele [szerk.]", "listPosition" : 3, "share" : 0.0, "first" : false, "last" : false, "corresponding" : false, "familyName" : "Mundici", "givenName" : "Daniele", "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" : 81776509, "snippet" : true } ], "title" : "Computational Logic and Proof Theory", "subTitle" : "5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 18768579, "link" : "/api/publicationidentifier/18768579", "label" : "DOI: 10.1007/3-540-63385-5", "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.1007/3-540-63385-5", "realUrl" : "https://doi.org/10.1007/3-540-63385-5", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18793131, "link" : "/api/publicationidentifier/18793131", "label" : "ISBN: 9783540633853", "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" : "9783540633853", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783540633853", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18793132, "link" : "/api/publicationidentifier/18793132", "label" : "ISBN: 9783540698067", "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" : "9783540698067", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783540698067", "published" : false, "snippet" : true } ], "volumeNumber" : "1289", "seriesMembers" : [ { "otype" : "SeriesVolume", "mtid" : 132043, "link" : "/api/seriesvolume/132043", "label" : "Lecture Notes in Computer Science 0302-9743 1611-3349, 1289", "publication" : { "otype" : "Book", "mtid" : 30227350, "link" : "/api/publication/30227350", "label" : "Gottlob Georg. Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings. (1997) ISBN:9783540633853; 9783540698067", "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" : "Computational Logic and Proof Theory", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 18768579, "link" : "/api/publicationidentifier/18768579", "label" : "DOI: 10.1007/3-540-63385-5", "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.1007/3-540-63385-5", "realUrl" : "https://doi.org/10.1007/3-540-63385-5", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18793131, "link" : "/api/publicationidentifier/18793131", "label" : "ISBN: 9783540633853", "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" : "9783540633853", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783540633853", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18793132, "link" : "/api/publicationidentifier/18793132", "label" : "ISBN: 9783540698067", "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" : "9783540698067", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783540698067", "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" : 364, "publishedYear" : 1997, "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 } ], "editionNumber" : 1, "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" : 364, "publishedYear" : 1997, "conference" : { "otype" : "Conference", "mtid" : 262114, "link" : "/api/conference/262114", "label" : "5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC 1997 1997-08-25 [Vienna, Ausztria]", "location" : [ { "otype" : "City", "mtid" : 17370, "link" : "/api/city/17370", "label" : "Vienna, Ausztria", "partOf" : { "otype" : "Country", "mtid" : 10039, "link" : "/api/country/10039", "label" : "Ausztria", "published" : true, "oldId" : 2149310, "snippet" : true }, "published" : true, "snippet" : true } ], "published" : true, "snippet" : true }, "abstractText" : "This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.\nThe volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.", "keywords" : [ { "otype" : "Keyword", "mtid" : 9511, "link" : "/api/keyword/9511", "label" : "COMPLEXITY", "deleted" : true, "duplumRole" : "DUPLUM_DELETED", "published" : true, "oldId" : 9511, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1068062, "link" : "/api/keyword/1068062", "label" : "Complexity theory", "published" : true, "oldId" : 1068062, "snippet" : true }, { "otype" : "Keyword", "mtid" : 1194246, "link" : "/api/keyword/1194246", "label" : "Proof theory", "published" : true, "oldId" : 1194246, "snippet" : true }, { "otype" : "Keyword", "mtid" : 2248378, "link" : "/api/keyword/2248378", "label" : "Computational logic", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 2258923, "link" : "/api/keyword/2258923", "label" : "Mathematical Logic", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 2309658, "link" : "/api/keyword/2309658", "label" : "Nonclassical Logics", "published" : true, "snippet" : true }, { "otype" : "Keyword", "mtid" : 2309660, "link" : "/api/keyword/2309660", "label" : "Proof Analysis", "published" : true, "snippet" : true } ], "digital" : true, "printed" : true, "sourceYear" : 2021, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : false, "missingAuthor" : false, "oaType" : "NONE", "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-07T18:45:07.000+0000", "publishDate" : "2016-03-09T20:04:08.000+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 3, "ownerInstituteCount" : 5, "directInstituteCount" : 0, "authorCount" : 0, "contributorCount" : 3, "chapterCount" : 1, "chapters" : [ { "otype" : "BookChapter", "mtid" : 25491508, "link" : "/api/publication/25491508", "label" : "Pliuskevicius R. On the completeness and decidability of a restricted first order linear temporal logic. (1997) Megjelent: Computational Logic and Proof Theory pp. 241-254", "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" : "On the completeness and decidability of a restricted first order linear temporal logic", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 10536338, "link" : "/api/publicationidentifier/10536338", "label" : "DOI: 10.1007/3-540-63385-5_47", "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-63385-5_47", "realUrl" : "https://doi.org/10.1007/3-540-63385-5_47", "published" : false, "oldId" : 11515071, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 14, "publishedYear" : 1997, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "oldId" : 15491508, "snippet" : true } ], "fromCitation" : true, "hasQualityFactor" : false, "link" : "/api/publication/30227350", "label" : "Gottlob Georg. Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings. (1997) ISBN:9783540633853; 9783540698067", "template" : "