This HTML5 document contains 109 embedded RDF statements represented using HTML+Microdata notation.
The embedded RDF content will be recognized by any processor of HTML5 Microdata.
| Prefix | Namespace IRI |
|---|---|
| n4 | https://github.com/features/copilot/ |
| n15 | https://github.com/ai4reason?achievement=starstruck&tab= |
| n41 | https://docs.github.com/search-github/github-code-search/ |
| n17 | https://github.com/ai4reason?achievement=arctic-code-vault-contributor&tab= |
| n22 | https://github.com/features/ |
| awol | http://bblfish.net/work/atom-owl/2006-06-06/# |
| dc | http://purl.org/dc/elements/1.1/ |
| n5 | https://github.com/ai4reason/enigma/ |
| n23 | https://github.com/solutions/industry/ |
| n44 | https://support.github.com?tags= |
| n14 | https://github.com/ |
| n53 | https://github.com/ai4reason/grackle/ |
| dct | http://purl.org/dc/terms/ |
| n50 | https://github.com/ai4reason/oeis-atp-benchmark/ |
| bibo | http://purl.org/ontology/bibo/ |
| n43 | https://docs.github.com/ |
| rdf | http://www.w3.org/1999/02/22-rdf-syntax-ns# |
| n30 | https://github. |
| xsdh | http://www.w3.org/2001/XMLSchema# |
| n9 | https://github.com/ai4reason?tab= |
| n46 | http://www.stackoverflow.com/# |
| n12 | http://dev.restore.ovi.cnr.it:8890/about/id/https/github.com/ |
| n39 | https://docs.github.com/site-policy/privacy-policies/ |
| sioc | http://rdfs.org/sioc/ns# |
| n25 | https://github.com/solutions/ |
| n40 | https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E&source= |
| n48 | https://github.com/JUrban/ |
| n7 | https://github.com/ai4reason# |
| n2 | http://dev.restore.ovi.cnr.it:8890/about/id/entity/https/github.com/ |
| n19 | https://github.com/ai4reason/Prover9/ |
| n35 | https://partner.github. |
| n8 | https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2F |
| opl | http://www.openlinksw.com/schema/attribution# |
| n24 | https://github.com/solutions/use-case/ |
| n52 | https://github.com/security/ |
| n34 | https://resources.github. |
| n49 | https://github.com/ai4reason/ATP_Proofs/ |
| n42 | https://www.githubstatus.com/ |
| n47 | https://github.com/ai4reason/ |
| n10 | https://docs.github.com/articles/ |
| n33 | https://resources.github.com/learn/ |
| n31 | https://github.com/enterprise/ |
| n18 | https://github.com/contact/report-abuse?report=ai4reason+%28user%29 |
| n51 | https://github.com/ai4reason/enigmatic/ |
| n32 | https://avatars.githubusercontent.com/u/25090923?v= |
| n26 | https://github.com/resources/articles/ |
| foaf | http://xmlns.com/foaf/0.1/ |
| n16 | https://github.com/ai4reason?achievement=pull-shark&tab= |
| wdrs | http://www.w3.org/2007/05/powder-s# |
| n38 | https://docs.github.com/site-policy/github-terms/ |
| n27 | https://github.com/resources/ |
| n29 | https://skills.github. |
| n6 | http://dev.restore.ovi.cnr.it:8890/about/id/entity/https/github.com/ai4reason# |
| n28 | https://docs.github. |