{"size": 137, "ext": "scrbl", "max_stars_repo_path": "satore/scribblings/satore.scrbl", "max_stars_repo_name": "ishavdesai/deepmind-research", "max_stars_repo_stars_event_min_datetime": "2021-08-11T02:38:17.000Z", "max_stars_repo_stars_event_max_datetime": "2021-08-11T02:38:17.000Z", "max_issues_repo_path": "satore/scribblings/satore.scrbl", "max_issues_repo_name": "ibex-training/deepmind-research", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "satore/scribblings/satore.scrbl", "max_forks_repo_name": "ibex-training/deepmind-research", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": 1, "max_issues_count": null, "max_forks_count": null, "avg_line_length": 22.8333333333, "max_line_length": 58, "alphanum_fraction": 0.7664233577}
#lang scribble/manual

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

See the @hyperlink["https://link-to-readme"]{readme}.
