{
            "_:bnode348authoritiessubjectssh85078115" : {
                        "<http://www.loc.gov/mads/rdf/v1#elementList>": 
                                [
                                    { 
                                        "value" : "_:bnode353authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#variantLabel>": 
                                [
                                    { 
                                        "value" : "Algebra of 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"
                                    }
                                ]
                        },
            
            "_:bnode353authoritiessubjectssh85078115" : {
                        "<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>": 
                                [
                                    { 
                                        "value" : "_:bnode354authoritiessubjectssh85078115",
                                        "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"
                                    }
                                ]
                        },
            
            "_:bnode354authoritiessubjectssh85078115" : {
                        "<http://www.loc.gov/mads/rdf/v1#elementValue>": 
                                [
                                    { 
                                        "value" : "Algebra of 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"
                                    }
                                ]
                        },
            
            "_:bnode357authoritiessubjectssh85078115" : {
                        "<http://www.loc.gov/mads/rdf/v1#elementList>": 
                                [
                                    { 
                                        "value" : "_:bnode362authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#variantLabel>": 
                                [
                                    { 
                                        "value" : "Logic, Universal",
                                        "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"
                                    }
                                ]
                        },
            
            "_:bnode362authoritiessubjectssh85078115" : {
                        "<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>": 
                                [
                                    { 
                                        "value" : "_:bnode363authoritiessubjectssh85078115",
                                        "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"
                                    }
                                ]
                        },
            
            "_:bnode363authoritiessubjectssh85078115" : {
                        "<http://www.loc.gov/mads/rdf/v1#elementValue>": 
                                [
                                    { 
                                        "value" : "Logic, Universal",
                                        "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"
                                    }
                                ]
                        },
            
            "_:bnode366authoritiessubjectssh85078115" : {
                        "<http://www.loc.gov/mads/rdf/v1#elementList>": 
                                [
                                    { 
                                        "value" : "_:bnode371authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#variantLabel>": 
                                [
                                    { 
                                        "value" : "Mathematical 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"
                                    }
                                ]
                        },
            
            "_:bnode371authoritiessubjectssh85078115" : {
                        "<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>": 
                                [
                                    { 
                                        "value" : "_:bnode372authoritiessubjectssh85078115",
                                        "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"
                                    }
                                ]
                        },
            
            "_:bnode372authoritiessubjectssh85078115" : {
                        "<http://www.loc.gov/mads/rdf/v1#elementValue>": 
                                [
                                    { 
                                        "value" : "Mathematical 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"
                                    }
                                ]
                        },
            
            "_:bnode375authoritiessubjectssh85078115" : {
                        "<http://www.loc.gov/mads/rdf/v1#elementList>": 
                                [
                                    { 
                                        "value" : "_:bnode380authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#variantLabel>": 
                                [
                                    { 
                                        "value" : "Symbolic and mathematical 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"
                                    }
                                ]
                        },
            
            "_:bnode380authoritiessubjectssh85078115" : {
                        "<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>": 
                                [
                                    { 
                                        "value" : "_:bnode381authoritiessubjectssh85078115",
                                        "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"
                                    }
                                ]
                        },
            
            "_:bnode381authoritiessubjectssh85078115" : {
                        "<http://www.loc.gov/mads/rdf/v1#elementValue>": 
                                [
                                    { 
                                        "value" : "Symbolic and mathematical 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"
                                    }
                                ]
                        },
            
            "_:bnode384authoritiessubjectssh85078115" : {
                        "<http://www.loc.gov/mads/rdf/v1#elementList>": 
                                [
                                    { 
                                        "value" : "_:bnode389authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#variantLabel>": 
                                [
                                    { 
                                        "value" : "Symbolic 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"
                                    }
                                ]
                        },
            
            "_:bnode389authoritiessubjectssh85078115" : {
                        "<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>": 
                                [
                                    { 
                                        "value" : "_:bnode390authoritiessubjectssh85078115",
                                        "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"
                                    }
                                ]
                        },
            
            "_:bnode390authoritiessubjectssh85078115" : {
                        "<http://www.loc.gov/mads/rdf/v1#elementValue>": 
                                [
                                    { 
                                        "value" : "Symbolic 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"
                                    }
                                ]
                        },
            
            "_:bnode395authoritiessubjectssh85078115" : {
                        "<http://www.loc.gov/mads/rdf/v1#citation-source>": 
                                [
                                    { 
                                        "value" : "Copi, I. M. Symbolic logic, 1979.",
                                        "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"
                                    }
                                ]
                        },
            
            "_:bnode401authoritiessubjectssh85078115" : {
                        "<http://www.loc.gov/mads/rdf/v1#citation-source>": 
                                [
                                    { 
                                        "value" : "Web. 3",
                                        "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"
                                    }
                                ]
                        },
            
            "_:bnode407authoritiessubjectssh85078115" : {
                        "<http://id.loc.gov/ontologies/RecordInfo#recordChangeDate>": 
                                [
                                    { 
                                        "value" : "1986-02-11T00: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/dlc",
                                        "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"
                                    }
                                ]
                        },
            
            "_:bnode414authoritiessubjectssh85078115" : {
                        "<http://id.loc.gov/ontologies/RecordInfo#recordChangeDate>": 
                                [
                                    { 
                                        "value" : "1999-10-05T06:51:35",
                                        "type" : "literal",
                                        "datatype" : "<http://www.w3.org/2001/XMLSchema#dateTime>"
                                    }
                                ], 
                            "<http://id.loc.gov/ontologies/RecordInfo#recordContentSource>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/vocabulary/organizations/dlc",
                                        "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"
                                    }
                                ]
                        },
            
            "_:bnode424authoritiessubjectssh85078115" : {
                        "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2008/05/skos-xl#Label",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2008/05/skos-xl#literalForm>": 
                                [
                                    { 
                                        "value" : "Algebra of logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "_:bnode429authoritiessubjectssh85078115" : {
                        "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2008/05/skos-xl#Label",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2008/05/skos-xl#literalForm>": 
                                [
                                    { 
                                        "value" : "Logic, Universal",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "_:bnode434authoritiessubjectssh85078115" : {
                        "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2008/05/skos-xl#Label",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2008/05/skos-xl#literalForm>": 
                                [
                                    { 
                                        "value" : "Mathematical logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "_:bnode439authoritiessubjectssh85078115" : {
                        "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2008/05/skos-xl#Label",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2008/05/skos-xl#literalForm>": 
                                [
                                    { 
                                        "value" : "Symbolic and mathematical logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "_:bnode444authoritiessubjectssh85078115" : {
                        "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2008/05/skos-xl#Label",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2008/05/skos-xl#literalForm>": 
                                [
                                    { 
                                        "value" : "Symbolic logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "_:bnode696authoritiessubjectssh85078115" : {
                        "<http://purl.org/vocab/changeset/schema#changeReason>": 
                                [
                                    { 
                                        "value" : "new",
                                        "type" : "literal",
                                        "datatype" : "<http://www.w3.org/2001/XMLSchema#string>"
                                    }
                                ], 
                            "<http://purl.org/vocab/changeset/schema#createdDate>": 
                                [
                                    { 
                                        "value" : "1986-02-11T00:00:00",
                                        "type" : "literal",
                                        "datatype" : "<http://www.w3.org/2001/XMLSchema#dateTime>"
                                    }
                                ], 
                            "<http://purl.org/vocab/changeset/schema#creatorName>": 
                                [
                                    { 
                                        "value" : "Library of Congress, Network Development and MARC Standards Office",
                                        "type" : "literal"
                                    }
                                ], 
                            "<http://purl.org/vocab/changeset/schema#subjectOfChange>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85078115",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://purl.org/vocab/changeset/schema#ChangeSet",
                                        "type" : "uri"
                                    }
                                ]
                        },
            
            "_:bnode705authoritiessubjectssh85078115" : {
                        "<http://purl.org/vocab/changeset/schema#changeReason>": 
                                [
                                    { 
                                        "value" : "revised",
                                        "type" : "literal",
                                        "datatype" : "<http://www.w3.org/2001/XMLSchema#string>"
                                    }
                                ], 
                            "<http://purl.org/vocab/changeset/schema#createdDate>": 
                                [
                                    { 
                                        "value" : "1999-10-05T06:51:35",
                                        "type" : "literal",
                                        "datatype" : "<http://www.w3.org/2001/XMLSchema#dateTime>"
                                    }
                                ], 
                            "<http://purl.org/vocab/changeset/schema#creatorName>": 
                                [
                                    { 
                                        "value" : "Library of Congress, Network Development and MARC Standards Office",
                                        "type" : "literal"
                                    }
                                ], 
                            "<http://purl.org/vocab/changeset/schema#subjectOfChange>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85078115",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://purl.org/vocab/changeset/schema#ChangeSet",
                                        "type" : "uri"
                                    }
                                ]
                        },
            
            "_:bnode7authoritiessubjectssh85078115" : {
                        "<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>": 
                                [
                                    { 
                                        "value" : "_:bnode8authoritiessubjectssh85078115",
                                        "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"
                                    }
                                ]
                        },
            
            "_:bnode8authoritiessubjectssh85078115" : {
                        "<http://www.loc.gov/mads/rdf/v1#elementValue>": 
                                [
                                    { 
                                        "value" : "Logic, Symbolic and mathematical",
                                        "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/sh2001002954>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Curry-Howard isomorphism",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Curry-Howard isomorphism",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Curry-Howard isomorphism",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh2005002411>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Reverse mathematics",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Reverse mathematics",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Reverse mathematics",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh2005007311>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "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#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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Hoare logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Hoare logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85000933>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Admissible sets",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Admissible sets",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Admissible sets",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85003428>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Algebra, Abstract",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Algebra, Abstract",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Algebra, Abstract",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85003435>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Algebraic logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Algebraic logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Algebraic logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85010588>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Axiomatic set theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Axiomatic set theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Axiomatic set theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85020992>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Categories (Mathematics)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Categories (Mathematics)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Categories (Mathematics)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85028814>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Combinatory logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Combinatory logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Combinatory logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85029362>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Completeness theorem",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Completeness theorem",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Completeness theorem",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85029525>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Computer programs--Correctness",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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#ComplexSubject",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Computer programs--Correctness",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Computer programs--Correctness",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85031452>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Constructive mathematics",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Constructive mathematics",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Constructive mathematics",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85036191>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Decidability (Mathematical logic)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Decidability (Mathematical logic)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Decidability (Mathematical logic)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85036457>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Definability theory (Mathematical logic)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Definability theory (Mathematical logic)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Definability theory (Mathematical logic)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85048595>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "First-order logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "First-order logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "First-order logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85055600>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Gödel numbers",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Gödel numbers",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Gödel numbers",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85055601>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Gödel's theorem",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Gödel's theorem",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Gödel's theorem",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85064829>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Independence (Mathematics)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Independence (Mathematics)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Independence (Mathematics)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85066097>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Infinitary languages",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Infinitary languages",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Infinitary languages",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85074174>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Lambda calculus",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Lambda calculus",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Lambda calculus",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85077180>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Linear orderings",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Linear orderings",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Linear orderings",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85078115>" : {
                        "<http://www.loc.gov/mads/rdf/v1#adminMetadata>": 
                                [
                                    { 
                                        "value" : "_:bnode407authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#adminMetadata>": 
                                [
                                    { 
                                        "value" : "_:bnode414authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Logic, Symbolic and mathematical",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#classification>": 
                                [
                                    { 
                                        "value" : "BC131-BC135",
                                        "type" : "literal"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#classification>": 
                                [
                                    { 
                                        "value" : "QA9-QA10.3",
                                        "type" : "literal"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#elementList>": 
                                [
                                    { 
                                        "value" : "_:bnode7authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasBroaderAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85082139",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasExactExternalAuthority>": 
                                [
                                    { 
                                        "value" : "http://stitch.cs.vu.nl/vocabularies/rameau/ark:/12148/cb11965690r",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh2001002954",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh2005002411",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh2005007311",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85000933",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85003435",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85010588",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85020992",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85028814",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85029362",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85029525",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85031452",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85036191",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85036457",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85048595",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85055600",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85055601",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85064829",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85066097",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85074174",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85077180",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85078122",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85079341",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85086421",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85092240",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85106058",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85106251",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85107437",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85107553",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85112012",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85112014",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85118577",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85119877",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85131299",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85135048",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85138285",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85139126",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85144049",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh88001752",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh90001516",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh93006704",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh97004631",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasNarrowerAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh98004249",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasReciprocalAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85003428",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasReciprocalAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85084269",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasReciprocalAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85120387",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasReciprocalAuthority>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85131387",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasSource>": 
                                [
                                    { 
                                        "value" : "_:bnode395authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasSource>": 
                                [
                                    { 
                                        "value" : "_:bnode401authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasVariant>": 
                                [
                                    { 
                                        "value" : "_:bnode348authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasVariant>": 
                                [
                                    { 
                                        "value" : "_:bnode357authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasVariant>": 
                                [
                                    { 
                                        "value" : "_:bnode366authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasVariant>": 
                                [
                                    { 
                                        "value" : "_:bnode375authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.loc.gov/mads/rdf/v1#hasVariant>": 
                                [
                                    { 
                                        "value" : "_:bnode384authoritiessubjectssh85078115",
                                        "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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2002/07/owl#sameAs>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/sh85078115#concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2002/07/owl#sameAs>": 
                                [
                                    { 
                                        "value" : "info:lc/authorities/sh85078115",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#altLabel>": 
                                [
                                    { 
                                        "value" : "Algebra of logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#altLabel>": 
                                [
                                    { 
                                        "value" : "Logic, Universal",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#altLabel>": 
                                [
                                    { 
                                        "value" : "Mathematical logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#altLabel>": 
                                [
                                    { 
                                        "value" : "Symbolic and mathematical logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#altLabel>": 
                                [
                                    { 
                                        "value" : "Symbolic logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#broader>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85082139",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#changeNote>": 
                                [
                                    { 
                                        "value" : "_:bnode696authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#changeNote>": 
                                [
                                    { 
                                        "value" : "_:bnode705authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#exactMatch>": 
                                [
                                    { 
                                        "value" : "http://stitch.cs.vu.nl/vocabularies/rameau/ark:/12148/cb11965690r",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#inScheme>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh2001002954",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh2005002411",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh2005007311",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85000933",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85003435",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85010588",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85020992",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85028814",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85029362",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85029525",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85031452",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85036191",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85036457",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85048595",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85055600",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85055601",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85064829",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85066097",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85074174",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85077180",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85078122",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85079341",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85086421",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85092240",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85106058",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85106251",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85107437",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85107553",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85112012",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85112014",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85118577",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85119877",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85131299",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85135048",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85138285",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85139126",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85144049",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh88001752",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh90001516",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh93006704",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh97004631",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#narrower>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh98004249",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Logic, Symbolic and mathematical",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#related>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85003428",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#related>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85084269",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#related>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85120387",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#related>": 
                                [
                                    { 
                                        "value" : "http://id.loc.gov/authorities/subjects/sh85131387",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2008/05/skos-xl#altLabel>": 
                                [
                                    { 
                                        "value" : "_:bnode424authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.w3.org/2008/05/skos-xl#altLabel>": 
                                [
                                    { 
                                        "value" : "_:bnode429authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.w3.org/2008/05/skos-xl#altLabel>": 
                                [
                                    { 
                                        "value" : "_:bnode434authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.w3.org/2008/05/skos-xl#altLabel>": 
                                [
                                    { 
                                        "value" : "_:bnode439authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ], 
                            "<http://www.w3.org/2008/05/skos-xl#altLabel>": 
                                [
                                    { 
                                        "value" : "_:bnode444authoritiessubjectssh85078115",
                                        "type" : "bnode"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85078122>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Logic machines",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Logic machines",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Logic machines",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85079341>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Machine theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Machine theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Machine theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85082139>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Mathematics",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Mathematics",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Mathematics",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85084269>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Metamathematics",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Metamathematics",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Metamathematics",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85086421>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Model theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Model theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Model theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85092240>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Nonclassical mathematical logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Nonclassical mathematical logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Nonclassical mathematical logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85106058>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Pragmatics",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Pragmatics",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Pragmatics",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85106251>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Predicate calculus",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Predicate calculus",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Predicate calculus",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85107437>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Proof theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Proof theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Proof theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85107553>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Propositional calculus",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Propositional calculus",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Propositional calculus",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85112012>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Recursion theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Recursion theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Recursion theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85112014>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Recursive functions",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Recursive functions",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Recursive functions",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85118577>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Science--Methodology",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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#ComplexSubject",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Science--Methodology",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Science--Methodology",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85119877>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Semantics (Philosophy)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Semantics (Philosophy)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Semantics (Philosophy)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85120387>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Set theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Set theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Set theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85131299>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Switching theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Switching theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Switching theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85131387>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Syllogism",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Syllogism",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Syllogism",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85135048>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Threshold logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Threshold logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Threshold logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85138285>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Truth-functions",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Truth-functions",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Truth-functions",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85139126>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Type theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Type theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Type theory",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh85144049>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "VL1 system",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "VL1 system",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "VL1 system",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh88001752>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Matrix logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Matrix logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Matrix logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh90001516>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "WFF 'N PROOF (Game)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "WFF 'N PROOF (Game)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "WFF 'N PROOF (Game)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh93006704>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Fuzzy logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Fuzzy logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Fuzzy logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh97004631>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Computer logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Computer logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Computer logic",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        },
            
            "<http://id.loc.gov/authorities/subjects/sh98004249>" : {
                        "<http://www.loc.gov/mads/rdf/v1#authoritativeLabel>": 
                                [
                                    { 
                                        "value" : "Quasivarieties (Universal algebra)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<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/1999/02/22-rdf-syntax-ns#type>": 
                                [
                                    { 
                                        "value" : "http://www.w3.org/2004/02/skos/core#Concept",
                                        "type" : "uri"
                                    }
                                ], 
                            "<http://www.w3.org/2000/01/rdf-schema#label>": 
                                [
                                    { 
                                        "value" : "Quasivarieties (Universal algebra)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ], 
                            "<http://www.w3.org/2004/02/skos/core#prefLabel>": 
                                [
                                    { 
                                        "value" : "Quasivarieties (Universal algebra)",
                                        "type" : "literal",
                                        "lang" : "en"
                                    }
                                ]
                        }
    }