<http://experiment.worldcat.org/entity/work/data/1909281327#Topic/algorithms> <http://schema.org/name> "Algorithms." .
<http://experiment.worldcat.org/entity/work/data/1909281327#Topic/algorithms> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1909281327#Topic/computer_programming_and_software> <http://schema.org/name> "Computer Programming and Software." .
<http://experiment.worldcat.org/entity/work/data/1909281327#Topic/computer_programming_and_software> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1909281327#Organization/carnegie_inst_of_tech_pittsburgh_pa> <http://schema.org/name> "CARNEGIE INST OF TECH PITTSBURGH PA." .
<http://experiment.worldcat.org/entity/work/data/1909281327#Organization/carnegie_inst_of_tech_pittsburgh_pa> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/1909281327#Topic/algebra> <http://schema.org/name> "Algebra." .
<http://experiment.worldcat.org/entity/work/data/1909281327#Topic/algebra> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1909281327#Topic/programming_languages> <http://schema.org/name> "(Programming languages." .
<http://experiment.worldcat.org/entity/work/data/1909281327#Topic/programming_languages> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/1909281327#Topic/mathematical_logic> <http://schema.org/name> "Mathematical logic)" .
<http://experiment.worldcat.org/entity/work/data/1909281327#Topic/mathematical_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/1909281327> <http://schema.org/description> "Formula Algol is an extension to ALGOL 60 incorporating formula manipulation and list processing. This paper defines a current version of the Formula Algol language which is implemented on the CDC G-20. (Author)."@en .
<http://worldcat.org/entity/work/id/1909281327> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1909281327#Topic/programming_languages> .
<http://worldcat.org/entity/work/id/1909281327> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/1909281327> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2629243636> .
<http://worldcat.org/entity/work/id/1909281327> <http://schema.org/name> "A DEFINITION OF FORMULA ALGOL"@en .
<http://worldcat.org/entity/work/id/1909281327> <http://schema.org/workExample> <http://www.worldcat.org/oclc/227416495> .
<http://worldcat.org/entity/work/id/1909281327> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1909281327#Topic/algorithms> .
<http://worldcat.org/entity/work/id/1909281327> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1909281327#Topic/algebra> .
<http://worldcat.org/entity/work/id/1909281327> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1909281327#Topic/computer_programming_and_software> .
<http://worldcat.org/entity/work/id/1909281327> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2668266205> .
<http://worldcat.org/entity/work/id/1909281327> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/1909281327#Topic/mathematical_logic> .
<http://worldcat.org/entity/work/id/1909281327> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2711563507> .
<http://worldcat.org/entity/work/id/1909281327> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/1909281327#Organization/carnegie_inst_of_tech_pittsburgh_pa> .
<http://experiment.worldcat.org/entity/work/data/1909281327.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/1909281327.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/1909281327> .