{"entities":{"Q5501458":{"pageid":7531018,"ns":120,"title":"Item:Q5501458","lastrevid":52319744,"modified":"2026-01-21T10:50:48Z","type":"item","id":"Q5501458","labels":{"en":{"language":"en","value":"Polymorphism and separation in Hoare type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6469470"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501458$1F10D143-FA15-4138-B958-B10795BB5D6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac61cd2dd3befce48c2ff9b28d9b5805c45b9fb3","datavalue":{"value":{"text":"Polymorphism and separation in hoare type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5501458$EB321970-2C45-4131-AAF9-23362D8B9819","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4dbe46b166d85d31b77679c02cbaa05988763ad","datavalue":{"value":"1321.68351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501458$C32E0D75-E99A-459A-BDEE-9DC7FA103395","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74182d2b3ffee7ddf1957198c634ce8bcf6e622d","datavalue":{"value":"10.1145/1159803.1159812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501458$4DB11085-2324-4142-AFCF-61841D8D89D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b248d705e0b51ec4722970eaa46ae5f39664514d","datavalue":{"value":{"entity-type":"item","numeric-id":1426867,"id":"Q1426867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501458$1FB417B7-3208-4DE6-B59B-19FE17F994BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1380f7d0e077e40df5a34bb335939f3c6ce8766c","datavalue":{"value":{"entity-type":"item","numeric-id":617975,"id":"Q617975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501458$FCFE1F21-762F-4F72-9713-4788F2191C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501458$90E6F0D6-707B-43FE-9FA8-281B44DA8AEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b69415f9cb2bdcd5ee0c076af334d1a1d2499c85","datavalue":{"value":{"entity-type":"item","numeric-id":5501454,"id":"Q5501454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501458$7CC9AAA3-8208-4105-B4BA-B636E812D0F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80468e64804c1b89fefb2ee4bac60a8b1364b55b","datavalue":{"value":{"time":"+2015-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5501458$F3B991D9-1B70-4183-8787-E6441B3584F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"655c1c19a2b3283ecfbc551acb70b855ba48308f","datavalue":{"value":"http://nrs.harvard.edu/urn-3:HUL.InstRepos:24947964","type":"string"},"datatype":"url"},"type":"statement","id":"Q5501458$EE547754-C9A5-471F-8B65-1F371C08C404","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501458$C912B9F7-7B77-4534-990D-32AA37BEBE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501458$CD17C470-F563-4336-8C56-D1867719EEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501458$A122F627-D309-4233-93A3-39603E34230C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48ee5674546af41bbb81ebcf31a37f2823ceef50","datavalue":{"value":"6469470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501458$6CC9CCC4-D8EB-4B82-9BE3-46907355F48E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501458$12D0FF7C-694B-4B35-9BEA-ED392CCEBB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501458$FA9AB43A-A34F-4CFE-B732-580C5B038F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501458$9EE879D8-3ABE-4536-B1C2-43F6BA674480","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501458$5BAC1603-0EFD-48B8-9A1D-7EAE9D40749D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cdb664299a30f9423b2191beff7870ab4ddf3f1","datavalue":{"value":"W2109772966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501458$185D1DE0-0E2D-4BA0-B6CE-A17EA661631C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c47880516f707ba6410e1a576d8d82dd772390e","datavalue":{"value":{"entity-type":"item","numeric-id":3546051,"id":"Q3546051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa3cfc4e2a324ecb13614708665261a5abd5396","datavalue":{"value":{"amount":"+0.870438277721405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5501458$37E243AF-9938-41F4-869A-ACE13FB8610D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b8c3575582b3cfd26d7c7ebb115082f813d8c34","datavalue":{"value":{"entity-type":"item","numeric-id":5756495,"id":"Q5756495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a6a57a445dc5a71a335b1201cf7a22a80132c31","datavalue":{"value":{"amount":"+0.7806923985481262","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5501458$BE55A9C8-BEA8-41F3-A469-EDD91A38A71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06d9bc390ffde116272ec5536f0ea29af5f8e29e","datavalue":{"value":{"entity-type":"item","numeric-id":5458408,"id":"Q5458408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4efc917e2ced51663be0877762ac8f192b9cb22","datavalue":{"value":{"amount":"+0.7348986268043518","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5501458$2F0D4406-BFDA-4C08-A197-3BAD4F3434C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39a7c6192a5b245a93f879cd314ed0a6c251dab6","datavalue":{"value":{"entity-type":"item","numeric-id":5915785,"id":"Q5915785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32fee11eafd49bd5c4129b83d79dd6af64c212d5","datavalue":{"value":{"amount":"+0.726563036441803","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5501458$387A0CDA-75FE-4839-B8F2-E9AA0D165F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6569b8beee14550e5dac0c42d664c688bec80b89","datavalue":{"value":{"entity-type":"item","numeric-id":5919584,"id":"Q5919584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b94f1a9d6cf0a5d37a607affb4657387227949","datavalue":{"value":{"amount":"+0.725602924823761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5501458$16B237C2-E862-4E28-B29A-148A7AF66F32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5501458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5501458"}}}}}