Assertion: order logic | /r/HasProperty | presented in yavorskaya
Facets:
Source sentences:
text: A First-Order Logic of Proofs, \(\textsf{FOLP}\), with quantifiers over individual variables, has been presented in Artemov and Yavorskaya (Sidon)