Assertion: algorithm | /r/CapableOf | appear as proposition ii
Facets:
value: in book vii
type: TEMPORAL
Source sentences:
text: Euclid's algorithm to compute the greatest common divisor (GCD) to two numbers appears as Proposition II in Book VII ("Elementary Number Theory") of his Elements.