<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_mathematical_constants> .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_numerical_analysis_topics> .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Topic_related_to_%CF%80> .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_dimensionless_quantities> .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Mathematical_constant> .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Wallis" .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Wallis' formula for \u03C0" .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Pi_algorithms> .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Wallis parameter" .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Wallis' product" .
<http://caligraph.org/resource/John_Wallis>	<http://caligraph.org/ontology/knownFor>	<http://caligraph.org/resource/Wallis_product> .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Article_containing_proofs> .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/2004/02/skos/core#altLabel>	"derived using integration by parts" .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Wallis product" .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Infinite_products> .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Numerical_analysis_topic> .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/List_of_topics_related_to_%CF%80> .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Wallis's constant" .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/2000/01/rdf-schema#label>	"Wallis product" .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#NamedIndividual> .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Dimensionless_quantity> .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Infinite_product> .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Dimensionless_numbers_in_fluid_mechanics> .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/2004/02/skos/core#altLabel>	"Proof of Wallis product" .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://caligraph.org/ontology/Pi_algorithm> .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Category:Articles_containing_proofs> .
<http://caligraph.org/resource/Wallis_product>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Wallis_product> .