線形 せんけい論理 ろんりだった
senkeironridatta

Noun
Da Copula

The past form of 線形論理

1. Was linear logic.

Past/Perfective