- Has broader
- Category:Programming languages
- Label
- enHigh Integrity Programming Language
- Preferred label
- enHigh Integrity Programming Language
- WasDerivedFrom
- Category:High Integrity Programming Language?oldid=569598120&ns=14
- Wikipage page ID
- 15544544
- Wikipage revision ID
- 569598120