{"type":"ScholarlyArticle","title":"The Theorem Prover Using a Parallel Processing System","authors":[{"name":"Hitoshi Ogawa","slug":"hitoshi-ogawa","given":"Hitoshi","family":"Ogawa","affiliation":""},{"name":"Tadahiro Kitahashi","slug":"tadahiro-kitahashi","given":"Tadahiro","family":"Kitahashi","affiliation":""},{"name":"Kokichi Tanaka","slug":"kokichi-tanaka","given":"Kokichi","family":"Tanaka","affiliation":""}],"abstract":"","doi":null,"url":"https://ijcai.org/proceedings/1979/146","pdf":"https://ijcai.org/proceedings/1979/0146.pdf","markdown":"https://ijcai.org/proceedings/1979/146.md","bibtex":"https://ijcai.org/proceedings/1979/bibtex/146","volume":{"slug":"1979","title":"Proceedings of the Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1979","url":"https://ijcai.org/proceedings/1979/","year":1979,"location":"Tokyo, Japan","dates":"August 20-23, 1979","editors":"Bruce G. Buchanan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":146,"pages":{"first":null,"last":null},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}