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

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	If my proof is not wrong this one is equivalent to the normal defintion, that a set is finite if there is a bijection to $\{1,\dots,n\}$ for a $n\in \mathbb{N}$.
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com