{ "labelLang" : "hun", "responseDate" : "2024-03-28 23:18", "content" : { "otype" : "Book", "mtid" : 2004000, "status" : "VALIDATED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2018-09-13T04:18:19.000+0000", "deleted" : false, "oldId" : 2004000, "lastRefresh" : "2024-03-25T04:15:46.001+0000", "lastModified" : "2021-03-10T14:56:17.803+0000", "created" : "2012-06-29T14:12:40.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" : "2024-02-20T10:04:27.705+0000", "lastDuplumSearch" : "2024-02-20T10:04:27.705+0000", "validated" : "2021-03-10T14:56:17.809+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" : true, "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" : "Salwicki, A", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 2935040, "link" : "/api/authorship/2935040", "label" : "Salwicki, A [szerk.]", "listPosition" : 1, "share" : 1.0, "first" : false, "last" : false, "familyName" : "Salwicki", "givenName" : "A", "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" : 16093512, "snippet" : true } ], "title" : "Logics of Programs and Their Applications", "subTitle" : "Proceedings, Poznan, August 23–29, 1980", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 18239141, "link" : "/api/publicationidentifier/18239141", "label" : "DOI: 10.1007/3-540-11981-7", "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 }, "idValue" : "10.1007/3-540-11981-7", "realUrl" : "https://doi.org/10.1007/3-540-11981-7", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18239139, "link" : "/api/publicationidentifier/18239139", "label" : "ISBN: 9783540119814", "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" : "9783540119814", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783540119814", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18239140, "link" : "/api/publicationidentifier/18239140", "label" : "ISBN: 9783540394457", "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" : "9783540394457", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783540394457", "published" : false, "snippet" : true } ], "volumeNumber" : "148", "seriesMembers" : [ { "otype" : "SeriesVolume", "mtid" : 31314, "link" : "/api/seriesvolume/31314", "label" : "Lecture Notes in Computer Science 0302-9743 1611-3349, 148", "publication" : { "otype" : "Book", "mtid" : 2004000, "link" : "/api/publication/2004000", "label" : "Salwicki A. Logics of Programs and Their Applications: Proceedings, Poznan, August 23–29, 1980. (1983) ISBN:9783540119814; 9783540394457", "core" : true, "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" : "Logics of Programs and Their Applications", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 18239141, "link" : "/api/publicationidentifier/18239141", "label" : "DOI: 10.1007/3-540-11981-7", "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 }, "idValue" : "10.1007/3-540-11981-7", "realUrl" : "https://doi.org/10.1007/3-540-11981-7", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18239139, "link" : "/api/publicationidentifier/18239139", "label" : "ISBN: 9783540119814", "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" : "9783540119814", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783540119814", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 18239140, "link" : "/api/publicationidentifier/18239140", "label" : "ISBN: 9783540394457", "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" : "9783540394457", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783540394457", "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" : 336, "publishedYear" : 1983, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "published" : true, "oldId" : 2004000, "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" : 336, "publishedYear" : 1983, "conference" : { "otype" : "Conference", "mtid" : 60789, "link" : "/api/conference/60789", "label" : "Workshop on Logic of Programs, Logic of Programs 1980 1980-08-23 [Poznan, Lengyelország]", "location" : [ { "otype" : "City", "mtid" : 10827, "link" : "/api/city/10827", "label" : "Poznan, Lengyelország", "partOf" : { "otype" : "Country", "mtid" : 10027, "link" : "/api/country/10027", "label" : "Lengyelország", "published" : true, "oldId" : 2116147, "snippet" : true }, "published" : true, "oldId" : 1367196, "snippet" : true } ], "published" : true, "snippet" : true }, "digital" : null, "printed" : true, "collaboration" : "INTERNATIONAL", "sourceYear" : 2012, "packet" : "(Szakonyi Erzsebet (MATK admin); 2012.06.29. 16:11:40)", "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "nationalOrigin" : null, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2024-03-25", "oaFree" : false, "oaByAuthor" : { "otype" : "Author", "mtid" : 11, "link" : "/api/author/11", "label" : "Import Automata", "familyName" : "Import", "givenName" : "Automata", "published" : true, "oldId" : -1, "snippet" : true }, "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" : "2013-03-03T14:29:37.000+0000", "publishDate" : "2012-12-03T14:29:37.000+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 1, "ownerInstituteCount" : 5, "directInstituteCount" : 0, "authorCount" : 0, "contributorCount" : 1, "chapterCount" : 4, "chapters" : [ { "otype" : "BookChapter", "mtid" : 2004032, "link" : "/api/publication/2004032", "label" : "Andreka H. SHARPENING THE CHARACTERIZATION OF THE POWER OF FLOYD METHOD.. (1983) Megjelent: Logics of Programs and Their Applications pp. 1-26", "core" : true, "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" : "SHARPENING THE CHARACTERIZATION OF THE POWER OF FLOYD METHOD.", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 12040538, "link" : "/api/publicationidentifier/12040538", "label" : "DOI: 10.1007/3-540-11981-7_1", "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-11981-7_1", "realUrl" : "https://doi.org/10.1007/3-540-11981-7_1", "published" : false, "oldId" : 14146431, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 545121, "link" : "/api/publicationidentifier/545121", "label" : "WoS: A1983QE00500001", "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" : "https://www.webofscience.com/wos/woscc/full-record/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "oaFree" : false, "validState" : "DIFFERENT", "idValue" : "A1983QE00500001", "realUrl" : "https://www.webofscience.com/wos/woscc/full-record/A1983QE00500001", "published" : false, "oldId" : 333526, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 545122, "link" : "/api/publicationidentifier/545122", "label" : "Scopus: 0020995681", "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 }, "oaFree" : false, "validState" : "NO", "idValue" : "0020995681", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-0020995681", "published" : false, "oldId" : 333527, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 26, "publishedYear" : 1983, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : true, "published" : true, "oldId" : 2004032, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 25496333, "link" : "/api/publication/25496333", "label" : "Kawai H. A formal system for parallel programs in discrete time and space. (1983) Megjelent: Logics of Programs and Their Applications pp. 156-163", "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" : "A formal system for parallel programs in discrete time and space", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 10545284, "link" : "/api/publicationidentifier/10545284", "label" : "DOI: 10.1007/3-540-11981-7_11", "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-11981-7_11", "realUrl" : "https://doi.org/10.1007/3-540-11981-7_11", "published" : false, "oldId" : 11529668, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 8, "publishedYear" : 1983, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "published" : true, "oldId" : 15496333, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 26960628, "link" : "/api/publication/26960628", "label" : "Nemeti I. NONSTANDARD RUNS OF FLOYD-PROVABLE PROGRAMS.. (1983) Megjelent: Logics of Programs and Their Applications pp. 186-204", "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" : "NONSTANDARD RUNS OF FLOYD-PROVABLE PROGRAMS.", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 13211122, "link" : "/api/publicationidentifier/13211122", "label" : "Scopus: 0020998725", "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" : "0020998725", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-0020998725", "published" : false, "oldId" : 15995485, "snippet" : true } ], "publishedAt" : [ ], "pageLength" : 19, "publishedYear" : 1983, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "duplumRole" : "DUPLUM", "published" : true, "oldId" : 16960628, "snippet" : true }, { "otype" : "BookChapter", "mtid" : 34642759, "link" : "/api/publication/34642759", "label" : "Németi I.. Nonstandard runs of Floyd-provable programs. (1983) Megjelent: Logics of Programs and Their Applications pp. 186-204", "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" : "Nonstandard runs of Floyd-provable programs", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 25631179, "link" : "/api/publicationidentifier/25631179", "label" : "DOI: 10.1007/3-540-11981-7_13", "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 }, "idValue" : "10.1007/3-540-11981-7_13", "realUrl" : "https://doi.org/10.1007/3-540-11981-7_13", "published" : false, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 25631178, "link" : "/api/publicationidentifier/25631178", "label" : "Scopus: 0020998725", "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 }, "idValue" : "0020998725", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-0020998725", "published" : false, "snippet" : true } ], "volume" : "148 LNCS", "publishedAt" : [ ], "pageLength" : 19, "publishedYear" : 1983, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "duplumRole" : "DUPLUM", "published" : false, "snippet" : true } ], "fromCitation" : false, "hasQualityFactor" : false, "link" : "/api/publication/2004000", "label" : "Salwicki A. Logics of Programs and Their Applications: Proceedings, Poznan, August 23–29, 1980. (1983) ISBN:9783540119814; 9783540394457", "template" : "