About: http://webisa.webdatacommons.org/16988561

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	In accordance with a still further aspect of the present invention, the translator includes means for including in an executable image of the program, instructions to test the semaphore and to test the branch predicate.
http://www.w3.org/ns/prov#wasQuotedFrom	google.com