claims / stable release
Formal methods
claim:74fe76b4f93a464895a7:4431aaa3e70d4b7a7d76:1 ยท release release:edition:knowledge-systems:7aaba55a11d29659
Canonical record
Formal methods
Evidence
Structured record
{
"claim_id": "claim:74fe76b4f93a464895a7:4431aaa3e70d4b7a7d76:1",
"claim_type": "knowledge_unit",
"statement": "Formal methods",
"evidence_unit_ids": [
"unit:74fe76b4f93a464895a7:4431aaa3e70d4b7a7d76:1:57392ae9dd84e810ddec"
]
}