Assertion: order logic | /r/HasProperty | equivalent
Facets:
Source sentences:
text: They also prove that first-order logic with a primitive ordered pair is equivalent to a relation algebra with two ordered pair projection functions.:803