The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
A Proof of Kamp's theorem
The work
| Authors | Alexander Rabinovich |
|---|---|
| Editors | |
| Type | article |
| Year | 2014 |
| Citekey | rabinovich2014proof |
Where it appeared
| Published in | Logical Methods in Computer Science |
|---|---|
| Publisher | Logical Methods in Computer Science e.V. |
| Volume | Volume 10, Issue 1 |
| Pages | 527 |
Identifiers
| DOI | 10.2168/lmcs-10(1:14)2014 |
|---|---|
| OpenAlex | W1979919662 |
Access
| Landing page | https://doi.org/10.2168/lmcs-10(1:14)2014 |
|---|---|
| Free full text | https://lmcs.episciences.org/730/pdf |
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
We provide a simple proof of Kamp's theorem.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-24 17:55 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@article{rabinovich2014proof,
title = {A Proof of Kamp's theorem},
author = {Alexander Rabinovich},
year = {2014},
journal = {Logical Methods in Computer Science},
publisher = {Logical Methods in Computer Science e.V.},
volume = {Volume 10, Issue 1},
pages = {527},
doi = {10.2168/lmcs-10(1:14)2014},
}
This record lives at https://refs.drheap.org/rabinovich2014proof/ and will keep doing so.