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

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	So $x$ certainly satisfies this definition of irreducible: the only pairs $a,b$ multiplying to $x$ are $x1$ and $x(x+1)$, and in both cases one of the pair is a unit.
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com