| http://www.w3.org/ns/prov#value | - blem solvable by software tools is described which includes a first computer terminal permitting an originator to enter data describing the problem to be solved, the data including a criteria for verification and comparison, and to transmit the problem data to at least one other computer, and at least one second computer capable of receiving the problem data from the first computer, where the at l
|