{ "labelLang" : "eng", "responseDate" : "2024-03-29 16:48", "paging" : { "last" : false, "first" : true, "totalPages" : 4, "totalElements" : 392, "totalUncutElements" : 392, "totalEstimatedElements" : 20, "size" : 100, "number" : 1, "numberOfElements" : 100, "sort" : [ { "direction" : "ASC", "property" : "publication.publishedYear", "ascending" : true }, { "direction" : "ASC", "property" : "publication.label", "ascending" : true }, { "direction" : "ASC", "property" : "publication.mtid", "ascending" : true }, { "direction" : "DESC", "property" : "related", "ascending" : false }, { "direction" : "ASC", "property" : "mtid", "ascending" : true } ] }, "content" : [ { "otype" : "Citation", "mtid" : 22770603, "status" : "APPROVED", "published" : true, "comment" : "T3 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2009. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009", "unhandledTickets" : 0, "oldTimestamp" : "2018-09-14T08:34:45.000+0000", "deleted" : false, "oldId" : 12770603, "lastModified" : "2018-09-14T08:34:45.000+0000", "created" : "2012-12-10T11:48:25.000+0000", "publication" : { "otype" : "JournalArticle", "mtid" : 2140688, "link" : "/api/publication/2140688", "label" : "Csirmaz L. Programs and program verifications in a general setting. (1981) THEORETICAL COMPUTER SCIENCE 0304-3975 16 2 199-210", "core" : true, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Journal Article", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000059, "link" : "/api/subtype/10000059", "label" : "Article (Journal Article)", "name" : "Szakcikk", "nameEng" : "Article", "docType" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Journal Article", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "listPosition" : 101, "published" : true, "oldId" : 10000059, "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" : "Programs and program verifications in a general setting", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 600360, "link" : "/api/publicationidentifier/600360", "label" : "DOI: 10.1016/0304-3975(81)90076-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 }, "oaFree" : false, "validState" : "IDENTICAL", "idValue" : "10.1016/0304-3975(81)90076-1", "realUrl" : "https://doi.org/10.1016%2F0304-3975%2881%2990076-1", "published" : false, "oldId" : 373451, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 600358, "link" : "/api/publicationidentifier/600358", "label" : "WoS: A1981MM61300005", "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" : "http://gateway.isiknowledge.com/gateway/Gateway.cgi?&GWVersion=2&SrcAuth=CustomerName&SrcApp=CustomerName&DestLinkType=FullRecord&KeyUT=@@@&DestApp=WOS", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "oaFree" : false, "validState" : "IDENTICAL", "idValue" : "A1981MM61300005", "realUrl" : "http://gateway.isiknowledge.com/gateway/Gateway.cgi?&GWVersion=2&SrcAuth=CustomerName&SrcApp=CustomerName&DestLinkType=FullRecord&KeyUT=A1981MM61300005&DestApp=WOS", "published" : false, "oldId" : 373452, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 600359, "link" : "/api/publicationidentifier/600359", "label" : "Scopus: 49149132213", "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" : "IDENTICAL", "idValue" : "49149132213", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-49149132213", "published" : false, "oldId" : 373453, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 4260, "link" : "/api/journal/4260", "label" : "THEORETICAL COMPUTER SCIENCE 0304-3975", "pIssn" : "0304-3975", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : true, "hungarian" : false, "published" : true, "oldId" : 4260, "snippet" : true }, "volume" : "16", "issue" : "2", "publishedAt" : [ ], "pageLength" : 12, "publishedYear" : 1981, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "published" : true, "oldId" : 2140688, "snippet" : true }, "publicationMtid" : 2140688, "related" : { "otype" : "JournalArticle", "mtid" : 22770603, "link" : "/api/publication/22770603", "label" : "Leivant D. On the completeness of dynamic logic. (2009) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 5504 LNCS 78-91", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Journal Article", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "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" : "On the completeness of dynamic logic", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 5598824, "link" : "/api/publicationidentifier/5598824", "label" : "DOI: 10.1007/978-3-642-00596-1_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 }, "validState" : "NO", "idValue" : "10.1007/978-3-642-00596-1_7", "realUrl" : "https://doi.org/10.1007%2F978-3-642-00596-1_7", "published" : false, "oldId" : 2765780, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 5598822, "link" : "/api/publicationidentifier/5598822", "label" : "WoS: 000265829200007", "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" : "http://gateway.isiknowledge.com/gateway/Gateway.cgi?&GWVersion=2&SrcAuth=CustomerName&SrcApp=CustomerName&DestLinkType=FullRecord&KeyUT=@@@&DestApp=WOS", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "validState" : "NO", "idValue" : "000265829200007", "realUrl" : "http://gateway.isiknowledge.com/gateway/Gateway.cgi?&GWVersion=2&SrcAuth=CustomerName&SrcApp=CustomerName&DestLinkType=FullRecord&KeyUT=000265829200007&DestApp=WOS", "published" : false, "oldId" : 2765781, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 5598823, "link" : "/api/publicationidentifier/5598823", "label" : "Scopus: 71049134467", "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" : "71049134467", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-71049134467", "published" : false, "oldId" : 2765782, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 3029, "link" : "/api/journal/3029", "label" : "LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349", "pIssn" : "0302-9743", "eIssn" : "1611-3349", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : true, "lang" : "FOREIGN", "hungarian" : false, "published" : true, "oldId" : 3029, "snippet" : true }, "volume" : "5504 LNCS", "publishedAt" : [ ], "pageLength" : 14, "publishedYear" : 2009, "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : false, "published" : true, "oldId" : 12770603, "snippet" : true }, "relatedMtid" : 22770603, "source" : "Scopus-RIS", "externalCitation" : true, "externalCitationOK" : false, "mentionCount" : 1, "link" : "/api/citation/22770603", "label" : "Leivant D. On the completeness of dynamic logic. (2009) LECTURE NOTES IN COMPUTER SCIENCE 0302-9743 1611-3349 5504 LNCS 78-91", "template" : "