description
Programmiersprache
@de
język programowania
@pl
langage de programmation
@fr
lenguaje de programación
@es
limbaj de programare
@ro
linguagem de programação
@pt
linguaggio di programmazione
@it
llenguatge de programació
@ca
ohjelmointikieli
@fi
programmeertaal
@nl
name
Prototype Verification System
@de
Prototype Verification System
@en
Prototype Verification System
@fr
Prototype Verification System
@pt
type
label
Prototype Verification System
@de
Prototype Verification System
@en
Prototype Verification System
@fr
Prototype Verification System
@pt
altLabel
PVS
@de
PVS
@en
prefLabel
Prototype Verification System
@de
Prototype Verification System
@en
Prototype Verification System
@fr
Prototype Verification System
@pt
P6366
P277
P6366
2780643309