Q132321834

Summary

Q132321834 is a version, edition or translation^[1].

Key Facts

• Q132321834's instance of is recorded as version, edition or translation^[2].
• Q132321834's language of work or name is recorded as English^[3].
• Q132321834 was distributed by hardcover^[4].
• Q132321834 was published on +2001-07-06T00:00:00Z^[5].
• Q132321834's edition or translation of is recorded as Handbook of Automated Reasoning^[6].
• Q132321834's number of pages is recorded as {'unit': '1', 'amount': '+2128'}^[7].
• Q132321834's title is recorded as Handbook of Automated Reasoning^[8].

Body

Definition and Type

Q132321834's instance of is recorded as version, edition or translation^[2].