Tau: A Web-Deployed Hybrid Prover for First-Order Logic with Identity and Optional Inductive Proof

Feed apparatus for a uniflow regenerative shaft furnace for the calcining of limestone and similar raw materials is formed with a feed container installed above each of the shafts of the furnace, each of the feed containers being arranged concentrically with the shaft axis of the respective shaft over which it is installed and constructed to be maintained in rotation during filling thereof of the material to be calcined.