diff --git a/ulo/queries/inductive.sparql b/ulo/queries/inductive.sparql new file mode 100644 index 0000000000000000000000000000000000000000..2f19a1ea3bb9b23866ff0950fc3282afc8906c08 --- /dev/null +++ b/ulo/queries/inductive.sparql @@ -0,0 +1,5 @@ +PREFIX ulo: <https://mathhub.info/ulo> + +SELECT ?x ?y WHERE { + ?x ulo:inductive-on ?y. +}