{
  "source_id": "10.3176/phys.math.1986.3.07",
  "archive": "Estonian Academy Publishers archive (kirj.ee)",
  "publisher": "Estonian Academy Publishers",
  "journal": "Proceedings of the Academy of Sciences of the Estonian SSR. Physics. Mathematics",
  "journal_original": "Известия Академии наук Эстонской ССР. Физика. Математика",
  "year": 1986,
  "volume": "35",
  "issue": "3",
  "pages": "279–290",
  "first_page": 279,
  "last_page": 290,
  "title": "ИСЧИСЛЕНИЯ РЕЗОЛЮЦИЙ ДЛЯ МОДАЛЬНЫХ ЛОГИК",
  "title_en": null,
  "authors": [
    "Grigori Mints"
  ],
  "language": "Russian",
  "language_evidence": "crossref language=ru + Cyrillic (Russian) title",
  "doi": "10.3176/phys.math.1986.3.07",
  "landing_page": "https://kirj.ee/proceedings-of-the-academy-of-sciences-of-the-estonian-ssr-physics-mathematics/?filter[year]=1986&filter[issue]=873&filter[publication]=7247",
  "pdf_url": "https://kirj.ee/wp-content/plugins/kirj/pub/phys.math-3-1986-279-290_20230425151902.pdf",
  "license": "CC BY 4.0",
  "license_url": "http://creativecommons.org/licenses/by/4.0/",
  "license_evidence": "crossref license field (publisher policy page says CC BY-NC 4.0; see notes)",
  "license_notice": "Translated from Russian. Original: Grigori Mints, “Исчисления резолюций для модальных логик”, Proceedings of the Academy of Sciences of the Estonian SSR. Physics. Mathematics, 1986, vol. 35 no. 3, pp. 279–290, https://doi.org/10.3176/phys.math.1986.3.07. Published by Estonian Academy Publishers; license CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) as deposited with Crossref by the publisher (the publisher's policy page names CC BY-NC 4.0). Changes: translated into English.",
  "scan_pages": 12,
  "scan_bytes": 3412154,
  "scan_sha256": "113d3e8760de36523f02eefaaf8d22d4dd7d950981ab1f680ee6dce7235c2813",
  "english_translation": null,
  "record_url": "https://api.crossref.org/works/10.3176/phys.math.1986.3.07",
  "record_source": "harvested 2026-10-14 from the publisher's API"
}