{
  "@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:I00035767000",
      "@type": [
        "http://id.loc.gov/ontologies/bibframe/Instance",
        "CreativeWork"
      ],
      "datePublished": "2005",
      "exampleOfWork": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00035767000"
      },
      "identifier": [
        {
          "@id": "_:ub21516bL15C31"
        },
        {
          "@id": "_:ub21516bL19C31"
        },
        {
          "@id": "_:ub21516bL11C31"
        }
      ],
      "isPartOf": [
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI"
        },
        {
          "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00082440800"
        }
      ],
      "isbn": "9521214937",
      "name": "Refinement algebra extended with operators for enabledness and termination",
      "numberOfPages": "23, [3] s.",
      "publication": {
        "@id": "_:ub21516bL27C31"
      },
      "publisher": {
        "@id": "http://urn.fi/URN:NBN:fi:au:cn:68949A"
      },
      "rdau:P60048": {
        "@id": "http://rdaregistry.info/termList/RDACarrierType/1049"
      },
      "rdau:P60050": {
        "@id": "http://rdaregistry.info/termList/RDAMediaType/1007"
      }
    },
    {
      "@id": "_:ub21516bL15C31",
      "@type": "PropertyValue",
      "propertyID": "skl",
      "value": "fx798422"
    },
    {
      "@id": "_:ub21516bL19C31",
      "@type": "PropertyValue",
      "propertyID": "FI-MELINDA",
      "value": "000357670"
    },
    {
      "@id": "_:ub21516bL27C31",
      "location": {
        "@id": "_:ub21516bL27C51"
      },
      "organizer": {
        "@id": "http://urn.fi/URN:NBN:fi:au:cn:68949A"
      }
    },
    {
      "@id": "_:ub21516bL27C51",
      "name": "Turku"
    },
    {
      "@id": "_:ub21516bL11C31",
      "@type": "PropertyValue",
      "propertyID": "FI-FENNI",
      "value": "798422"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00035767000",
      "@type": [
        "CreativeWork",
        "http://id.loc.gov/ontologies/bibframe/Work"
      ],
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000131677"
      },
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000063561"
      },
      "inLanguage": "en",
      "isPartOf": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI"
      },
      "name": "Refinement algebra extended with operators for enabledness and termination",
      "rdau:P60049": {
        "@id": "http://rdaregistry.info/termList/RDAContentType/1020"
      },
      "workExample": {
        "@id": "http://urn.fi/URN:NBN:fi:bib:me:I00035767000"
      }
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00082440800",
      "name": [
        "TUCS tech. rep",
        "Turku Centre for Computer Science technical reports",
        "TUCS technical report",
        "TUCS technical reports",
        "Turku Centre for Computer Science general publications",
        "TUCS gen. publ",
        "TUCS general publication",
        "TUCS general publications",
        "TUCS technical report, 1239-1891"
      ]
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:au:pn:000063561",
      "name": "Wright, Joakim von"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:au:pn:000131677",
      "name": "Solin, Kim"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:CFENNI",
      "name": "Fennica"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:au:cn:68949A",
      "name": "Turun tietotekniikan tutkimus- ja koulutuskeskus"
    }
  ]
}