@prefix lcsh: <http://www.yso.fi/onto/lcsh/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

lcsh:sh85031658 skos:broader lcsh:sh85079341 .
<http://d-nb.info/gnd/4831958-2> skos:closeMatch lcsh:sh85079341 .
lcsh:sh85114628
  skos:notation "S678.65", "TJ210.2-TJ211.45" ;
  skos:prefLabel "Robotics"@en ;
  a skos:Concept ;
  skos:related lcsh:sh85079341 .

lcsh:sh85079324 skos:broader lcsh:sh85079341 .
<http://d-nb.info/gnd/4141155-9> skos:closeMatch lcsh:sh85079341 .
lcsh:sh85131299 skos:broader lcsh:sh85079341 .
lcsh:sh85008180 skos:broader lcsh:sh85079341 .
lcsh:sh85112014
  skos:notation "QA9.615" ;
  skos:prefLabel "Recursive functions"@en ;
  a skos:Concept .

lcsh:sh2002004411 skos:broader lcsh:sh85079341 .
lcsh:sh85078117 skos:broader lcsh:sh85079341 .
lcsh:sh93008808 skos:broader lcsh:sh85079341 .
lcsh:sh85079341
  skos:closeMatch <http://data.bnf.fr/ark:/12148/cb11936913r>, <http://data.bnf.fr/ark:/12148/cb119395737>, <http://d-nb.info/gnd/4003953-5>, <http://d-nb.info/gnd/4141155-9>, <http://d-nb.info/gnd/4831958-2> ;
  skos:broader lcsh:sh85003487, lcsh:sh85112014, lcsh:sh85078115 ;
  skos:inScheme <http://www.yso.fi/onto/lcsh> ;
  dc:modified "2006-08-07T13:29:54"^^xsd:dateTime ;
  skos:note "Here are entered works on the abstract mathematical models of devices which operate within a consistent logical system in accordance with a given algorithm; such mathematical theory can be used as a basis for design but is not concerned with hardware." ;
  skos:member lcsh:collection_LCSH_General, lcsh:collection_LCSHAuthorizedHeadings ;
  skos:related lcsh:sh85114628 ;
  skos:altLabel "Mathematical machine theory"@en, "Abstract machines"@en, "Automata"@en, "Abstract automata"@en ;
  a skos:Concept ;
  skos:notation "QA267-QA268.5" ;
  skos:prefLabel "Machine theory"@en ;
  dc:created "1986-02-11T00:00:00"^^xsd:dateTime .

<http://www.yso.fi/onto/lcsh> a skos:ConceptScheme .
lcsh:sh85073593 skos:broader lcsh:sh85079341 .
lcsh:sh85029473 skos:broader lcsh:sh85079341 .
lcsh:sh85120149 skos:broader lcsh:sh85079341 .
lcsh:sh85003487
  skos:prefLabel "Algorithms"@en ;
  a skos:Concept .

lcsh:sh85138778 skos:broader lcsh:sh85079341 .
lcsh:sh85078115
  skos:notation "BC131-BC135", "QA9-QA10.3" ;
  skos:prefLabel "Logic, Symbolic and mathematical"@en ;
  a skos:Concept .

<http://data.bnf.fr/ark:/12148/cb11936913r> skos:closeMatch lcsh:sh85079341 .
lcsh:sh85050802 skos:broader lcsh:sh85079341 .
lcsh:sh85105417 skos:broader lcsh:sh85079341 .
lcsh:sh85029552 skos:broader lcsh:sh85079341 .
lcsh:sh91004570 skos:broader lcsh:sh85079341 .
<http://data.bnf.fr/ark:/12148/cb119395737> skos:closeMatch lcsh:sh85079341 .
lcsh:sh85107088 skos:broader lcsh:sh85079341 .
lcsh:sh87003035 skos:broader lcsh:sh85079341 .
<http://d-nb.info/gnd/4003953-5> skos:closeMatch lcsh:sh85079341 .
lcsh:sh2011005758 skos:broader lcsh:sh85079341 .
lcsh:sh85027654 skos:broader lcsh:sh85079341 .
lcsh:sh92003782 skos:broader lcsh:sh85079341 .