{"size": 177, "ext": "scrbl", "max_stars_repo_path": "satore/scribblings/satore.scrbl", "max_stars_repo_name": "kawa-work/deepmind-research", "max_stars_repo_stars_event_min_datetime": "2019-08-27T20:05:30.000Z", "max_stars_repo_stars_event_max_datetime": "2022-03-31T16:31:56.000Z", "max_issues_repo_path": "satore/scribblings/satore.scrbl", "max_issues_repo_name": "subhayuroy/deepmind-research", "max_issues_repo_issues_event_min_datetime": "2019-11-09T10:19:10.000Z", "max_issues_repo_issues_event_max_datetime": "2022-03-31T00:05:19.000Z", "max_forks_repo_path": "satore/scribblings/satore.scrbl", "max_forks_repo_name": "subhayuroy/deepmind-research", "max_forks_repo_forks_event_min_datetime": "2019-08-28T12:53:36.000Z", "max_forks_repo_forks_event_max_datetime": "2022-03-31T13:15:11.000Z"}
{"max_stars_count": 10110, "max_issues_count": 317, "max_forks_count": 2170, "avg_line_length": 29.5, "max_line_length": 95, "alphanum_fraction": 0.790960452}
#lang scribble/manual

@title{First-order logic saturation with atom rewriting}

See the @hyperlink["https://github.com/deepmind/deepmind-research/tree/master/satore"]{readme}.
