{"identifier":"nobleid:/w1/20260521/DADEF8EF","arkIdentifier":"ark:/48914/w1/20260521/DADEF8EF","version":1,"workTitle":"Applications of Proof-Theoretic Transformation (Abstract)","workType":"Journal Article","authors":"G. E. Minc","description":null,"workUrl":null,"existingDoi":"10.1016/s0049-237x(09)70686-x","createdAt":"2026-05-21T13:37:03.890730Z","canonicalUrl":"https://nobleid.org/ark:/48914/w1/20260521/DADEF8EF.v1"}