Petri Net Reachability Graphs: Decidability Status of First Order Properties is a research paper published in Logical Methods in Computer Science (2012). On theSindex it has a DataRank of 0.866. It has been cited 14 times, with 13 citing works in its 1-hop citation network.
Scored on demand from live citation data
DataRank reads this dataset's downstream impact straight off the citation graph — no black box, no proprietary weighting. How is this computed?
FAIR checklist signals are shown for context only and do not affect DataRank scoring.
We only score data papers we can read in full — never from an abstract alone.
Base Score Contribution
0.406
From this paper's citation signal
Citation Network Contribution
0.460
From 10 citing papers with measurable signal