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

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	The Miller-Rabin primality test relies on a binary relation between two positive integers k and n that can be expressed by saying that k is a witness to the compositeness of n.
http://www.w3.org/ns/prov#wasQuotedFrom	wikipedia.org