{"entities":{"Q2971178":{"pageid":2981903,"ns":120,"title":"Item:Q2971178","lastrevid":52775264,"modified":"2026-01-23T11:42:56Z","type":"item","id":"Q2971178","labels":{"en":{"language":"en","value":"UTP semantics of reactive processes with continuations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6700460"}},"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":"Q2971178$3295A073-7389-4D6A-8D9F-674FAF39F215","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d9cfd6af852a05427e68995a8bfcaaf1f275f81","datavalue":{"value":{"text":"UTP Semantics of Reactive Processes with Continuations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2971178$1AB9B7FF-0B8D-49A7-A826-FC8C78F2C772","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"055dcb5eb07c9e895971d8826fa74326fbb2d150","datavalue":{"value":"1483.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971178$CF28E5D0-1D04-4564-B3A6-FCBC75F7993D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"637c7edbe85ebcbe41813e561f0aba54ab65ddc1","datavalue":{"value":"10.1007/978-3-319-52228-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971178$91610F2F-AAD5-4639-B091-6BE50956BA25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"910bc21ce3a3b4e0b0534549ac6b2e0c8d6c4e82","datavalue":{"value":{"entity-type":"item","numeric-id":1982649,"id":"Q1982649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971178$16C45A09-250A-4E5D-82D3-AFDB79ECFA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971178$A35BA232-7ED5-4609-92BE-35F9055E5459","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a469690149bc3cf60335251215f8201e92d3e50c","datavalue":{"value":{"entity-type":"item","numeric-id":2814611,"id":"Q2814611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971178$90EF9A0C-CCF8-49CA-AB96-21646C794F7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59c8949104cb3355067f12c7ef2dbd734933f3b0","datavalue":{"value":{"time":"+2017-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2971178$CD55641A-E61F-4397-BB1D-32A3DC2815D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971178$92FCCC7E-19DB-4DE3-9133-C19787F5B6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971178$0EB50666-1FA1-4A3D-A43D-DF9E5F5FD617","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d699d668edf0293cc7379223a116137a1b7dd4d","datavalue":{"value":"6700460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971178$AC813417-DC29-4326-896E-12CE9B5B8D50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e24821d94cc8c80abb5ca9331a432b22abfec884","datavalue":{"value":"continuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2971178$C1B3658D-12EC-4DBB-9FE7-1BE8C5EEEB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2971178$9C0F0C26-DF95-4848-A746-F18CC6E24AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03a0d2848f7e13e5373d661d808855d0d8662087","datavalue":{"value":"UTP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2971178$053A7F19-3EB2-402E-BB03-609297410CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2971178$62DE0D73-2FFB-49D7-8175-D8EEC452298D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db020549b426f1dfb38f0902ca9dbc37f8661803","datavalue":{"value":"reactive processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2971178$4B23B439-947E-4A22-867E-D82CC5A7BEC5","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":"Q2971178$E73E70E7-A917-44A3-B7AE-9009DB55EFC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"416c4cd74b6527c6ee9b2c34eee541327ad47752","datavalue":{"value":"https://doi.org/10.1007/978-3-319-52228-9_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2971178$C3AB54BB-6D61-4A17-9D3A-A6D8A2D8FD6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cdc7457a56686214fc379919b4e505fe7d043c0","datavalue":{"value":"W2570219238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2971178$D0BC7D42-B802-4D5F-8D92-021F01F05517","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e451b0339876f0a92875e49346cdc0622e878095","datavalue":{"value":{"entity-type":"item","numeric-id":2767980,"id":"Q2767980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971178$DB386158-8E45-4C48-AD54-97913F5BAA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971178$8DA1560F-88EB-445C-ACB3-9326340234C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611763d2fcd03e69808ce508606999f7c20bfcd4","datavalue":{"value":{"entity-type":"item","numeric-id":5313098,"id":"Q5313098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971178$2A545AFB-E077-48BF-9694-58C9FB73B679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893a6aaec28db0746fe0bc3a68e85e5a3613dfc9","datavalue":{"value":{"entity-type":"item","numeric-id":4412473,"id":"Q4412473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971178$F893965F-C61D-4680-AD33-E8C0A4646433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b2e4f24d0cbbeb99bfdea518dac864a70fefd8","datavalue":{"value":{"entity-type":"item","numeric-id":1566886,"id":"Q1566886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971178$2B48678B-BB0E-41CF-867B-DC77FFACCF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfbd20273cdb9cba4b3fd91adcfc510148e77fe","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2971178$DE278104-E68F-433E-BB37-00595CA50830","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c80014a07d467f1319ebdaf0ef7906b0242a58","datavalue":{"value":{"entity-type":"item","numeric-id":1178704,"id":"Q1178704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e371c7b014277751db81f8f37fb284588d275fb1","datavalue":{"value":{"amount":"+0.7353990077972412","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":"Q2971178$2F1E021D-5623-4112-B0B9-DC8244EE4F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c73ec9f7819b442a7b234d3219f7d2a04ac5fec","datavalue":{"value":{"entity-type":"item","numeric-id":1982650,"id":"Q1982650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c9d23539035778d800f8eaac46c6a7e8a81c0a","datavalue":{"value":{"amount":"+0.7326644659042358","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":"Q2971178$5CFCF421-9866-4E70-A859-77A6F98C2120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcfe326bd4625aadcf7e3cbd1a3a72b627a62357","datavalue":{"value":{"entity-type":"item","numeric-id":1708268,"id":"Q1708268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8466876c7c68d9a258695f2c3afb91fec1cae94c","datavalue":{"value":{"amount":"+0.7124679088592529","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":"Q2971178$812293A1-8312-48A2-93C8-4C4BE34EAB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551525e508f2410e9d50d1396bfb3d79a75b813b","datavalue":{"value":{"entity-type":"item","numeric-id":5045469,"id":"Q5045469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3cf0ad055b028c611c9b8ee670d506cac2e51bc","datavalue":{"value":{"amount":"+0.7092240452766418","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":"Q2971178$7C180CE5-082F-4484-963C-25BCC9C45E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b2bd5e6e053311712022fc12b2369d70522a55","datavalue":{"value":{"entity-type":"item","numeric-id":5505599,"id":"Q5505599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f079f8f72d809cb7f4438e123735fc025b47f0","datavalue":{"value":{"amount":"+0.708000123500824","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":"Q2971178$7BA687AE-229B-4A35-BEDF-02776DE235A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2971178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2971178"}}}}}