Random triples
Subject | Object |
---|---|
gptkb:SHOIN | true |
gptkb:Linear_Temporal_Logic | true |
gptkb:Modal_μ-calculus | true |
gptkb:modal_logic_S4 | true |
gptkb:Linear_temporal_logic | True |
gptkb:Peano_arithmetic | false |
gptkb:Generalized_QBF | true |
Subject | Object |
---|---|
gptkb:SHOIN | true |
gptkb:Linear_Temporal_Logic | true |
gptkb:Modal_μ-calculus | true |
gptkb:modal_logic_S4 | true |
gptkb:Linear_temporal_logic | True |
gptkb:Peano_arithmetic | false |
gptkb:Generalized_QBF | true |