Statements (8)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:conference
|
gptkbp:eventType |
gptkb:conference
|
gptkbp:field |
formal methods
|
gptkbp:fullName |
Symposium on Formal Methods 2021
|
https://www.w3.org/2000/01/rdf-schema#label |
SFM21
|
gptkbp:year |
2021
|
gptkbp:bfsParent |
gptkb:Line_10_(Beijing_Subway)
|
gptkbp:bfsLayer |
7
|