Diffusion afp-devel fd1706186cfd

Metadata for /Users/lp15/.isabelle/Isabelle2022/browser_info/AFP/Boolos_Curious…
fd1706186cfd
Actions

Tags

None

Subscribers

None

Description

Metadata for /Users/lp15/.isabelle/Isabelle2022/browser_info/AFP/Boolos_Curious_Inference_Automated

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPffdd481ec642: New entry Boolos_Curious_Inference_Automated

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPfd1706186cfd: Metadata for /Users/lp15/.isabelle/Isabelle2022/browser_info/AFP/Boolos_Curious….Jan 10 2023, 1:44 PM

Changes (34)

Path

Size

Boolos_Curious_Inference_Automated.toml

web/

authors/

benzmueller/

fuenmayor/

data/

entries/

Quantifier_Elimination_Hybrid.html

statistics/

theories/

topics/

computer-science/

artificial-intelligence/

logic/

computability/

general-logic/

philosophical-aspects/

proof-theory/

tools/

rAFPfd1706186cfd

metadata/authors.toml

Loading...

metadata/entries/Boolos_Curious_Inference_Automated.toml

Loading...

web/authors/benzmueller/index.html

Loading...

web/authors/benzmueller/index.xml

Loading...

web/authors/fuenmayor/index.html

Loading...

web/authors/fuenmayor/index.xml

Loading...

web/authors/index.html

Loading...

web/authors/index.json

Loading...

web/data/keywords.json

Loading...

web/entries/Quantifier_Elimination_Hybrid.html

Loading...

web/entries/index.html

Loading...

web/entries/index.xml

Loading...

web/index.html

Loading...

web/index.json

Loading...

web/index.xml

Loading...

web/sitemap.xml

Loading...

web/statistics/index.html

Loading...

web/theories/index.xml

Loading...

web/topics/computer-science/artificial-intelligence/index.html

Loading...

web/topics/computer-science/artificial-intelligence/index.xml

Loading...

web/topics/index.html

Loading...

web/topics/index.json

Loading...

web/topics/logic/computability/index.html

Loading...

web/topics/logic/computability/index.xml

Loading...

web/topics/logic/general-logic/index.html

Loading...

web/topics/logic/general-logic/index.xml

Loading...

web/topics/logic/philosophical-aspects/index.html

Loading...

web/topics/logic/philosophical-aspects/index.xml

Loading...

web/topics/logic/proof-theory/index.html

Loading...

web/topics/logic/proof-theory/index.xml

Loading...

web/topics/tools/index.html

Loading...

web/topics/tools/index.xml

Loading...