{"identifier":"nobleid:/w1/20260521/BCFCDAEB","arkIdentifier":"ark:/48914/w1/20260521/BCFCDAEB","version":1,"workTitle":"Formalizing and Computing Propositional Quantifiers","workType":"Journal Article","authors":"Hugo Férée, Sam van Gool","description":null,"workUrl":null,"existingDoi":"10.1145/3573105.3575668","createdAt":"2026-05-21T12:02:49.737763Z","canonicalUrl":"https://nobleid.org/ark:/48914/w1/20260521/BCFCDAEB.v1"}