Diffusion afp-devel 859ae8001656

metadata for Suppes' theorem + sitegen
859ae8001656
Actions

Tags

None

Subscribers

None

Description

metadata for Suppes' theorem + sitegen

Details

Provenance

Rene Thiemann <rene.thiemann@uibk.ac.at>

Authored on

Parents

rAFP9ab49a9d5013: new entry: Suppes' Theorem

Branches

Unknown

Tags

Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP859ae8001656: metadata for Suppes' theorem + sitegen.Jan 23 2023, 11:08 AM

Changes (39)

Path

Size

Suppes_Theorem.toml

authors/

doty/

data/

propositional_logic_class

Abstract_Completeness.html

Propositional_Logic_Class.html

Suppes_Theorem.html

statistics/

topics/

logic/

general-logic/

classical-propositional-logic/

mathematics/

probability-theory/

rAFP859ae8001656

metadata/entries/Suppes_Theorem.toml

Loading...

web/authors/doty/index.html

Loading...

web/authors/doty/index.xml

Loading...

web/data/keywords.json

Loading...

web/dependencies/index.html

Loading...

web/dependencies/index.json

Loading...

web/dependencies/propositional_logic_class/index.html

Loading...

web/dependencies/propositional_logic_class/index.xml

Loading...

web/entries/Abstract_Completeness.html

Loading...

web/entries/Propositional_Logic_Class.html

Loading...

web/entries/Suppes_Theorem.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/theories/suppes_theorem/index.html

Loading...

web/topics/index.html

Loading...

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

Loading...

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

Loading...

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

Loading...

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

Loading...

web/topics/logic/index.html

Loading...

web/topics/logic/index.xml

Loading...

web/topics/mathematics/index.html

Loading...

web/topics/mathematics/index.xml

Loading...

web/topics/mathematics/probability-theory/index.html

Loading...

web/topics/mathematics/probability-theory/index.xml

Loading...