. . "Induction (Mathematics)"@en . _:bnode7authoritiessubjectssh85065806 . _:bnode7authoritiessubjectssh85065806 _:bnode8authoritiessubjectssh85065806 . _:bnode7authoritiessubjectssh85065806 . _:bnode8authoritiessubjectssh85065806 . _:bnode8authoritiessubjectssh85065806 "Induction (Mathematics)"@en . . . . "Induction (Logic)"@en . "Induction (Logic)"@en . . . . "Mathematics"@en . "Mathematics"@en . . . . "AQVAL programs (Computer programs)"@en . "AQVAL programs (Computer programs)"@en . . . . "Automatic hypothesis formation"@en . "Automatic hypothesis formation"@en . . . . . . _:bnode44authoritiessubjectssh85065806 . _:bnode44authoritiessubjectssh85065806 . _:bnode44authoritiessubjectssh85065806 . _:bnode44authoritiessubjectssh85065806 "Mathematical induction"@en . _:bnode44authoritiessubjectssh85065806 _:bnode49authoritiessubjectssh85065806 . _:bnode49authoritiessubjectssh85065806 _:bnode50authoritiessubjectssh85065806 . _:bnode49authoritiessubjectssh85065806 . _:bnode50authoritiessubjectssh85065806 . _:bnode50authoritiessubjectssh85065806 "Mathematical induction"@en . . . _:bnode55authoritiessubjectssh85065806 . _:bnode55authoritiessubjectssh85065806 . _:bnode55authoritiessubjectssh85065806 "1986-02-11T00:00:00"^^ . _:bnode55authoritiessubjectssh85065806 "new"^^ . _:bnode55authoritiessubjectssh85065806 . . "Induction (Mathematics)"@en . _:bnode65authoritiessubjectssh85065806 . _:bnode65authoritiessubjectssh85065806 . _:bnode65authoritiessubjectssh85065806 "Mathematical induction"@en . . . "Induction (Logic)"@en . . . "Mathematics"@en . . . "AQVAL programs (Computer programs)"@en . . . "Automatic hypothesis formation"@en . . . . "Mathematical induction"@en . _:bnode95authoritiessubjectssh85065806 . _:bnode95authoritiessubjectssh85065806 . _:bnode95authoritiessubjectssh85065806 . _:bnode95authoritiessubjectssh85065806 "Library of Congress, Network Development and MARC Standards Office" . _:bnode95authoritiessubjectssh85065806 "1986-02-11T00:00:00"^^ . _:bnode95authoritiessubjectssh85065806 "new"^^ .