A linear-time algorithm for testing the truth of certain quantified boolean formulas (Q29394502)

From Wikidata

Jump to navigation Jump to search

scientific article (publication date: March 1979)

edit

Language	Label	Description	Also known as
English	A linear-time algorithm for testing the truth of certain quantified boolean formulas	scientific article (publication date: March 1979)

Statements

instance of

scholarly article

0 references

title

A linear-time algorithm for testing the truth of certain quantified boolean formulas (English)

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

retrieved

14 April 2017

author

Robert Tarjan

series ordinal

3

object named as

Robert Endre Tarjan

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

retrieved

14 April 2017

author name string

Bengt Aspvall

series ordinal

1

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

retrieved

14 April 2017

Michael F. Plass

series ordinal

2

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

retrieved

14 April 2017

publication date

March 1979

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

retrieved

14 April 2017

published in

Information Processing Letters

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

retrieved

14 April 2017

volume

8

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

retrieved

14 April 2017

issue

3

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

retrieved

14 April 2017

page(s)

121-123

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

retrieved

14 April 2017

maintained by WikiProject

WikiProject Mathematics

0 references

Identifiers

DOI

10.1016/0020-0190(79)90002-4

1 reference

stated in

DOI.org query endpoint

reference URL

https://doi.org/10.1016%2F0020-0190%2879%2990002-4

retrieved

14 April 2017

DBLP publication ID

journals/ipl/AspvallPT79

1 reference

stated in

DBLP Dataset 2021-01-02

retrieved

28 January 2021

ResearchGate publication ID

220114576

0 references

zbMATH Open document ID

0398.68042

0 references

 

Sitelinks

Wikipedia(0 entries)

edit

Wikibooks(0 entries)

edit

Wikinews(0 entries)

edit

Wikiquote(0 entries)

edit

Wikisource(0 entries)

edit

Wikiversity(0 entries)

edit

Wikivoyage(0 entries)

edit

Wiktionary(0 entries)

edit

Multilingual sites(0 entries)

edit

Retrieved from "https://www.wikidata.org/w/index.php?title=Q29394502&oldid=2067919684"