Learn More
Seven cats from a single household with 17 cats were shedding cysts of Giardia species as detected by a modified zinc sulfate concentration technique. All the cats were housed individually in Horsfal isolation units for the duration of the evaluation, treatment, and follow-up monitoring. Each of the infected cats was treated with metronidazole at a dose of(More)
This paper describes two data-exchange formats for Automated Theorem Proving (ATP) tools. First, a language for writing the problems that are input to ATP systems, and for writing the solutions that are output from ATP systems, is described. Second, a hierarchy of values for specifying the logical status of an ATP problem, as may be established by an ATP(More)
The Ωmega proof development system [2] is the core of several related and well integrated research projects of the Ωmega research group. Ωmega is a mathematical assistant tool that supports proof development in mathematical domains at a user-friendly level of abstraction. It is a modular system with a central data structure and several complementary(More)
Pulmonary lymphomatoid granulomatosis was diagnosed in a 9-year-old castrated male domestic shorthair cat with a history of coughing, lethargy, and anorexia. Radiographic examination revealed multiple pulmonary opacities, consolidation of left lung lobes, and enlarged tracheobronchial lymph nodes. Cytologic examination of impression smears of abnormal(More)
Congenital portosystemic venous shunt causing signs of hepatic encephalopathy was diagnosed in 7 cats. The left gastric vein served as the shunt in four of these. Increases in blood ammonia and postprandial serum bile acids were the most consistent serum biochemical abnormalities. Excessive variation in red blood cell shape was a common but nonspecific(More)