@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

psr: a skos:ConceptScheme .
psr:-PTDDF28G-B
  skos:definition """Les logiques d'ordre supérieur (en anglais, higher-order logic ou HOL) sont des logiques formelles permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats. Elles étendent le calcul des prédicats. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Logique_d%27ordre_sup%C3%A9rieur">https://fr.wikipedia.org/wiki/Logique_d%27ordre_sup%C3%A9rieur</a>)"""@fr, """In mathematics and logic, a higher-order logic (abbreviated HOL) is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Higher-order_logic">https://en.wikipedia.org/wiki/Higher-order_logic</a>)"""@en ;
  a skos:Concept ;
  skos:inScheme psr: ;
  skos:broader psr:-NRJSM1FG-4 ;
  skos:prefLabel "higher-order logic"@en, "logique d'ordre supérieur"@fr ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Logique_d%27ordre_sup%C3%A9rieur>, <https://en.wikipedia.org/wiki/Higher-order_logic> .

psr:-NRJSM1FG-4
  skos:prefLabel "logique mathématique"@fr, "mathematical logic"@en ;
  a skos:Concept ;
  skos:narrower psr:-PTDDF28G-B .