About: Conjunctive normal form

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Conjunctive normal form Goto Sponge NotDistinct Permalink

An Entity of Type : dbr:Conjunction, within Data Space : covidontheweb.inria.fr associated with source document(s)

Attributes	Values
type	software work Conjunction
label	Conjunctive normal form Forma normal conjuntiva Forme normale conjonctive Konjunktive Normalform
described by	proxy:entity/http/dbpedia.org/resource/Logical_conjunction https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Template:Mvar https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/2-satisfiability
Subject	Normal forms (logic)
dbo:wikiPageWikiLink	Logical conjunction 2-satisfiability
dbp:wikiPageUsesTemplate	dbt:Mvar
is topic of	Logical conjunction 2-satisfiability dbt:Mvar
is dbo:wikiPageWikiLink of	canonical form 2-satisfiability
is hasBody of	named entity 'CNF' named entity 'conjunctive normal form' named entity 'CNF' named entity 'CNF' named entity 'CNF' named entity 'CNF' named entity 'CNF' named entity 'CNF' named entity 'CNF' named entity 'conjunctive normal form'

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software