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

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 A,>> > > > then A = N.>> > > >>> > > > Are the integers modulus z a model for these axioms?>>> There is an error in that a model would be the integers modulo z+1, not >> modulo>> z.
http://www.w3.org/ns/prov#wasQuotedFrom	mathforum.org