{
  "source_id": "10.3176/phys.math.1984.2.02",
  "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": 1984,
  "volume": "33",
  "issue": "2",
  "pages": "147–151",
  "first_page": 147,
  "last_page": 151,
  "title": "СТРУКТУРНЫЙ СИНТЕЗ С НЕЗАВИСИМЫМИ ПОДЗАДАЧАМИ И МОДАЛЬНАЯ ЛОГИКА S4",
  "title_en": null,
  "authors": [
    "Grigori Mints"
  ],
  "language": "Russian",
  "language_evidence": "crossref language=ru + Cyrillic (Russian) title",
  "doi": "10.3176/phys.math.1984.2.02",
  "landing_page": "https://kirj.ee/proceedings-of-the-academy-of-sciences-of-the-estonian-ssr-physics-mathematics/?filter[year]=1984&filter[issue]=865&filter[publication]=7130",
  "pdf_url": "https://kirj.ee/wp-content/plugins/kirj/pub/phys.math-2-1984-147-151_20230425145952.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, “Структурный синтез с независимыми подзадачами и модальная логика s4”, Proceedings of the Academy of Sciences of the Estonian SSR. Physics. Mathematics, 1984, vol. 33 no. 2, pp. 147–151, https://doi.org/10.3176/phys.math.1984.2.02. 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": 5,
  "scan_bytes": 1487838,
  "scan_sha256": "dcc4d634182be197667b54056638a03d4f36470c37209c234109269346ff65c8",
  "english_translation": null,
  "record_url": "https://api.crossref.org/works/10.3176/phys.math.1984.2.02",
  "record_source": "harvested 2026-10-14 from the publisher's API"
}