About: Post correspondence problem

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

About: Post correspondence problem Goto Sponge NotDistinct Permalink

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

Attributes	Values
type	disease Problem
label	Post correspondence problem Postsches Korrespondenzproblem Problema de correspondencia de Post Problème de correspondance de Post
described by	https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Template:Col-begin https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Boolean_satisfiability_problem
subject	Computability theory Theory of computation Undecidable problems
dbo:wikiPageWikiLink	Boolean satisfiability problem
dbp:wikiPageUsesTemplate	dbt:Col-begin
is topic of	Boolean satisfiability problem dbt:Col-begin
is dbo:wikiPageWikiLink of	Ambiguous grammar
is hasBody of	named entity 'Post correspondence problem' named entity 'Post correspondence problem'

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