formalismFor

URI: https://gptkb.org/prop/formalismFor

2 triples

GPTKB property

Subject	Object
gptkb:Typed_Feature_Structure_Grammar	representing linguistic information
gptkb:polyadic_Pi-calculus	mobile systems