| rdfs:label | "DREAM"@en |
| schema:description | "software verification and analysis tool"@en |
|
schema:date |
"2022-10-02T04:55:29+00:00"^^xsd:dateTime |
| schema:version | 1740973312 |
| wikibase:identifiers | 1 |
| wikibase:sitelinks | 1 |
| wikibase:statements | 2 |
| p:P1889 | wd:statement/Q5206044-ADD8F3C0-4C76-4169-AC3F-A7B0BE7FE5A3 |
| p:P646 | wd:statement/Q5206044-4017752C-B9EF-4649-B0EE-1CE39FC1CD50 |
| wdt:P1889 | Dream |
| wdt:P646 | "/m/096wjf" |
Download as: