. . "Decidability (Mathematical logic)"@en . _:bnode7authoritiessubjectssh85036191 . _:bnode7authoritiessubjectssh85036191 _:bnode8authoritiessubjectssh85036191 . _:bnode7authoritiessubjectssh85036191 . _:bnode8authoritiessubjectssh85036191 . _:bnode8authoritiessubjectssh85036191 "Decidability (Mathematical logic)"@en . . . . . . . "QA9.65" . . . . . . _:bnode24authoritiessubjectssh85036191 . _:bnode24authoritiessubjectssh85036191 . _:bnode24authoritiessubjectssh85036191 "1986-02-11T00:00:00"^^ . _:bnode24authoritiessubjectssh85036191 "new"^^ . _:bnode24authoritiessubjectssh85036191 .