is a formula that

2 triples
GPTKB property

Random triples
Subject Object
gptkb:Wallis_product_for_π approximates π
gptkb:Duckworth-Lewis_method adjusts scores based on conditions