<http://experiment.worldcat.org/entity/work/data/29540593#Topic/fault_tolerance> <http://schema.org/name> "FAULT TOLERANCE." .
<http://experiment.worldcat.org/entity/work/data/29540593#Topic/fault_tolerance> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/29540593#Topic/systems_analysis> <http://schema.org/name> "SYSTEMS ANALYSIS." .
<http://experiment.worldcat.org/entity/work/data/29540593#Topic/systems_analysis> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/29540593#Organization/langley_research_center> <http://schema.org/name> "Langley Research Center." .
<http://experiment.worldcat.org/entity/work/data/29540593#Organization/langley_research_center> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/29540593.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/29540593.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/29540593> .
<http://experiment.worldcat.org/entity/work/data/29540593#Organization/united_states_national_aeronautics_and_space_administration> <http://schema.org/name> "United States. National Aeronautics and Space Administration." .
<http://experiment.worldcat.org/entity/work/data/29540593#Organization/united_states_national_aeronautics_and_space_administration> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/29540593#Topic/fault_tolerant_computing> <http://schema.org/name> "Fault-tolerant computing." .
<http://experiment.worldcat.org/entity/work/data/29540593#Topic/fault_tolerant_computing> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/29540593#Topic/computer_design> <http://schema.org/name> "COMPUTER DESIGN." .
<http://experiment.worldcat.org/entity/work/data/29540593#Topic/computer_design> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/29540593#Topic/failure_analysis> .
<http://worldcat.org/entity/work/id/29540593> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/29540593#Topic/computer_design> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/workExample> <http://www.worldcat.org/oclc/31406579> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85047488> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/workExample> <http://www.worldcat.org/oclc/892312312> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/contributor> <http://viaf.org/viaf/127305149> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/29540593#Topic/fault_tolerant_computing> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/29540593#Organization/langley_research_center> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n78087581> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/29540593#Topic/fault_tolerance> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/about> <http://id.worldcat.org/fast/921988> .
<http://worldcat.org/entity/work/id/29540593> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/29540593#Organization/computational_logic_inc> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/29540593#Topic/systems_analysis> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n79134855> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2630175991> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/workExample> <http://www.worldcat.org/oclc/27160107> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2682326974> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/29540593#Organization/united_states_national_aeronautics_and_space_administration> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/contributor> <http://viaf.org/viaf/146202023> .
<http://worldcat.org/entity/work/id/29540593> <http://schema.org/name> "Machine checked proofs of the design and implementation of a fault-tolerant circuit"@en .
<http://experiment.worldcat.org/entity/work/data/29540593#Topic/failure_analysis> <http://schema.org/name> "FAILURE ANALYSIS." .
<http://experiment.worldcat.org/entity/work/data/29540593#Topic/failure_analysis> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/29540593#Organization/computational_logic_inc> <http://schema.org/name> "Computational Logic, Inc." .
<http://experiment.worldcat.org/entity/work/data/29540593#Organization/computational_logic_inc> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .