Diffusion afp-devel 8d98c4f533ee

New entry: Simple_Clause_Learning
8d98c4f533ee
Actions

Tags

None

Subscribers

None

Description

New entry: Simple_Clause_Learning

Details

Provenance

Authored on

Parents

rAFP97aa28cdec1a: New entry HyperHoareLogic

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP8d98c4f533ee: New entry: Simple_Clause_Learning.Apr 22 2023, 5:10 AM

Changes (69)

Path

Size

Simple_Clause_Learning.toml

Simple_Clause_Learning

Abstract_Renaming_Apart.thy

Completeness.thy

Correct_Termination.thy

First_Order_Terms_Extra.thy

Initial_Literals_Generalize_Learned_Literals.thy

Multiset_Order_Extra.thy

Non_Redundancy.thy

Ordered_Resolution_Prover_Extra.thy

Relation_Extra.thy

Termination.thy

Trail_Induced_Ordering.thy

Wellfounded_Extra.thy

authors/

desharnais/

data/

first_order_terms/

functional_ordered_resolution_prover

ordered_resolution_prover/

saturation_framework/

saturation_framework_extensions

First_Order_Terms.html

Functional_Ordered_Resolution_Prover.html

Ordered_Resolution_Prover.html

Saturation_Framework.html

Saturation_Framework_Extensions.html

Simple_Clause_Learning.html

statistics/

simple_clause_learning

topics/

logic/

general-logic/

mechanization-of-proofs/

rAFP8d98c4f533ee

metadata/authors.toml

Loading...

metadata/entries/Simple_Clause_Learning.toml

Loading...

thys/ROOTS

Loading...

thys/Simple_Clause_Learning/Abstract_Renaming_Apart.thy

Loading...

thys/Simple_Clause_Learning/Completeness.thy

Loading...

thys/Simple_Clause_Learning/Correct_Termination.thy

Loading...

thys/Simple_Clause_Learning/First_Order_Terms_Extra.thy

Loading...

thys/Simple_Clause_Learning/Initial_Literals_Generalize_Learned_Literals.thy

Loading...

thys/Simple_Clause_Learning/Invariants.thy

Loading...

thys/Simple_Clause_Learning/Multiset_Order_Extra.thy

Loading...

thys/Simple_Clause_Learning/Non_Redundancy.thy

Loading...

thys/Simple_Clause_Learning/Ordered_Resolution_Prover_Extra.thy

Loading...

thys/Simple_Clause_Learning/ROOT

Loading...

thys/Simple_Clause_Learning/Relation_Extra.thy

Loading...

thys/Simple_Clause_Learning/SCL_FOL.thy

Loading...

thys/Simple_Clause_Learning/Termination.thy

Loading...

thys/Simple_Clause_Learning/Trail_Induced_Ordering.thy

Loading...

thys/Simple_Clause_Learning/Wellfounded_Extra.thy

Loading...

thys/Simple_Clause_Learning/document/root.bib

Loading...

thys/Simple_Clause_Learning/document/root.tex

Loading...

web/authors/desharnais/index.html

Loading...

web/authors/desharnais/index.xml

Loading...

web/data/keywords.json

Loading...

web/dependencies/first_order_terms/index.html

Loading...

web/dependencies/first_order_terms/index.xml

Loading...

web/dependencies/functional_ordered_resolution_prover/index.html

Loading...

web/dependencies/functional_ordered_resolution_prover/index.xml

Loading...

web/dependencies/index.html

Loading...

web/dependencies/index.json

Loading...

web/dependencies/ordered_resolution_prover/index.html

Loading...

web/dependencies/ordered_resolution_prover/index.xml

Loading...

web/dependencies/saturation_framework/index.html

Loading...

web/dependencies/saturation_framework/index.xml

Loading...

web/dependencies/saturation_framework_extensions/index.html

Loading...

web/dependencies/saturation_framework_extensions/index.xml

Loading...

web/entries/First_Order_Terms.html

Loading...

web/entries/Functional_Ordered_Resolution_Prover.html

Loading...

web/entries/Ordered_Resolution_Prover.html

Loading...

web/entries/Saturation_Framework.html

Loading...

web/entries/Saturation_Framework_Extensions.html

Loading...

web/entries/Simple_Clause_Learning.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/simple_clause_learning/index.html

Loading...

web/topics/index.html

Loading...

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

Loading...

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

Loading...

web/topics/logic/general-logic/mechanization-of-proofs/index.html

Loading...

web/topics/logic/general-logic/mechanization-of-proofs/index.xml

Loading...

web/topics/logic/index.html

Loading...

web/topics/logic/index.xml

Loading...