Theoretical computer science, formal methods, and quantum computing

https://w3id.org/italia/controlled-vocabulary/classifications-for-her/erc-panel-h2020-fp/PE6-4 an entity of type: Concept

skos:prefLabel

Theoretical computer science, formal methods, and quantum computing @en

dcterms:identifier

PE6_4

<https://w3id.org/italia/onto/CLV/hasRankOrder>

3

<http://rdf-vocabulary.ddialliance.org/xkos#depth>

xsd:integer 3

skos:notation

PE6_4

<https://w3id.org/italia/onto/HER/ERCSubpanel>
Sotto Pannello ERC

<https://w3id.org/italia/controlled-vocabulary/classifications-for-her/erc-panel-h2020-fp>
Vocabolario Controllato 2019 ERC EVALUATION PANEL e KEYWORD

skos:broaderTransitive

<https://w3id.org/italia/controlled-vocabulary/classifications-for-her/erc-panel-h2020-fp/PE>
Physical Sciences and Engineering

<https://w3id.org/italia/controlled-vocabulary/classifications-for-her/erc-panel-h2020-fp/PE6>

inverse relations

is skos:narrower of

is skos:narrowerTransitive of

loading inverse relations