{"entities":{"Q5370857":{"pageid":7400431,"ns":120,"title":"Item:Q5370857","lastrevid":52933670,"modified":"2026-01-23T20:33:23Z","type":"item","id":"Q5370857","labels":{"en":{"language":"en","value":"A relational model of types-and-effects in higher-order concurrent separation logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794654"}},"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":"Q5370857$22E4637F-F275-42F9-B8B7-207DA490DFA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72c3718b5d55454d3321cdc2a83372a4ac8cbb8f","datavalue":{"value":{"text":"A relational model of types-and-effects in higher-order concurrent separation logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370857$A244E8E8-310A-4F76-B9B1-16ED4D3E84EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b6221339ee6f00b62555003fb1d97fc9ebf0171","datavalue":{"value":"1380.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370857$E35FB1EC-99A3-4107-8CFC-3B638E891B91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07f61353a527691590245c9820036e49ba352274","datavalue":{"value":"10.1145/3009837.3009877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370857$7954C389-9EAA-4413-982C-1E9AB1754890","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee98d8a6a97e862fe824b828fad8584cf7dd64d0","datavalue":{"value":{"entity-type":"item","numeric-id":5041097,"id":"Q5041097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370857$B9EE508C-0336-4B69-82A7-6B683A0E3664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32a852dd13c129712c151cef4e3381588e180803","datavalue":{"value":{"entity-type":"item","numeric-id":2323982,"id":"Q2323982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370857$71A96AF0-7506-4AF9-B1F4-6505CE44D005","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":"Q5370857$A3B71031-C8DF-4060-95B0-CC937EEC3228","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370857$F323A7BA-3A69-4BB0-A068-BD2347A5E356","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370857$E3FB0F3B-B973-4D79-AB87-F6D3257B921E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370857$717AED5F-823C-435C-8C51-3C315C4862A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370857$00354031-E45C-42C0-B12A-810B55CEA74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370857$D55DD6DA-EC2E-4C45-B606-179573748A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370857$4B8F737F-F08E-417D-8DDA-997CDBE56576","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e22817c4c4644a24052c7c961c7f0475ae51d46","datavalue":{"value":"6794654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370857$4E37F012-9F3F-44AD-9615-36606D221A05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370857$D3D2AFA5-07BC-431F-AD6A-CE4071E6A134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"400072bdf43b5ac5cc2fb2e8e15c550aaf3d8d8b","datavalue":{"value":"automatic parallelisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370857$F9B3C2D3-B452-40A3-BCC8-D24AE9828C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370857$6912966F-C7F9-4291-AD4C-D72AFE9E55ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370857$CD6759DF-0289-4499-AD59-8A47E1382584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3c0f3af3980268b80096b353f0e578741e691f7","datavalue":{"value":"type-and-effect system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370857$E197E0DB-784E-4912-BF42-DB6AE8AD2D91","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":"Q5370857$2FD788CE-0F88-47F0-A63D-C48FF66F3BE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f8c50030cda1a5a5263eb2fe2f7e8d7593f18e6","datavalue":{"value":"https://doi.org/10.1145/3009837.3009877","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370857$38A26241-B819-4B00-B46C-CF9294A1B80B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0365cdbdf5b172f5efb0dd8d39f079825c3e4b01","datavalue":{"value":"W2567502494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370857$EDFCCECD-E4A8-44A0-A12C-3276507298EB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d979c708b33262e5ae5c610ae1cb78cd66af176f","datavalue":{"value":"Q130857636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370857$D7031BB0-376E-4317-A2DC-B90B85ED895D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36393a0594559eb21044445851122896e219110d","datavalue":{"value":{"entity-type":"item","numeric-id":4649541,"id":"Q4649541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c270d119a52d037b8117af0d5f2c4b34e6b57b6e","datavalue":{"value":{"amount":"+0.813164234161377","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":"Q5370857$F53776F5-0259-427C-9DF5-241D43D7657E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a46eb8b7ed29459c330f11eac1e5bbe6fa9841b","datavalue":{"value":{"entity-type":"item","numeric-id":2988673,"id":"Q2988673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e4febcdf319943ae285e30d546a96ed5ebf6a0","datavalue":{"value":{"amount":"+0.7522504925727844","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":"Q5370857$41028117-28E4-4917-8489-2EA1A7FF63FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250a748e2c5b8856913fb30a63685f780a6afee2","datavalue":{"value":{"entity-type":"item","numeric-id":5261277,"id":"Q5261277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7b5b2c9c6511c86337ca9fd4f49f02dc1a704d","datavalue":{"value":{"amount":"+0.7509585022926331","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":"Q5370857$EE7190C6-1494-498B-9C6D-46F8880AEC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"904f5390cbf74a2c9f20f3b84937df1850b58780","datavalue":{"value":{"entity-type":"item","numeric-id":5176994,"id":"Q5176994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf3a3f990bc65db476d08f3c992cac14abeefb7","datavalue":{"value":{"amount":"+0.7508837580680847","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":"Q5370857$80DCBBC2-580B-491C-8927-F43BA3E36793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"949707000fab69b1d10d52327301950a9fd5c6bc","datavalue":{"value":{"entity-type":"item","numeric-id":5145319,"id":"Q5145319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74f0f95266bf10b0225e89795b41152b7866c35","datavalue":{"value":{"amount":"+0.7463530898094177","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":"Q5370857$74290A9A-A741-425A-8964-1D475DFAF3DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370857","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370857"}}}}}