{
  "@context": {
    "@vocab": "http://schema.org/",
    "rdau": "http://rdaregistry.info/Elements/u/",
    "skos": "http://www.w3.org/2004/02/skos/core#",
    "skos:prefLabel": {
      "@container": "@language"
    }
  },
  "@graph": [
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00394844800",
      "@type": [
        "http://id.loc.gov/ontologies/bibframe/Work",
        "CreativeWork"
      ],
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000134561"
      },
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:cn:160470A"
      },
      "inLanguage": "en",
      "isPartOf": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI"
      },
      "name": "Structure-based satisfiability checking : analyzing and harnessing the potential",
      "rdau:P60049": {
        "@id": "http://rdaregistry.info/termList/RDAContentType/1020"
      },
      "workExample": [
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00394844800"
        },
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00394844801"
        }
      ]
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:au:cn:28789A",
      "name": "Teknillinen korkeakoulu"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI",
      "name": "Fennica"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00564887400",
      "name": [
        "TKK Dissertations in information and computer science",
        "TKK disssertions in information and computer science",
        "TKK dissertations in information and computer science",
        "TKK Dissertations in Information and Computer Science",
        "TKK dissertations in information and computer sciences"
      ]
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:au:cn:160470A",
      "name": "Teknillinen korkeakoulu. Tietojenkäsittelytieteen laitos"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:au:pn:000134561",
      "name": "Järvisalo, Matti"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00394844801",
      "@type": [
        "CreativeWork",
        "http://id.loc.gov/ontologies/bibframe/Instance"
      ],
      "description": "Myös verkkoaineistona ISBN 978-951-22-9642-2",
      "exampleOfWork": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00394844800"
      },
      "isPartOf": [
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI"
        },
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00564887400"
        }
      ],
      "name": "Structure-based satisfiability checking : analyzing and harnessing the potential"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00394844800",
      "@type": [
        "CreativeWork",
        "http://id.loc.gov/ontologies/bibframe/Instance"
      ],
      "datePublished": "2008",
      "description": [
        "kuvitettu",
        "Tiivistelmä ja 7 erip."
      ],
      "exampleOfWork": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00394844800"
      },
      "identifier": [
        {
          "@id": "_:ub9245bL18C31"
        },
        {
          "@id": "_:ub9245bL26C31"
        },
        {
          "@id": "_:ub9245bL22C31"
        }
      ],
      "isPartOf": [
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00564887400"
        },
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI"
        }
      ],
      "isbn": "9789512296415",
      "name": "Structure-based satisfiability checking : analyzing and harnessing the potential",
      "numberOfPages": "xiii, 94, [133] sivu",
      "publication": {
        "@id": "_:ub9245bL34C31"
      },
      "publisher": {
        "@id": "http://urn.fi/URN:NBN:fi:au:cn:28789A"
      },
      "rdau:P60048": {
        "@id": "http://rdaregistry.info/termList/RDACarrierType/1049"
      },
      "rdau:P60050": {
        "@id": "http://rdaregistry.info/termList/RDAMediaType/1007"
      }
    },
    {
      "@id": "_:ub9245bL18C31",
      "@type": "PropertyValue",
      "propertyID": "FI-MELINDA",
      "value": "003948448"
    },
    {
      "@id": "_:ub9245bL34C31",
      "location": {
        "@id": "_:ub9245bL34C51"
      },
      "organizer": {
        "@id": "http://urn.fi/URN:NBN:fi:au:cn:28789A"
      }
    },
    {
      "@id": "_:ub9245bL34C51",
      "name": "Espoo"
    },
    {
      "@id": "_:ub9245bL26C31",
      "@type": "PropertyValue",
      "propertyID": "skl",
      "value": "fx904085"
    },
    {
      "@id": "_:ub9245bL22C31",
      "@type": "PropertyValue",
      "propertyID": "FI-FENNI",
      "value": "904085"
    }
  ]
}