{"entities":{"Q2931804":{"pageid":2942524,"ns":120,"title":"Item:Q2931804","lastrevid":52145777,"modified":"2026-01-21T00:56:24Z","type":"item","id":"Q2931804","labels":{"en":{"language":"en","value":"Views, compositional reasoning for concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374681"}},"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":"Q2931804$A7DD2106-DECD-4032-BFDE-6B02B3DB6310","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fd12de9d4a067d6324b24b56154c5c432832ee3","datavalue":{"value":{"text":"Views","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931804$FDE8D8B9-FB45-4E07-B209-EBC632467EEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b91ef0a289b6f14d8c6206cdc62a99be1bc14d5c","datavalue":{"value":"1301.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931804$B2E4C6AF-4705-4DC4-AF1C-300408FA9A52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52250286f65a54aff10e480b841854f70dd07d27","datavalue":{"value":"10.1145/2429069.2429104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931804$D565103E-DA44-4E0C-B7FE-7135A28F9B51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"478b1cc077659b300d5df2d6d7ad6015aac688d4","datavalue":{"value":{"entity-type":"item","numeric-id":964498,"id":"Q964498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931804$4D3A4FCB-74AC-489C-8B6B-C44D0ADF74F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a0eb51f415e5d6830c006f29bf0f051478fa880","datavalue":{"value":{"entity-type":"item","numeric-id":283752,"id":"Q283752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931804$D173812A-0E78-4AA1-B681-3709545EF0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd33ff146caa74aefde0dc36311b64aaa0675018","datavalue":{"value":{"entity-type":"item","numeric-id":2151271,"id":"Q2151271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931804$E19686E1-2CD6-4715-A69D-7C008E772DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2120a534f513a754fc1f7bac3ebe0b6f755e7a","datavalue":{"value":{"entity-type":"item","numeric-id":300406,"id":"Q300406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931804$4FF9F50F-4C01-404A-AD68-5DF5CAE3C192","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":"Q2931804$D45F901F-C334-4B47-BA55-7DB58BA27137","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931804$79E6EFD7-80D0-4892-8AFA-F86BEE39DAE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931804$98D3CFC4-BF12-41D6-A4F6-CE40C8B35C38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931804$4312E06D-38E7-446A-958E-4B41DFC0ACF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931804$3FEE946B-785F-4852-B0A1-AF800BFDC624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931804$153AF4D5-2FCA-46BD-9DF8-F9FAA5CEF4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931804$77B026C9-DE25-4326-8592-01B5AADDD17B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5653bfa9b3d3d00d630c22e6e7b8c20900e58aeb","datavalue":{"value":"6374681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931804$3EBEF481-A251-4D12-8BA9-61E22345566C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c078ac6b4aa6494d6d5c36981e624a189730ba5a","datavalue":{"value":"axiomatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931804$23D15C47-DC69-4268-AC24-38157293366F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9062a19f85971c14b4d71d981f064b7b13591","datavalue":{"value":"compositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931804$8FE62B43-9859-42E0-A81D-545BFA67CD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931804$07517833-DDCA-4617-B5E8-E4CD5229C567","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":"Q2931804$966D41CE-D08B-42A0-985A-084EAA0DDE56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3f09162b405279c5348d02c53c015ecfbf513cd","datavalue":{"value":"https://doi.org/10.1145/2429069.2429104","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931804$14AC185C-C6FC-47E1-8659-A10F5B10E8B7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d3e993c8936a73ce789231ad6c079ef8f92aa16","datavalue":{"value":"W2150224578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931804$B522A78A-5B4D-4ECD-B599-9FE69B0441E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b57fb6a949a7520031753c5fe3ff2fa24536ae47","datavalue":{"value":{"entity-type":"item","numeric-id":2814615,"id":"Q2814615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"914c1d0be08fc5af9ac869b930aa3afcd9f5f04d","datavalue":{"value":{"amount":"+0.8835169076919556","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":"Q2931804$DFFE7131-DD99-44DB-8170-424FEBEFC4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbbe5f51c282ed5d80030a98cdb99419f730068b","datavalue":{"value":{"entity-type":"item","numeric-id":5900581,"id":"Q5900581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40eba814965a5359d51ed42052bd453d605ab9d2","datavalue":{"value":{"amount":"+0.7765119075775146","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":"Q2931804$0D8B8870-AF4D-49E2-8E0F-26F5AA5A786A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3709436caebdb389c9afab90636fadf4b733f94","datavalue":{"value":{"entity-type":"item","numeric-id":3725529,"id":"Q3725529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8bea363edb6f67a5171a9a3976fe5796de8da41","datavalue":{"value":{"amount":"+0.7640102505683899","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":"Q2931804$C055C4A0-9891-47F4-884E-BE76C205CF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39542ec6c733d1d5173c29b1faf2f819970a79de","datavalue":{"value":{"entity-type":"item","numeric-id":2802462,"id":"Q2802462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a3e9ba24d66ee082f6f32bcbdc259fee540d4b","datavalue":{"value":{"amount":"+0.7571254372596741","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":"Q2931804$2ACBC579-E352-4277-ACE8-B767A352DDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e7f2fa86319898784ab1c1ddf715aaf9c6d04f","datavalue":{"value":{"entity-type":"item","numeric-id":2024370,"id":"Q2024370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"845af1318c119e4a4ee417354ceae4586d21e778","datavalue":{"value":{"amount":"+0.749842643737793","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":"Q2931804$F1416A35-EAA8-42BC-B764-2ED601ADF3DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931804"}}}}}