ResourceDependencyLogic/src/tests/terms/meta at 1422f727f4f2a5dced206084a1a3966582b8b4da

Fork: 0

k-sakoda / ResourceDependencyLogic

Download ZIP 106 commits

ResourceDependencyLogic / src / tests / terms / meta /


..
MetaDependencyVariableTest.java	テスト追加	6 months ago
MetaEvaluatableTermVariableTest.java	公理を使った推論を実装	2 months ago
MetaRDLTermTest.java	テスト追加	6 months ago
MetaResourceVariableTest.java	MetaResourceVariableのテスト追加	6 months ago
SubstituteTest.java	途中まで	4 months ago