Matches in Wikidata for { ?s ?p Higher-Order Algebra, Logic and Term Rewriting ?g. }
Showing items 1 to 5 of
5
with 100 items per page.
- Q105698637 name "Higher-Order Algebra, Logic and Term Rewriting" @default.
- Q105698637 label "Higher-Order Algebra, Logic and Term Rewriting" @default.
- Q105698637 prefLabel "Higher-Order Algebra, Logic and Term Rewriting" @default.
- Q105698637 P1476 "Higher-Order Algebra, Logic and Term Rewriting" @default.
- Q105698637-42B24BFC-E746-4E57-A7FB-9A03EE50EC9F P1476 "Higher-Order Algebra, Logic and Term Rewriting" @default.