On the public citation graph

A Fascinating Country in the World of Computing

https://doi.org/10.1142/4132
0 signed · 34 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/0470018860.s00060openalex-snapshot
Resolution Theorem Proving
inferred← citeshttps://doi.org/10.1007/3-540-36131-6_16openalex-snapshot
Indeed: Interactive Deduction on Horn Clause Theories
inferred← citeshttps://doi.org/10.1007/3-540-44659-1_32openalex-snapshot
Automating the Search for Answers to Open Questions
inferred← citeshttps://doi.org/10.1007/3-540-44659-1_33openalex-snapshot
Appendix: Conjectures Concerning Proof, Design, and Verification
inferred← citeshttps://doi.org/10.1007/978-3-540-32254-2_13openalex-snapshot
The Flowering of Automated Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-540-45085-6_18openalex-snapshot
Reasoning about Iteration in Gödel’s Class Theory
inferred← citeshttps://doi.org/10.1007/978-3-540-73433-8_24openalex-snapshot
A Short Survey of Automated Reasoning
inferred← citeshttps://doi.org/10.1007/978-3-540-85567-5_44openalex-snapshot
Towards Reconfigurable Circuits Based on Ternary Controlled Analog Multiplexers/Demultiplexers
inferred← citeshttps://doi.org/10.1007/978-3-642-17773-6_22openalex-snapshot
Robbing the Bank with a Theorem Prover
inferred← citeshttps://doi.org/10.1007/978-3-662-05642-4_5openalex-snapshot
The Mechanization of Mathematics
inferred← citeshttps://doi.org/10.1007/978-94-017-1586-7_8openalex-snapshot
Bayesianism in Mathematics
inferred← citeshttps://doi.org/10.1007/s10817-006-9036-zopenalex-snapshot
Mathematical Induction in Otter-Lambda
inferred← citeshttps://doi.org/10.1007/s10817-009-9145-6openalex-snapshot
Formalizing an Analytic Proof of the Prime Number Theorem
inferred← citeshttps://doi.org/10.1007/s10817-016-9392-2openalex-snapshot
Finding Proofs in Tarskian Geometry
inferred← citeshttps://doi.org/10.1007/s10817-022-09620-8openalex-snapshot
Larry Wos: Visions of Automated Reasoning
inferred← citeshttps://doi.org/10.1007/s10992-007-9070-2openalex-snapshot
AI, ME AND LEWIS (ABELIAN IMPLICATION, MATERIAL EQUIVALENCE AND C I LEWIS 1920)
inferred← citeshttps://doi.org/10.1007/s11225-005-8469-4openalex-snapshot
Double-Negation Elimination in Some Propositional Logics
inferred← citeshttps://doi.org/10.1007/s11390-026-6040-0openalex-snapshot
Automated Conjecturing and Theorem Finding: A Survey
inferred← citeshttps://doi.org/10.1016/j.camwa.2005.01.018openalex-snapshot
Rectangular quasigroups and rectangular loops
inferred← citeshttps://doi.org/10.1023/a:1010687609134openalex-snapshot
Distributivity in Łℵ0 and Other Sentential Logics
inferred← citeshttps://doi.org/10.1023/a:1010691726881openalex-snapshot
Conquering the Meredith Single Axiom
inferred← citeshttps://doi.org/10.1023/a:1010695827789openalex-snapshot
Missing Proofs Found
inferred← citeshttps://doi.org/10.1023/a:1012486904520openalex-snapshot
Finding Missing Proofs with Automated Reasoning
inferred← citeshttps://doi.org/10.1023/a:1020537107897openalex-snapshot
Hilbert's Twenty-Fourth Problem
inferred← citeshttps://doi.org/10.1023/a:1020542009983openalex-snapshot
Short Single Axioms for Boolean Algebra
inferred← citeshttps://doi.org/10.1023/a:1021693818601openalex-snapshot
Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus
inferred← citeshttps://doi.org/10.1023/a:1023278717096openalex-snapshot
The Strategy of Cramming
inferred← citeshttps://doi.org/10.1090/s0002-9939-01-06090-7openalex-snapshot
Every diassociative A-loop is Moufang
inferred← citeshttps://doi.org/10.1109/ifita.2009.55openalex-snapshot
Using First Order Logic to Reason about TCG's TPM Specification
inferred← citeshttps://doi.org/10.1305/ndjfl/1074290715openalex-snapshot
Shortest Axiomatizations of Implicational S4 and S5
inferred← citeshttps://doi.org/10.2172/822573openalex-snapshot
OTTER 3.3 reference manual.
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0205078openalex-snapshot
A Spectrum of Applications of Automated Reasoning
inferred← citeshttps://doi.org/10.48550/arxiv.math/0409074openalex-snapshot
Rectangular loops and rectangular quasigroups
inferred← citeshttps://doi.org/10.5860/choice.41-5827openalex-snapshot
Towards a philosophy of real mathematics
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.