. "Automatic hypothesis formation"@en . _:bnode7authoritiessubjectssh85010099 . _:bnode7authoritiessubjectssh85010099 . _:bnode7authoritiessubjectssh85010099 "Mechanized hypothesis formation"@en . . . . . "Mechanized hypothesis formation"@en . _:bnode18authoritiessubjectssh85010099 . _:bnode18authoritiessubjectssh85010099 . _:bnode18authoritiessubjectssh85010099 . _:bnode18authoritiessubjectssh85010099 "Library of Congress, Network Development and MARC Standards Office" . _:bnode18authoritiessubjectssh85010099 "1986-02-11T00:00:00"^^ . _:bnode18authoritiessubjectssh85010099 "new"^^ .