Elements of Finite Model Theory View Full Text


Ontology type: schema:Book     


Book Info

DATE

2004

GENRE

Monograph

AUTHORS

Leonid Libkin

PUBLISHER

Springer Berlin Heidelberg

ABSTRACT

N/A

References to SciGraph publications

  • 1999. Descriptive Complexity in NONE
  • 2007. Embedded Finite Models and Constraint Databases in FINITE MODEL THEORY AND ITS APPLICATIONS
  • 1963-09. Asymmetric graphs in ACTA MATHEMATICA
  • 1994. Finite Automata, Formal Logic, and Circuit Complexity in NONE
  • 1997-07. Unary Quantifiers on Finite Models in JOURNAL OF LOGIC, LANGUAGE AND INFORMATION
  • 1981-12. Complexity classes and theories of finite models in MATHEMATICAL SYSTEMS THEORY
  • 1998-07. Monadic logical definability of nondeterministic linear time in COMPUTATIONAL COMPLEXITY
  • 1997. Model checking and transitive-closure logic in COMPUTER AIDED VERIFICATION
  • 2004. Verification of Reactive Systems, Formal Methods and Algorithms in NONE
  • 1995. Languages for polynomial-time queries — An ongoing quest in DATABASE THEORY — ICDT '95
  • 2002. Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2002
  • 1988-11. The method of forced enumeration for nondeterministic automata in ACTA INFORMATICA
  • 1999. Introduction to Circuit Complexity, A Uniform Approach in NONE
  • 2001. Automata Theory and its Applications in NONE
  • 2000. A Course in Model Theory, An Introduction to Contemporary Mathematical Logic in NONE
  • 1999-10. Equivalence in Finite-Variable Logics is Complete for Polynomial Time in COMBINATORICA
  • 2000. 0–1 Laws for Fragments of Existential Second-Order Logic: A Survey in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2000
  • 1984-12. Parity, circuits, and the polynomial-time hierarchy in MATHEMATICAL SYSTEMS THEORY
  • 1964-03. Concerning measures in first order calculi in ISRAEL JOURNAL OF MATHEMATICS
  • 1992-12. An optimal lower bound on the number of variables for graph identification in COMBINATORICA
  • 2001. The Random Graph Revisited in EUROPEAN CONGRESS OF MATHEMATICS
  • 1996. On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic in CONCUR '96: CONCURRENCY THEORY
  • 1984. Toward logic tailored for computational complexity in COMPUTATION AND PROOF THEORY
  • 1968-03. Generalized finite automata theory with an application to a decision problem of second-order logic in MATHEMATICAL SYSTEMS THEORY
  • 1969-03. Range and degree of realizability of formulas in the restricted predicate calculus in CYBERNETICS AND SYSTEMS ANALYSIS
  • 1994. Logic and Structure in NONE
  • Author Affiliations

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-662-07003-1

    DOI

    http://dx.doi.org/10.1007/978-3-662-07003-1

    ISBN

    978-3-642-05948-3 | 978-3-662-07003-1

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1046929489


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "author": [
          {
            "affiliation": {
              "alternateName": "University of Toronto", 
              "id": "https://www.grid.ac/institutes/grid.17063.33", 
              "name": [
                "Department of Computer Science, University of Toronto, M5S 3H5, Toronto, ON, Canada"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Libkin", 
            "givenName": "Leonid", 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1023/a:1008209019899", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1000725425", 
              "https://doi.org/10.1023/a:1008209019899"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0012-365x(85)90112-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001660461"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0012-365x(85)90112-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001660461"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1090/s0894-0347-96-00216-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003098531"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/362084.362136", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003401002"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0020-0190(96)00140-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003814115"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.1995.1084", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004682318"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0020-0190(00)00149-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1005361722"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/jcss.1999.1691", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1005815147"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0022-0000(82)90012-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006665882"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0168-0072(90)90053-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006695118"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0022-0000(90)90022-d", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007070716"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2307/2695063", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007311350"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-46135-3_21", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007877597", 
              "https://doi.org/10.1007/3-540-46135-3_21"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2307/2273594", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008392344"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.apal.2003.11.002", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008772471"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0168-0072(95)00030-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008859802"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/230514.571645", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009278694"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1002/malq.19870330107", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009687383"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-662-03927-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010704788", 
              "https://doi.org/10.1007/978-3-662-03927-4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-662-03927-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010704788", 
              "https://doi.org/10.1007/978-3-662-03927-4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.1995.1166", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010798412"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-61604-7_60", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011410166", 
              "https://doi.org/10.1007/3-540-61604-7_60"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01744431", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011469743", 
              "https://doi.org/10.1007/bf01744431"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01744431", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011469743", 
              "https://doi.org/10.1007/bf01744431"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1002/malq.19750210112", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011706691"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/256292.256295", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011788245"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0304-3975(02)00401-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011890942"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0304-3975(02)00401-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011890942"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0020-0190(94)00219-o", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012053269"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0022-0000(82)90011-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012427075"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s004939970004", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1012585380", 
              "https://doi.org/10.1007/s004939970004"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0304-3975(96)00194-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1013957806"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(92)90149-a", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014015088"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/502090.502100", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1014690680"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-58907-4_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015085882", 
              "https://doi.org/10.1007/3-540-58907-4_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00299636", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015398492", 
              "https://doi.org/10.1007/bf00299636"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0890-5401(92)90021-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015733979"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01786976", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015769116", 
              "https://doi.org/10.1007/bf01786976"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01786976", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015769116", 
              "https://doi.org/10.1007/bf01786976"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0012-365x(84)90166-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015872609"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0019-9958(85)80027-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015978813"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-63166-6_29", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016002879", 
              "https://doi.org/10.1007/3-540-63166-6_29"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0304-3975(01)00152-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016031261"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/pl00001594", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016232223", 
              "https://doi.org/10.1007/pl00001594"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0019-9958(83)80043-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016638847"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/jcss.1998.1598", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017672352"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0166-218x(94)90019-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018384056"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01071084", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018951850", 
              "https://doi.org/10.1007/bf01071084"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01071084", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018951850", 
              "https://doi.org/10.1007/bf01071084"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4612-0539-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019353558", 
              "https://doi.org/10.1007/978-1-4612-0539-5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4612-0539-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019353558", 
              "https://doi.org/10.1007/978-1-4612-0539-5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.2002.2955", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019432762"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.2002.2955", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019432762"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.1995.1081", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019496496"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/jcss.1995.1025", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019797779"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1090/s0002-9947-1955-0070594-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020479152"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/343369.343376", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020836578"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/jcss.1997.1485", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021182668"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/jcss.1995.1051", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021703969"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0099486", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023608878", 
              "https://doi.org/10.1007/bfb0099486"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0304-3975(01)00301-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023758477"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0022-0000(82)90016-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023797189"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.2001.2953", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025332470"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2178/bsl/1182353894", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025463923"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/b978-0-444-88074-1.50010-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025553100"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(91)90048-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026104678"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01305232", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026175177", 
              "https://doi.org/10.1007/bf01305232"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01305232", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026175177", 
              "https://doi.org/10.1007/bf01305232"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1002/malq.19980440306", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026375773"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0049-237x(98)80017-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026621591"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-68804-8_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027734499", 
              "https://doi.org/10.1007/3-540-68804-8_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0168-0072(91)90054-p", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027979057"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1002/malq.19990450411", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027999092"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1002/malq.19990450411", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027999092"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-662-10778-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028197550", 
              "https://doi.org/10.1007/978-3-662-10778-2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-662-10778-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028197550", 
              "https://doi.org/10.1007/978-3-662-10778-2"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/jcss.1995.1055", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029223409"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1002/malq.19600060105", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029582399"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0890-5401(90)90065-p", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030019105"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0003-4843(80)90014-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030400530"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0019-9958(77)90443-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031186679"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4612-0289-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033437898", 
              "https://doi.org/10.1007/978-1-4612-0289-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4612-0289-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033437898", 
              "https://doi.org/10.1007/978-1-4612-0289-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://app.dimensions.ai/details/publication/pub.1034425125", 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4612-0171-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034425125", 
              "https://doi.org/10.1007/978-1-4612-0171-7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4612-0171-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034425125", 
              "https://doi.org/10.1007/978-1-4612-0171-7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/602220.602223", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035178712"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/jcss.1999.1626", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035551373"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.1996.0070", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037050187"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2307/2586810", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037247412"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/504077.504079", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037394134"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2307/2266510", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037559057"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0168-0072(86)90055-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037928376"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0168-0072(86)90055-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1037928376"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0304-3975(99)00223-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038440312"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/jcss.2000.1713", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038460783"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01691346", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038809008", 
              "https://doi.org/10.1007/bf01691346"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01691346", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038809008", 
              "https://doi.org/10.1007/bf01691346"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01691346", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038809008", 
              "https://doi.org/10.1007/bf01691346"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.1999.2842", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039333534"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2307/2272133", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039425526"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf02759729", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040093054", 
              "https://doi.org/10.1007/bf02759729"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.1997.2675", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040526487"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2307/2274958", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040533451"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/jcss.1997.1523", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040646187"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/637411.637428", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041277830"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/371282.371388", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041427652"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-0348-8268-2_15", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041981385", 
              "https://doi.org/10.1007/978-3-0348-8268-2_15"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-0348-8268-2_15", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041981385", 
              "https://doi.org/10.1007/978-3-0348-8268-2_15"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2307/421196", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041984319"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/343369.343386", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042672410"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01895716", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042688400", 
              "https://doi.org/10.1007/bf01895716"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01895716", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042688400", 
              "https://doi.org/10.1007/bf01895716"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-44612-5_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043718527", 
              "https://doi.org/10.1007/3-540-44612-5_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1002/malq.19750210118", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043808698"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1002/malq.19750210118", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043808698"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(93)90218-i", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044333908"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/602220.602222", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045379308"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0168-0072(83)90038-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045452111"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-662-02962-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046250151", 
              "https://doi.org/10.1007/978-3-662-02962-6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-662-02962-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046250151", 
              "https://doi.org/10.1007/978-3-662-02962-6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0168-0072(94)00025-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046278878"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2307/421173", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046611207"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/347476.347477", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047239108"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/382780.382783", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047292408"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0019-9958(86)80029-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048251338"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(76)90061-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048647089"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4419-8622-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049816054", 
              "https://doi.org/10.1007/978-1-4419-8622-1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4419-8622-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049816054", 
              "https://doi.org/10.1007/978-1-4419-8622-1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/s0019-9958(86)80006-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050603371"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0890-5401(90)90006-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051038424"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/876638.876642", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051418780"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/601858.601869", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051456921"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.2002.2954", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051589334"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2307/2695073", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051868562"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0960129501003565", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052811013"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/s0960129501003565", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052811013"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/322217.322221", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052841577"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1006/inco.1995.1100", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053459927"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1093/logcom/6.6.779", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1059875776"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1137/0213035", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062841769"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1137/0216051", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062841997"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1137/0217058", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062842077"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1137/s0097539793251219", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062879834"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1137/s0097539794266766", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062879931"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1137/s009753979629766", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062880089"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1137/s0097539799360768", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1062880347"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2178/bsl/1182353853", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1069254595"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2307/2272945", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1069855996"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.4064/aa-9-4-331-340", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1091701319"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.4064/fm-47-1-57-103", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1091702670"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.4064/fm-49-2-129-141", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1091702724"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/lics.2001.932496", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1093752782"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/cbo9780511551574", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098679644"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1017/cbo9780511525919", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1098740424"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.2307/3616954", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1102044411"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2004", 
        "datePublishedReg": "2004-01-01", 
        "genre": "monograph", 
        "id": "sg:pub.10.1007/978-3-662-07003-1", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isbn": [
          "978-3-642-05948-3", 
          "978-3-662-07003-1"
        ], 
        "name": "Elements of Finite Model Theory", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "df8e3474c2a49247283e4c1d92822c5c1445b48eafb22029efc1a9b75bae5d79"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-662-07003-1"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1046929489"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-662-07003-1", 
          "https://app.dimensions.ai/details/publication/pub.1046929489"
        ], 
        "sdDataset": "books", 
        "sdDatePublished": "2019-04-12T04:05", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000372_0000000372/records_117125_00000002.jsonl", 
        "type": "Book", 
        "url": "https://link.springer.com/10.1007%2F978-3-662-07003-1"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-662-07003-1'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-662-07003-1'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-662-07003-1'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-662-07003-1'


     

    This table displays all metadata directly associated to this object as RDF triples.

    475 TRIPLES      19 PREDICATES      158 URIs      18 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-662-07003-1 schema:author N294ebac593544104beeac0d04971e053
    2 schema:citation sg:pub.10.1007/3-540-44612-5_6
    3 sg:pub.10.1007/3-540-46135-3_21
    4 sg:pub.10.1007/3-540-58907-4_4
    5 sg:pub.10.1007/3-540-61604-7_60
    6 sg:pub.10.1007/3-540-63166-6_29
    7 sg:pub.10.1007/3-540-68804-8_5
    8 sg:pub.10.1007/978-1-4419-8622-1
    9 sg:pub.10.1007/978-1-4612-0171-7
    10 sg:pub.10.1007/978-1-4612-0289-9
    11 sg:pub.10.1007/978-1-4612-0539-5
    12 sg:pub.10.1007/978-3-0348-8268-2_15
    13 sg:pub.10.1007/978-3-662-02962-6
    14 sg:pub.10.1007/978-3-662-03927-4
    15 sg:pub.10.1007/978-3-662-10778-2
    16 sg:pub.10.1007/bf00299636
    17 sg:pub.10.1007/bf01071084
    18 sg:pub.10.1007/bf01305232
    19 sg:pub.10.1007/bf01691346
    20 sg:pub.10.1007/bf01744431
    21 sg:pub.10.1007/bf01786976
    22 sg:pub.10.1007/bf01895716
    23 sg:pub.10.1007/bf02759729
    24 sg:pub.10.1007/bfb0099486
    25 sg:pub.10.1007/pl00001594
    26 sg:pub.10.1007/s004939970004
    27 sg:pub.10.1023/a:1008209019899
    28 https://app.dimensions.ai/details/publication/pub.1034425125
    29 https://doi.org/10.1002/malq.19600060105
    30 https://doi.org/10.1002/malq.19750210112
    31 https://doi.org/10.1002/malq.19750210118
    32 https://doi.org/10.1002/malq.19870330107
    33 https://doi.org/10.1002/malq.19980440306
    34 https://doi.org/10.1002/malq.19990450411
    35 https://doi.org/10.1006/inco.1995.1081
    36 https://doi.org/10.1006/inco.1995.1084
    37 https://doi.org/10.1006/inco.1995.1100
    38 https://doi.org/10.1006/inco.1995.1166
    39 https://doi.org/10.1006/inco.1996.0070
    40 https://doi.org/10.1006/inco.1997.2675
    41 https://doi.org/10.1006/inco.1999.2842
    42 https://doi.org/10.1006/inco.2001.2953
    43 https://doi.org/10.1006/inco.2002.2954
    44 https://doi.org/10.1006/inco.2002.2955
    45 https://doi.org/10.1006/jcss.1995.1025
    46 https://doi.org/10.1006/jcss.1995.1051
    47 https://doi.org/10.1006/jcss.1995.1055
    48 https://doi.org/10.1006/jcss.1997.1485
    49 https://doi.org/10.1006/jcss.1997.1523
    50 https://doi.org/10.1006/jcss.1998.1598
    51 https://doi.org/10.1006/jcss.1999.1626
    52 https://doi.org/10.1006/jcss.1999.1691
    53 https://doi.org/10.1006/jcss.2000.1713
    54 https://doi.org/10.1016/0003-4843(80)90014-5
    55 https://doi.org/10.1016/0012-365x(84)90166-3
    56 https://doi.org/10.1016/0012-365x(85)90112-8
    57 https://doi.org/10.1016/0020-0190(94)00219-o
    58 https://doi.org/10.1016/0022-0000(82)90011-3
    59 https://doi.org/10.1016/0022-0000(82)90012-5
    60 https://doi.org/10.1016/0022-0000(82)90016-2
    61 https://doi.org/10.1016/0022-0000(90)90022-d
    62 https://doi.org/10.1016/0166-218x(94)90019-1
    63 https://doi.org/10.1016/0168-0072(83)90038-6
    64 https://doi.org/10.1016/0168-0072(86)90055-2
    65 https://doi.org/10.1016/0168-0072(90)90053-5
    66 https://doi.org/10.1016/0168-0072(91)90054-p
    67 https://doi.org/10.1016/0168-0072(94)00025-x
    68 https://doi.org/10.1016/0168-0072(95)00030-5
    69 https://doi.org/10.1016/0304-3975(76)90061-x
    70 https://doi.org/10.1016/0304-3975(91)90048-7
    71 https://doi.org/10.1016/0304-3975(92)90149-a
    72 https://doi.org/10.1016/0304-3975(93)90218-i
    73 https://doi.org/10.1016/0890-5401(90)90006-4
    74 https://doi.org/10.1016/0890-5401(90)90065-p
    75 https://doi.org/10.1016/0890-5401(92)90021-7
    76 https://doi.org/10.1016/b978-0-444-88074-1.50010-x
    77 https://doi.org/10.1016/j.apal.2003.11.002
    78 https://doi.org/10.1016/s0019-9958(77)90443-0
    79 https://doi.org/10.1016/s0019-9958(83)80043-6
    80 https://doi.org/10.1016/s0019-9958(85)80027-9
    81 https://doi.org/10.1016/s0019-9958(86)80006-7
    82 https://doi.org/10.1016/s0019-9958(86)80029-8
    83 https://doi.org/10.1016/s0020-0190(00)00149-6
    84 https://doi.org/10.1016/s0020-0190(96)00140-8
    85 https://doi.org/10.1016/s0049-237x(98)80017-7
    86 https://doi.org/10.1016/s0304-3975(01)00152-9
    87 https://doi.org/10.1016/s0304-3975(01)00301-2
    88 https://doi.org/10.1016/s0304-3975(02)00401-2
    89 https://doi.org/10.1016/s0304-3975(96)00194-6
    90 https://doi.org/10.1016/s0304-3975(99)00223-6
    91 https://doi.org/10.1017/cbo9780511525919
    92 https://doi.org/10.1017/cbo9780511551574
    93 https://doi.org/10.1017/s0960129501003565
    94 https://doi.org/10.1090/s0002-9947-1955-0070594-4
    95 https://doi.org/10.1090/s0894-0347-96-00216-0
    96 https://doi.org/10.1093/logcom/6.6.779
    97 https://doi.org/10.1109/lics.2001.932496
    98 https://doi.org/10.1137/0213035
    99 https://doi.org/10.1137/0216051
    100 https://doi.org/10.1137/0217058
    101 https://doi.org/10.1137/s0097539793251219
    102 https://doi.org/10.1137/s0097539794266766
    103 https://doi.org/10.1137/s009753979629766
    104 https://doi.org/10.1137/s0097539799360768
    105 https://doi.org/10.1145/230514.571645
    106 https://doi.org/10.1145/256292.256295
    107 https://doi.org/10.1145/322217.322221
    108 https://doi.org/10.1145/343369.343376
    109 https://doi.org/10.1145/343369.343386
    110 https://doi.org/10.1145/347476.347477
    111 https://doi.org/10.1145/362084.362136
    112 https://doi.org/10.1145/371282.371388
    113 https://doi.org/10.1145/382780.382783
    114 https://doi.org/10.1145/502090.502100
    115 https://doi.org/10.1145/504077.504079
    116 https://doi.org/10.1145/601858.601869
    117 https://doi.org/10.1145/602220.602222
    118 https://doi.org/10.1145/602220.602223
    119 https://doi.org/10.1145/637411.637428
    120 https://doi.org/10.1145/876638.876642
    121 https://doi.org/10.2178/bsl/1182353853
    122 https://doi.org/10.2178/bsl/1182353894
    123 https://doi.org/10.2307/2266510
    124 https://doi.org/10.2307/2272133
    125 https://doi.org/10.2307/2272945
    126 https://doi.org/10.2307/2273594
    127 https://doi.org/10.2307/2274958
    128 https://doi.org/10.2307/2586810
    129 https://doi.org/10.2307/2695063
    130 https://doi.org/10.2307/2695073
    131 https://doi.org/10.2307/3616954
    132 https://doi.org/10.2307/421173
    133 https://doi.org/10.2307/421196
    134 https://doi.org/10.4064/aa-9-4-331-340
    135 https://doi.org/10.4064/fm-47-1-57-103
    136 https://doi.org/10.4064/fm-49-2-129-141
    137 schema:datePublished 2004
    138 schema:datePublishedReg 2004-01-01
    139 schema:genre monograph
    140 schema:inLanguage en
    141 schema:isAccessibleForFree false
    142 schema:isbn 978-3-642-05948-3
    143 978-3-662-07003-1
    144 schema:name Elements of Finite Model Theory
    145 schema:productId N20f998d6054244f79326c82e8894bcf1
    146 N3156f9933ec5429096b9b66385919473
    147 N93430104a8c04fa9b9797c990a4414d8
    148 schema:publisher N34fd9d1528694db6a4f89108a3901080
    149 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046929489
    150 https://doi.org/10.1007/978-3-662-07003-1
    151 schema:sdDatePublished 2019-04-12T04:05
    152 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    153 schema:sdPublisher N383dbab932d64304b4a4952cfcc8bc61
    154 schema:url https://link.springer.com/10.1007%2F978-3-662-07003-1
    155 sgo:license sg:explorer/license/
    156 sgo:sdDataset books
    157 rdf:type schema:Book
    158 N20f998d6054244f79326c82e8894bcf1 schema:name doi
    159 schema:value 10.1007/978-3-662-07003-1
    160 rdf:type schema:PropertyValue
    161 N294ebac593544104beeac0d04971e053 rdf:first Ne550e3d203e64964b4d4cc9ed6e23f9f
    162 rdf:rest rdf:nil
    163 N3156f9933ec5429096b9b66385919473 schema:name dimensions_id
    164 schema:value pub.1046929489
    165 rdf:type schema:PropertyValue
    166 N34fd9d1528694db6a4f89108a3901080 schema:location Berlin, Heidelberg
    167 schema:name Springer Berlin Heidelberg
    168 rdf:type schema:Organisation
    169 N383dbab932d64304b4a4952cfcc8bc61 schema:name Springer Nature - SN SciGraph project
    170 rdf:type schema:Organization
    171 N93430104a8c04fa9b9797c990a4414d8 schema:name readcube_id
    172 schema:value df8e3474c2a49247283e4c1d92822c5c1445b48eafb22029efc1a9b75bae5d79
    173 rdf:type schema:PropertyValue
    174 Ne550e3d203e64964b4d4cc9ed6e23f9f schema:affiliation https://www.grid.ac/institutes/grid.17063.33
    175 schema:familyName Libkin
    176 schema:givenName Leonid
    177 rdf:type schema:Person
    178 sg:pub.10.1007/3-540-44612-5_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043718527
    179 https://doi.org/10.1007/3-540-44612-5_6
    180 rdf:type schema:CreativeWork
    181 sg:pub.10.1007/3-540-46135-3_21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007877597
    182 https://doi.org/10.1007/3-540-46135-3_21
    183 rdf:type schema:CreativeWork
    184 sg:pub.10.1007/3-540-58907-4_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015085882
    185 https://doi.org/10.1007/3-540-58907-4_4
    186 rdf:type schema:CreativeWork
    187 sg:pub.10.1007/3-540-61604-7_60 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011410166
    188 https://doi.org/10.1007/3-540-61604-7_60
    189 rdf:type schema:CreativeWork
    190 sg:pub.10.1007/3-540-63166-6_29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016002879
    191 https://doi.org/10.1007/3-540-63166-6_29
    192 rdf:type schema:CreativeWork
    193 sg:pub.10.1007/3-540-68804-8_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027734499
    194 https://doi.org/10.1007/3-540-68804-8_5
    195 rdf:type schema:CreativeWork
    196 sg:pub.10.1007/978-1-4419-8622-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049816054
    197 https://doi.org/10.1007/978-1-4419-8622-1
    198 rdf:type schema:CreativeWork
    199 sg:pub.10.1007/978-1-4612-0171-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034425125
    200 https://doi.org/10.1007/978-1-4612-0171-7
    201 rdf:type schema:CreativeWork
    202 sg:pub.10.1007/978-1-4612-0289-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033437898
    203 https://doi.org/10.1007/978-1-4612-0289-9
    204 rdf:type schema:CreativeWork
    205 sg:pub.10.1007/978-1-4612-0539-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019353558
    206 https://doi.org/10.1007/978-1-4612-0539-5
    207 rdf:type schema:CreativeWork
    208 sg:pub.10.1007/978-3-0348-8268-2_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041981385
    209 https://doi.org/10.1007/978-3-0348-8268-2_15
    210 rdf:type schema:CreativeWork
    211 sg:pub.10.1007/978-3-662-02962-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046250151
    212 https://doi.org/10.1007/978-3-662-02962-6
    213 rdf:type schema:CreativeWork
    214 sg:pub.10.1007/978-3-662-03927-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010704788
    215 https://doi.org/10.1007/978-3-662-03927-4
    216 rdf:type schema:CreativeWork
    217 sg:pub.10.1007/978-3-662-10778-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028197550
    218 https://doi.org/10.1007/978-3-662-10778-2
    219 rdf:type schema:CreativeWork
    220 sg:pub.10.1007/bf00299636 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015398492
    221 https://doi.org/10.1007/bf00299636
    222 rdf:type schema:CreativeWork
    223 sg:pub.10.1007/bf01071084 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018951850
    224 https://doi.org/10.1007/bf01071084
    225 rdf:type schema:CreativeWork
    226 sg:pub.10.1007/bf01305232 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026175177
    227 https://doi.org/10.1007/bf01305232
    228 rdf:type schema:CreativeWork
    229 sg:pub.10.1007/bf01691346 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038809008
    230 https://doi.org/10.1007/bf01691346
    231 rdf:type schema:CreativeWork
    232 sg:pub.10.1007/bf01744431 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011469743
    233 https://doi.org/10.1007/bf01744431
    234 rdf:type schema:CreativeWork
    235 sg:pub.10.1007/bf01786976 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015769116
    236 https://doi.org/10.1007/bf01786976
    237 rdf:type schema:CreativeWork
    238 sg:pub.10.1007/bf01895716 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042688400
    239 https://doi.org/10.1007/bf01895716
    240 rdf:type schema:CreativeWork
    241 sg:pub.10.1007/bf02759729 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040093054
    242 https://doi.org/10.1007/bf02759729
    243 rdf:type schema:CreativeWork
    244 sg:pub.10.1007/bfb0099486 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023608878
    245 https://doi.org/10.1007/bfb0099486
    246 rdf:type schema:CreativeWork
    247 sg:pub.10.1007/pl00001594 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016232223
    248 https://doi.org/10.1007/pl00001594
    249 rdf:type schema:CreativeWork
    250 sg:pub.10.1007/s004939970004 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012585380
    251 https://doi.org/10.1007/s004939970004
    252 rdf:type schema:CreativeWork
    253 sg:pub.10.1023/a:1008209019899 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000725425
    254 https://doi.org/10.1023/a:1008209019899
    255 rdf:type schema:CreativeWork
    256 https://app.dimensions.ai/details/publication/pub.1034425125 schema:CreativeWork
    257 https://doi.org/10.1002/malq.19600060105 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029582399
    258 rdf:type schema:CreativeWork
    259 https://doi.org/10.1002/malq.19750210112 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011706691
    260 rdf:type schema:CreativeWork
    261 https://doi.org/10.1002/malq.19750210118 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043808698
    262 rdf:type schema:CreativeWork
    263 https://doi.org/10.1002/malq.19870330107 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009687383
    264 rdf:type schema:CreativeWork
    265 https://doi.org/10.1002/malq.19980440306 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026375773
    266 rdf:type schema:CreativeWork
    267 https://doi.org/10.1002/malq.19990450411 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027999092
    268 rdf:type schema:CreativeWork
    269 https://doi.org/10.1006/inco.1995.1081 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019496496
    270 rdf:type schema:CreativeWork
    271 https://doi.org/10.1006/inco.1995.1084 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004682318
    272 rdf:type schema:CreativeWork
    273 https://doi.org/10.1006/inco.1995.1100 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053459927
    274 rdf:type schema:CreativeWork
    275 https://doi.org/10.1006/inco.1995.1166 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010798412
    276 rdf:type schema:CreativeWork
    277 https://doi.org/10.1006/inco.1996.0070 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037050187
    278 rdf:type schema:CreativeWork
    279 https://doi.org/10.1006/inco.1997.2675 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040526487
    280 rdf:type schema:CreativeWork
    281 https://doi.org/10.1006/inco.1999.2842 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039333534
    282 rdf:type schema:CreativeWork
    283 https://doi.org/10.1006/inco.2001.2953 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025332470
    284 rdf:type schema:CreativeWork
    285 https://doi.org/10.1006/inco.2002.2954 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051589334
    286 rdf:type schema:CreativeWork
    287 https://doi.org/10.1006/inco.2002.2955 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019432762
    288 rdf:type schema:CreativeWork
    289 https://doi.org/10.1006/jcss.1995.1025 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019797779
    290 rdf:type schema:CreativeWork
    291 https://doi.org/10.1006/jcss.1995.1051 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021703969
    292 rdf:type schema:CreativeWork
    293 https://doi.org/10.1006/jcss.1995.1055 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029223409
    294 rdf:type schema:CreativeWork
    295 https://doi.org/10.1006/jcss.1997.1485 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021182668
    296 rdf:type schema:CreativeWork
    297 https://doi.org/10.1006/jcss.1997.1523 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040646187
    298 rdf:type schema:CreativeWork
    299 https://doi.org/10.1006/jcss.1998.1598 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017672352
    300 rdf:type schema:CreativeWork
    301 https://doi.org/10.1006/jcss.1999.1626 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035551373
    302 rdf:type schema:CreativeWork
    303 https://doi.org/10.1006/jcss.1999.1691 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005815147
    304 rdf:type schema:CreativeWork
    305 https://doi.org/10.1006/jcss.2000.1713 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038460783
    306 rdf:type schema:CreativeWork
    307 https://doi.org/10.1016/0003-4843(80)90014-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030400530
    308 rdf:type schema:CreativeWork
    309 https://doi.org/10.1016/0012-365x(84)90166-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015872609
    310 rdf:type schema:CreativeWork
    311 https://doi.org/10.1016/0012-365x(85)90112-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001660461
    312 rdf:type schema:CreativeWork
    313 https://doi.org/10.1016/0020-0190(94)00219-o schema:sameAs https://app.dimensions.ai/details/publication/pub.1012053269
    314 rdf:type schema:CreativeWork
    315 https://doi.org/10.1016/0022-0000(82)90011-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012427075
    316 rdf:type schema:CreativeWork
    317 https://doi.org/10.1016/0022-0000(82)90012-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006665882
    318 rdf:type schema:CreativeWork
    319 https://doi.org/10.1016/0022-0000(82)90016-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023797189
    320 rdf:type schema:CreativeWork
    321 https://doi.org/10.1016/0022-0000(90)90022-d schema:sameAs https://app.dimensions.ai/details/publication/pub.1007070716
    322 rdf:type schema:CreativeWork
    323 https://doi.org/10.1016/0166-218x(94)90019-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018384056
    324 rdf:type schema:CreativeWork
    325 https://doi.org/10.1016/0168-0072(83)90038-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045452111
    326 rdf:type schema:CreativeWork
    327 https://doi.org/10.1016/0168-0072(86)90055-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037928376
    328 rdf:type schema:CreativeWork
    329 https://doi.org/10.1016/0168-0072(90)90053-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006695118
    330 rdf:type schema:CreativeWork
    331 https://doi.org/10.1016/0168-0072(91)90054-p schema:sameAs https://app.dimensions.ai/details/publication/pub.1027979057
    332 rdf:type schema:CreativeWork
    333 https://doi.org/10.1016/0168-0072(94)00025-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1046278878
    334 rdf:type schema:CreativeWork
    335 https://doi.org/10.1016/0168-0072(95)00030-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008859802
    336 rdf:type schema:CreativeWork
    337 https://doi.org/10.1016/0304-3975(76)90061-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1048647089
    338 rdf:type schema:CreativeWork
    339 https://doi.org/10.1016/0304-3975(91)90048-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026104678
    340 rdf:type schema:CreativeWork
    341 https://doi.org/10.1016/0304-3975(92)90149-a schema:sameAs https://app.dimensions.ai/details/publication/pub.1014015088
    342 rdf:type schema:CreativeWork
    343 https://doi.org/10.1016/0304-3975(93)90218-i schema:sameAs https://app.dimensions.ai/details/publication/pub.1044333908
    344 rdf:type schema:CreativeWork
    345 https://doi.org/10.1016/0890-5401(90)90006-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051038424
    346 rdf:type schema:CreativeWork
    347 https://doi.org/10.1016/0890-5401(90)90065-p schema:sameAs https://app.dimensions.ai/details/publication/pub.1030019105
    348 rdf:type schema:CreativeWork
    349 https://doi.org/10.1016/0890-5401(92)90021-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015733979
    350 rdf:type schema:CreativeWork
    351 https://doi.org/10.1016/b978-0-444-88074-1.50010-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1025553100
    352 rdf:type schema:CreativeWork
    353 https://doi.org/10.1016/j.apal.2003.11.002 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008772471
    354 rdf:type schema:CreativeWork
    355 https://doi.org/10.1016/s0019-9958(77)90443-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031186679
    356 rdf:type schema:CreativeWork
    357 https://doi.org/10.1016/s0019-9958(83)80043-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016638847
    358 rdf:type schema:CreativeWork
    359 https://doi.org/10.1016/s0019-9958(85)80027-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1015978813
    360 rdf:type schema:CreativeWork
    361 https://doi.org/10.1016/s0019-9958(86)80006-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050603371
    362 rdf:type schema:CreativeWork
    363 https://doi.org/10.1016/s0019-9958(86)80029-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048251338
    364 rdf:type schema:CreativeWork
    365 https://doi.org/10.1016/s0020-0190(00)00149-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005361722
    366 rdf:type schema:CreativeWork
    367 https://doi.org/10.1016/s0020-0190(96)00140-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003814115
    368 rdf:type schema:CreativeWork
    369 https://doi.org/10.1016/s0049-237x(98)80017-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026621591
    370 rdf:type schema:CreativeWork
    371 https://doi.org/10.1016/s0304-3975(01)00152-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016031261
    372 rdf:type schema:CreativeWork
    373 https://doi.org/10.1016/s0304-3975(01)00301-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023758477
    374 rdf:type schema:CreativeWork
    375 https://doi.org/10.1016/s0304-3975(02)00401-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011890942
    376 rdf:type schema:CreativeWork
    377 https://doi.org/10.1016/s0304-3975(96)00194-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013957806
    378 rdf:type schema:CreativeWork
    379 https://doi.org/10.1016/s0304-3975(99)00223-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038440312
    380 rdf:type schema:CreativeWork
    381 https://doi.org/10.1017/cbo9780511525919 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098740424
    382 rdf:type schema:CreativeWork
    383 https://doi.org/10.1017/cbo9780511551574 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098679644
    384 rdf:type schema:CreativeWork
    385 https://doi.org/10.1017/s0960129501003565 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052811013
    386 rdf:type schema:CreativeWork
    387 https://doi.org/10.1090/s0002-9947-1955-0070594-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020479152
    388 rdf:type schema:CreativeWork
    389 https://doi.org/10.1090/s0894-0347-96-00216-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003098531
    390 rdf:type schema:CreativeWork
    391 https://doi.org/10.1093/logcom/6.6.779 schema:sameAs https://app.dimensions.ai/details/publication/pub.1059875776
    392 rdf:type schema:CreativeWork
    393 https://doi.org/10.1109/lics.2001.932496 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093752782
    394 rdf:type schema:CreativeWork
    395 https://doi.org/10.1137/0213035 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062841769
    396 rdf:type schema:CreativeWork
    397 https://doi.org/10.1137/0216051 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062841997
    398 rdf:type schema:CreativeWork
    399 https://doi.org/10.1137/0217058 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062842077
    400 rdf:type schema:CreativeWork
    401 https://doi.org/10.1137/s0097539793251219 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062879834
    402 rdf:type schema:CreativeWork
    403 https://doi.org/10.1137/s0097539794266766 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062879931
    404 rdf:type schema:CreativeWork
    405 https://doi.org/10.1137/s009753979629766 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062880089
    406 rdf:type schema:CreativeWork
    407 https://doi.org/10.1137/s0097539799360768 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062880347
    408 rdf:type schema:CreativeWork
    409 https://doi.org/10.1145/230514.571645 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009278694
    410 rdf:type schema:CreativeWork
    411 https://doi.org/10.1145/256292.256295 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011788245
    412 rdf:type schema:CreativeWork
    413 https://doi.org/10.1145/322217.322221 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052841577
    414 rdf:type schema:CreativeWork
    415 https://doi.org/10.1145/343369.343376 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020836578
    416 rdf:type schema:CreativeWork
    417 https://doi.org/10.1145/343369.343386 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042672410
    418 rdf:type schema:CreativeWork
    419 https://doi.org/10.1145/347476.347477 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047239108
    420 rdf:type schema:CreativeWork
    421 https://doi.org/10.1145/362084.362136 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003401002
    422 rdf:type schema:CreativeWork
    423 https://doi.org/10.1145/371282.371388 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041427652
    424 rdf:type schema:CreativeWork
    425 https://doi.org/10.1145/382780.382783 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047292408
    426 rdf:type schema:CreativeWork
    427 https://doi.org/10.1145/502090.502100 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014690680
    428 rdf:type schema:CreativeWork
    429 https://doi.org/10.1145/504077.504079 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037394134
    430 rdf:type schema:CreativeWork
    431 https://doi.org/10.1145/601858.601869 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051456921
    432 rdf:type schema:CreativeWork
    433 https://doi.org/10.1145/602220.602222 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045379308
    434 rdf:type schema:CreativeWork
    435 https://doi.org/10.1145/602220.602223 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035178712
    436 rdf:type schema:CreativeWork
    437 https://doi.org/10.1145/637411.637428 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041277830
    438 rdf:type schema:CreativeWork
    439 https://doi.org/10.1145/876638.876642 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051418780
    440 rdf:type schema:CreativeWork
    441 https://doi.org/10.2178/bsl/1182353853 schema:sameAs https://app.dimensions.ai/details/publication/pub.1069254595
    442 rdf:type schema:CreativeWork
    443 https://doi.org/10.2178/bsl/1182353894 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025463923
    444 rdf:type schema:CreativeWork
    445 https://doi.org/10.2307/2266510 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037559057
    446 rdf:type schema:CreativeWork
    447 https://doi.org/10.2307/2272133 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039425526
    448 rdf:type schema:CreativeWork
    449 https://doi.org/10.2307/2272945 schema:sameAs https://app.dimensions.ai/details/publication/pub.1069855996
    450 rdf:type schema:CreativeWork
    451 https://doi.org/10.2307/2273594 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008392344
    452 rdf:type schema:CreativeWork
    453 https://doi.org/10.2307/2274958 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040533451
    454 rdf:type schema:CreativeWork
    455 https://doi.org/10.2307/2586810 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037247412
    456 rdf:type schema:CreativeWork
    457 https://doi.org/10.2307/2695063 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007311350
    458 rdf:type schema:CreativeWork
    459 https://doi.org/10.2307/2695073 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051868562
    460 rdf:type schema:CreativeWork
    461 https://doi.org/10.2307/3616954 schema:sameAs https://app.dimensions.ai/details/publication/pub.1102044411
    462 rdf:type schema:CreativeWork
    463 https://doi.org/10.2307/421173 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046611207
    464 rdf:type schema:CreativeWork
    465 https://doi.org/10.2307/421196 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041984319
    466 rdf:type schema:CreativeWork
    467 https://doi.org/10.4064/aa-9-4-331-340 schema:sameAs https://app.dimensions.ai/details/publication/pub.1091701319
    468 rdf:type schema:CreativeWork
    469 https://doi.org/10.4064/fm-47-1-57-103 schema:sameAs https://app.dimensions.ai/details/publication/pub.1091702670
    470 rdf:type schema:CreativeWork
    471 https://doi.org/10.4064/fm-49-2-129-141 schema:sameAs https://app.dimensions.ai/details/publication/pub.1091702724
    472 rdf:type schema:CreativeWork
    473 https://www.grid.ac/institutes/grid.17063.33 schema:alternateName University of Toronto
    474 schema:name Department of Computer Science, University of Toronto, M5S 3H5, Toronto, ON, Canada
    475 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...