isafol/isafol: papers linking to it

← Code and data repositories cited in research papers

Research papers in the 480 tracked journals that link to isafol/isafol (https://bitbucket.org/isafol/isafol), read from their Crossref records: by year, category and journal, the family tree of papers building on one another, and the linked repositories derived from it or that it derives from.

Key findings#

3 papers in the tracked journals link to the Bitbucket repository isafol/isafol in their Crossref records, the first in 2018; most of them (2) in 2018.
By category: AI (3); the journals with the most are Journal of Automated Reasoning (3).

By year#

20182019

Papers linking to isafol/isafol by publication year
Year	Papers
2018	2
2019	1

Journals#

Journals whose papers link to isafol/isafol most
Journal	Papers
Journal of Automated Reasoning	3

Papers linking to isafol/isafol, most cited first
Published	Title	Journal	Authors	Citations	Link
2018-03-12	A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality	Journal of Automated Reasoning	Jasmin Christian Blanchette, Mathias Fleury, Peter Lammich et al.	44	cites it
2018-01-20	Formalization of the Resolution Calculus for First-Order Logic	Journal of Automated Reasoning	Anders Schlichtkrull	14	cites it
2019-04-16	A Formalized General Theory of Syntax with Bindings: Extended Version	Journal of Automated Reasoning	Lorenzo Gheri, Andrei Popescu	12	cites it

How this is measured#

Links are read from each paper's Crossref record as its publisher deposited it: the URLs and repository DOIs in its reference list (the software and data it cites) and its supplementary links (“is-supplemented-by”: its own code or data). A paper that gives its code only in the text, a footnote or a data availability statement is not counted, and some publishers deposit reference lists without their URLs, so every count here is a lower bound. Repository details come from the GitHub REST API (stars, forks, and the repository a fork was made from), the Hugging Face Hub API (likes, downloads, and the base model a model was derived from) and DataCite (Zenodo and other data DOIs, and the GitHub release a Zenodo record archives), read again every month.

Cite this page

Scholar4AI. (2026). isafol/isafol: papers linking to it. Journal and Conference Research Rankings. Retrieved November 3, 2026, from https://scholar4ai.com/code/bitbucket-isafol-isafol

@misc{scholar4ai-code-bitbucket-isafol-isafol,
  author = {{Scholar4AI}},
  title = {isafol/isafol: papers linking to it},
  year = {2026},
  howpublished = {\url{https://scholar4ai.com/code/bitbucket-isafol-isafol}},
  urldate = {2026-11-03},
  note = {Journal and Conference Research Rankings; data from OpenAlex (CC0); licensed CC BY-NC 4.0}
}

Free to reuse for non-commercial purposes with attribution (CC BY-NC 4.0).