{
            "_:bnode15authoritiessubjectssh2005007311" : {
                        "<http://www.loc.gov/mads/rdf/v1#elementList>": 
                                [
                                    { 
                                        "value" : "_:bnode20authoritiessubjectssh2005007311",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#variantLabel>": 
                                [
                                    { 
                                        "value" : "Hoare's logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.loc.gov/mads/rdf/v1#Topic",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.loc.gov/mads/rdf/v1#Variant",
                                        "type" : "uri"
                                    }
                                ]
                        },
            
            "_:bnode20authoritiessubjectssh2005007311" : {
                        "<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>": 
                                [
                                    { 
                                        "value" : "_:bnode21authoritiessubjectssh2005007311",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil",
                                        "type" : "uri"
                                    }
                                ]
                        },
            
            "_:bnode21authoritiessubjectssh2005007311" : {
                        "<http://www.loc.gov/mads/rdf/v1#elementValue>": 
                                [
                                    { 
                                        "value" : "Hoare's logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.loc.gov/mads/rdf/v1#TopicElement",
                                        "type" : "uri"
                                    }
                                ]
                        },
            
            "_:bnode26authoritiessubjectssh2005007311" : {
                        "<http://www.loc.gov/mads/rdf/v1#citation-note>": 
                                [
                                    { 
                                        "value" : "leaf 1 (This note presents a mechanism, called a decomposition rule, which reduces the complexity of theorem proving in program verification by the Hoare logic)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#citation-source>": 
                                [
                                    { 
                                        "value" : "Work cat.: Takaoka, T. A decomposition rule for Hoare logic, 1986:",
                                        "type" : "literal"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#citation-status>": 
                                [
                                    { 
                                        "value" : "found",
                                        "type" : "literal"
                                    }
                                ], 
                            "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.loc.gov/mads/rdf/v1#Source",
                                        "type" : "uri"
                                    }
                                ]
                        },
            
            "_:bnode34authoritiessubjectssh2005007311" : {
                        "<http://www.loc.gov/mads/rdf/v1#citation-note>": 
                                [
                                    { 
                                        "value" : "(Hoare logic is a formal system developed by the British computer scientist C.A.R. Hoare, and published in his 1969 paper An Axiomatic Basis for Computer Programming. The purpose of the system is to provide a set of logical rules that one can use to reason about computer programs with the rigor of mathematical logic)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#citation-source>": 
                                [
                                    { 
                                        "value" : "Wikipedia, Nov. 1, 2005",
                                        "type" : "literal"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#citation-status>": 
                                [
                                    { 
                                        "value" : "found",
                                        "type" : "literal"
                                    }
                                ], 
                            "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.loc.gov/mads/rdf/v1#Source",
                                        "type" : "uri"
                                    }
                                ]
                        },
            
            "_:bnode42authoritiessubjectssh2005007311" : {
                        "<http://www.loc.gov/mads/rdf/v1#citation-note>": 
                                [
                                    { 
                                        "value" : "pp. 226-227 (Hoare logic -- A formalism for partial correctness proofs ... Many remarkable insights into program correctness have been obtained from the mathematical study of Hoare logic)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#citation-source>": 
                                [
                                    { 
                                        "value" : "Dictionary of computing, 1996:",
                                        "type" : "literal"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#citation-status>": 
                                [
                                    { 
                                        "value" : "found",
                                        "type" : "literal"
                                    }
                                ], 
                            "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.loc.gov/mads/rdf/v1#Source",
                                        "type" : "uri"
                                    }
                                ]
                        },
            
            "_:bnode50authoritiessubjectssh2005007311" : {
                        "<http://www.loc.gov/mads/rdf/v1#citation-note>": 
                                [
                                    { 
                                        "value" : "p. 1465 (An axiomatic semantics abstracts program properties away from input-output behavior and into logical behavior: a standard example is Hoare logic, where program properties are formulas in propositional logic)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#citation-source>": 
                                [
                                    { 
                                        "value" : "Encyclopedia of computer science, 2000:",
                                        "type" : "literal"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#citation-status>": 
                                [
                                    { 
                                        "value" : "found",
                                        "type" : "literal"
                                    }
                                ], 
                            "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.loc.gov/mads/rdf/v1#Source",
                                        "type" : "uri"
                                    }
                                ]
                        },
            
            "_:bnode58authoritiessubjectssh2005007311" : {
                        "<http://www.loc.gov/mads/rdf/v1#citation-note>": 
                                [
                                    { 
                                        "value" : "(titles: Proving program inclusion using Hoare's logic; A brief study in automatic proofs based on a refined Hoare-logic; Process algebra with guards : combining Hoare logic with process algebra; Hoare logic for GOLOG programs)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#citation-source>": 
                                [
                                    { 
                                        "value" : "OCLC, Nov. 1, 2005",
                                        "type" : "literal"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#citation-status>": 
                                [
                                    { 
                                        "value" : "found",
                                        "type" : "literal"
                                    }
                                ], 
                            "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.loc.gov/mads/rdf/v1#Source",
                                        "type" : "uri"
                                    }
                                ]
                        },
            
            "_:bnode66authoritiessubjectssh2005007311" : {
                        "<http://id.loc.gov/ontologies/RecordInfo#languageOfCataloging>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/vocabulary/iso639-2/eng",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://id.loc.gov/ontologies/RecordInfo#recordChangeDate>": 
                                [
                                    { 
                                        "value" : "2006-03-15T00:00:00",
                                        "type" : "literal",
                                        "datatype" : "<http://www.w3.org/2001/XMLSchema#dateTime>"
                                    }
                                ], 
                            "<http://id.loc.gov/ontologies/RecordInfo#recordContentSource>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/vocabulary/organizations/abau",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://id.loc.gov/ontologies/RecordInfo#recordStatus>": 
                                [
                                    { 
                                        "value" : "new",
                                        "type" : "literal",
                                        "datatype" : "<http://www.w3.org/2001/XMLSchema#string>"
                                    }
                                ], 
                            "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/ontologies/RecordInfo#RecordInfo",
                                        "type" : "uri"
                                    }
                                ]
                        },
            
            "_:bnode74authoritiessubjectssh2005007311" : {
                        "<http://id.loc.gov/ontologies/RecordInfo#languageOfCataloging>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/vocabulary/iso639-2/eng",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://id.loc.gov/ontologies/RecordInfo#recordChangeDate>": 
                                [
                                    { 
                                        "value" : "2006-03-15T12:17:28",
                                        "type" : "literal",
                                        "datatype" : "<http://www.w3.org/2001/XMLSchema#dateTime>"
                                    }
                                ], 
                            "<http://id.loc.gov/ontologies/RecordInfo#recordContentSource>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/vocabulary/organizations/abau",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://id.loc.gov/ontologies/RecordInfo#recordStatus>": 
                                [
                                    { 
                                        "value" : "revised",
                                        "type" : "literal",
                                        "datatype" : "<http://www.w3.org/2001/XMLSchema#string>"
                                    }
                                ], 
                            "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/ontologies/RecordInfo#RecordInfo",
                                        "type" : "uri"
                                    }
                                ]
                        },
            
            "_:bnode7authoritiessubjectssh2005007311" : {
                        "<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>": 
                                [
                                    { 
                                        "value" : "_:bnode8authoritiessubjectssh2005007311",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil",
                                        "type" : "uri"
                                    }
                                ]
                        },
            
            "_:bnode8authoritiessubjectssh2005007311" : {
                        "<http://www.loc.gov/mads/rdf/v1#elementValue>": 
                                [
                                    { 
                                        "value" : "Hoare logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.loc.gov/mads/rdf/v1#TopicElement",
                                        "type" : "uri"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh2005007311>" : {
                        "<http://www.loc.gov/mads/rdf/v1#adminMetadata>": 
                                [
                                    { 
                                        "value" : "_:bnode66authoritiessubjectssh2005007311",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#adminMetadata>": 
                                [
                                    { 
                                        "value" : "_:bnode74authoritiessubjectssh2005007311",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Hoare logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#elementList>": 
                                [
                                    { 
                                        "value" : "_:bnode7authoritiessubjectssh2005007311",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasBroaderAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85078115",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasSource>": 
                                [
                                    { 
                                        "value" : "_:bnode26authoritiessubjectssh2005007311",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasSource>": 
                                [
                                    { 
                                        "value" : "_:bnode34authoritiessubjectssh2005007311",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasSource>": 
                                [
                                    { 
                                        "value" : "_:bnode42authoritiessubjectssh2005007311",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasSource>": 
                                [
                                    { 
                                        "value" : "_:bnode50authoritiessubjectssh2005007311",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasSource>": 
                                [
                                    { 
                                        "value" : "_:bnode58authoritiessubjectssh2005007311",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasVariant>": 
                                [
                                    { 
                                        "value" : "_:bnode15authoritiessubjectssh2005007311",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/collection_LCSH_General",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#isMemberOfMADSCollection>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/collection_LCSHAuthorizedHeadings",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#isMemberOfMADSScheme>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.loc.gov/mads/rdf/v1#Authority",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.loc.gov/mads/rdf/v1#Topic",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2002/07/owl#sameAs>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/sh2005007311#concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2002/07/owl#sameAs>": 
                                [
                                    { 
                                        "value" : "info:lc/authorities/sh2005007311",
                                        "type" : "uri"
                                    }
                                ]
                        }
    }