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

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	I suppose there are problem types in lattice and order theory that might in principle be formulated as propositional theories", but usually it is more convenient to handle them using algebraic or graph-theoretic tools instead.
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com