Stream: General

Topic: Link to Concept in the AFP

Mohammad Abdulaziz (Sep 23 2024 at 19:06):

Hi everyone,

• Is there a way to generate a link to an AFP fact or definition? I know the links are generated since I can copy them from where such a fact or definition is used (e.g. https://shorturl.at/XxRz2). However, it would be much nicer to get them where the fact or definition are first stated.

• Would it be a good idea to include such links to concepts in papers? I.e. are there any thoughts on how persistent these links will be?

Best,
Mohammad

Mathias Fleury (Sep 23 2024 at 19:25):

• As a reviewer I really appreciate links, because I can easily compare the paper theorem to the formalized without spending 30min finding that theorem
• I do not believe in the stability so having the proper theorem name is still necessary.
• As a developer, the stability is something you do not really want, because it means that you cannot refactor.

Fabian Huch (Sep 24 2024 at 07:21):

You can link to AFP content in two ways:

• link to the AFP webpage by clicking on the element in the sidebar, and copy the browser url, e.g. nrest
• look up the underlying html presentation, and find the element id there, e.g. nrest

None of these are stable identifiers though and might not work in the next AFP release. I do want to have stable identifiers but we're not there yet.

Mohammad Abdulaziz (Sep 24 2024 at 07:50):

I see. I think stable element identifiers to the afp would be optimal. That if course needs careful design, but shoild be worth it. For now, it seems linking to zenodo is the only option

Fabian Huch (Sep 24 2024 at 07:58):

Note that if you only want to link to AFP entries and no the content itself, the AFP is a dblp-indexed journal.

Mohammad Abdulaziz (Sep 24 2024 at 08:11):

No, I am interested in linking to definitions and theorems

Last updated: Dec 21 2024 at 12:33 UTC