{"entities":{"Q2350494":{"pageid":2361237,"ns":120,"title":"Item:Q2350494","lastrevid":78855566,"modified":"2026-05-06T12:35:38Z","type":"item","id":"Q2350494","labels":{"en":{"language":"en","value":"Denotational fixed-point semantics for constructive scheduling of synchronous concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6449990"}},"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":"Q2350494$4E163301-763F-499D-A7D0-BE57284470B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8a07c9b3fb9c12ef207ba6ec40f5af6f1f872e9","datavalue":{"value":{"text":"Denotational fixed-point semantics for constructive scheduling of synchronous concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2350494$A5049B3F-B955-4CCF-971C-6A45DE4450C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3865d1c59e053f30e16e69af408c18a8a9655ba0","datavalue":{"value":"1325.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350494$2D80CD1A-E588-4467-92D8-34699E366C73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5df9fc7d0550119a1d93fd411470833995ab03e9","datavalue":{"value":{"entity-type":"item","numeric-id":631752,"id":"Q631752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$0F284FBC-7D7A-4B87-A33D-C13ACBD902DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04db4e76afd2cfb9a7b7465aba3c3f1bfee9640","datavalue":{"value":{"entity-type":"item","numeric-id":453536,"id":"Q453536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$D1DE0C18-25F1-41C1-B260-9133CAFD7946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9689e5f8ed67ae45e03ccd1d462c59feca7e5e","datavalue":{"value":{"entity-type":"item","numeric-id":2075764,"id":"Q2075764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$1E9DEB4C-3C61-4A84-A08B-575173B30300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cb896401d6ba239188dd675be6e37ae4bba1f59","datavalue":{"value":{"entity-type":"item","numeric-id":2350493,"id":"Q2350493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$9B2F5B41-EDA4-49F5-9E41-F1460BC235BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$00138919-5237-4941-9D3F-2CA1D9201972","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"354c0581a3debbff4659a60277ac3936b006a9c4","datavalue":{"value":{"time":"+2015-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2350494$81BCD383-CC87-4F06-BF13-85A4A0070616","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f93a4e3d9d1d1760a3f4114edb70c6d9ff773da","datavalue":{"value":"https://macau.uni-kiel.de/receive/macau_mods_00002000","type":"string"},"datatype":"url"},"type":"statement","id":"Q2350494$F5716983-4552-4C1C-9CF5-EF64C16D7730","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350494$96DA91F7-510A-430F-97B0-C3965073930A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350494$F95B96A4-EAEC-4679-8592-3BE5BE3B83E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350494$B0E5411F-4E58-43E4-BF45-1C41324D8AC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96d397e69be3422b19a4b0e93be16f6b84bf6f9d","datavalue":{"value":"6449990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350494$0752F2E2-ACC7-4B37-962C-7071548F7207","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a7ad1390f523aa6d3752139ed2c9baccf017a3a","datavalue":{"value":{"entity-type":"item","numeric-id":21870,"id":"Q21870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$687025A0-10AE-49AF-A10E-376FB3944BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"692549050d1bcf7f893cd2ef126329e66dbd37cf","datavalue":{"value":{"entity-type":"item","numeric-id":16529,"id":"Q16529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$AD012A92-2408-458B-A694-E2B752797B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc062e2d311aa84366365333d09c3a4e32b41bc","datavalue":{"value":{"entity-type":"item","numeric-id":20934,"id":"Q20934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$0681BD75-3D51-4805-A19E-8BC6D87F17F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$B1F7C6B0-8C67-4124-8668-8AEA0DC10D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"652247aac521170d351aa6c863d3ef5d97bea9a8","datavalue":{"value":{"entity-type":"item","numeric-id":38629,"id":"Q38629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$F2BEBA8A-D435-47DE-B71F-F03D924DECEC","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":"Q2350494$DF09D2AB-0125-4D6C-BA47-9850B26C53CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49da1fde441c9f4d3934d57f36ca3256b7680e98","datavalue":{"value":"W597329005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350494$EDFF5511-EC97-45C6-BF4F-936572814806","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$650AC9EE-9BF5-42F5-90E3-BA15890C80B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb3346e0185c1da292aeff371bc111936059633","datavalue":{"value":{"entity-type":"item","numeric-id":2506486,"id":"Q2506486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$54ECB84D-9328-4896-97F1-5FF273D8B304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d79f6c0ee1f94514007e907e07509a2cc8761e2","datavalue":{"value":{"entity-type":"item","numeric-id":631753,"id":"Q631753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$A7C4710B-C319-4440-BFF4-CD580F88B5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab819efe3e1123a9cf63fa016c8eaec116ce576e","datavalue":{"value":{"entity-type":"item","numeric-id":5410702,"id":"Q5410702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$952108A7-39BE-413D-9869-DE0825779350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e117201a15ae9d55c9a95d79bd1584503cd2a02","datavalue":{"value":{"entity-type":"item","numeric-id":2350494,"id":"Q2350494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$ACE731C1-A3EA-491D-95B8-89150B3A3DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$21A93D28-3A4D-4F39-BC75-0D1B406B79D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6efd4196869bcb01284f4ae6c00a458053f25a15","datavalue":{"value":{"entity-type":"item","numeric-id":1854388,"id":"Q1854388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$D3746B43-4776-408D-8D71-AE6AC4486267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$0E4BBD8C-8E07-4032-BAF4-B5751075C8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14434980a95ceb881af47789f59a588cca3d5a2a","datavalue":{"value":{"entity-type":"item","numeric-id":1400471,"id":"Q1400471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$328393FF-182D-4C66-825D-86406A2D95D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d357a0359359f800317bcc63c36bf1381fbc16","datavalue":{"value":{"entity-type":"item","numeric-id":3741042,"id":"Q3741042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$6E5161C7-6CEE-4483-B378-DFC46CF3B894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636c6e298e946a12286cca69c377fdc40d027e7d","datavalue":{"value":{"entity-type":"item","numeric-id":3971259,"id":"Q3971259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$7A399B57-A84A-491A-9A23-2D299BA4A008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28016e3a0c64e8839ec486b91fa1be35c8d3e3df","datavalue":{"value":{"entity-type":"item","numeric-id":4222947,"id":"Q4222947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$531B773E-C50A-4BEF-B09A-F942099A39AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c9ed988475b647ba61843e60fda3d5ec0e38681","datavalue":{"value":{"entity-type":"item","numeric-id":6044116,"id":"Q6044116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$BCE005F9-5C1F-4495-A119-17E21C10C0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"726d30e21a4e742a4800730cc4b152130be579f8","datavalue":{"value":{"entity-type":"item","numeric-id":5348923,"id":"Q5348923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$DA954E00-D2CD-43B1-ACE3-FB4C6D22FF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$BCD2C415-B75E-4B65-BC31-1AF18387A3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00e771eaf6cfabe897ebd1c9c4cb249f3c9b2d9","datavalue":{"value":{"entity-type":"item","numeric-id":3587261,"id":"Q3587261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$64DB2ADE-E973-4FAC-9A8B-58DC7B5B0AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df25916ae88cfd882e8cb6b5b5569c6957043ab0","datavalue":{"value":{"entity-type":"item","numeric-id":2394739,"id":"Q2394739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$5E094400-C2D6-4D51-A3CC-C70AECB7202F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364b42509a069fc0518f1113cf13e9b6f5566129","datavalue":{"value":{"entity-type":"item","numeric-id":2753681,"id":"Q2753681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$058956F2-2A14-481C-AAEC-50A07E76531D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5917031cd6ce8484665fe8349c2192d249de0f24","datavalue":{"value":{"entity-type":"item","numeric-id":1400720,"id":"Q1400720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$DC48F90B-5F39-45BA-A51E-E740E070FA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$E76643D2-A745-477B-9EF6-9BED9C106AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7daeb403dc6eb02b2b3d98538b63790ac31827c","datavalue":{"value":{"entity-type":"item","numeric-id":4284985,"id":"Q4284985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$C2538637-170A-4946-AF6C-2D350F2E642B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d697f8c5e4458004e0d7d920f3fd25ded909df","datavalue":{"value":{"entity-type":"item","numeric-id":1098612,"id":"Q1098612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$C8D2DD7C-412A-4CEE-BC46-403F514FED30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44983e2ae363bc5c2752c63f157ff2598b292b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3771649,"id":"Q3771649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$85FFD1EB-19DB-4D8E-8C4A-F8408DF36AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05dea0129140e41c658532fe8120daa17e8e4adb","datavalue":{"value":{"entity-type":"item","numeric-id":1892877,"id":"Q1892877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$7B31CA3C-D44F-471E-9138-3B64A7C3AEE3","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":"Q2350494$8D070F27-8FA1-4226-932A-101363B018C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b407c1db27f4fbab214a00dacb554c06694941d","datavalue":{"value":{"entity-type":"item","numeric-id":3792222,"id":"Q3792222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$FDD0ABC0-0820-4E61-A91B-3E418383703B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$0CFB4E37-0EF5-490A-8E8A-4D167D618723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf0dc8a53f6283b2ac126a7f2fc5e788350c2c4","datavalue":{"value":{"entity-type":"item","numeric-id":5940916,"id":"Q5940916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$B54BAE0D-8744-4EC1-818F-3596D8D30383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$17571E13-5231-4BA0-A887-911F8D47AE35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f7e92412f6b79d84af77b11b1aebb79e0508b8","datavalue":{"value":{"entity-type":"item","numeric-id":4138147,"id":"Q4138147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$E308516D-3A1A-41C6-B9C0-E7A2F4EFA898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51faab8b1ea3dfdbf2621967663c2e288a5faa34","datavalue":{"value":{"entity-type":"item","numeric-id":3713578,"id":"Q3713578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$1638DB4B-DC2A-4E51-880F-369A1ED55D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$1B952AFB-5769-4D08-8F47-0A077FBBED5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6f8e390c6e83b12348ab497d279c3211bb5fed","datavalue":{"value":{"entity-type":"item","numeric-id":5408423,"id":"Q5408423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$5B167E7E-27F3-4975-BB49-530FA2D9E1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1b562559ef2ee2c2b871470a936681bc761745","datavalue":{"value":{"entity-type":"item","numeric-id":5738950,"id":"Q5738950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$18E3F19F-4144-45CA-833F-9FE7D5866B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a60c0608c979f6f0f43e3449cf00d658f439ad","datavalue":{"value":{"entity-type":"item","numeric-id":4484500,"id":"Q4484500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$A9EF23A8-31AF-44A2-941E-6B8786E4EE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$C645D160-079E-4DA1-B3DF-8F16177D28AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f70df03408efde10538b5850eb7ec92cf3ca64","datavalue":{"value":{"entity-type":"item","numeric-id":3546383,"id":"Q3546383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$7AC8709E-8A32-4300-A2C7-1DFDC6FB9635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11394050e9d77da9171d32ea285ea881fbfe99da","datavalue":{"value":{"entity-type":"item","numeric-id":4329564,"id":"Q4329564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$ED16C70A-18CE-4552-80C1-8D1DF769CB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"252900b8dd06b76b650a2b13e627f25b8cb7f658","datavalue":{"value":{"entity-type":"item","numeric-id":979076,"id":"Q979076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$70C88B7D-555B-47CF-AC6F-BAED030F247F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f9ee99b035ff48a1637fcdd4accf9c4b3700553","datavalue":{"value":{"entity-type":"item","numeric-id":453539,"id":"Q453539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$3ED8D206-5E58-4EF7-A647-A4CFD515DD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$6F6CE134-72EA-4936-A199-5381094FA055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e5dcde8c21dff3648870dc6696c990f88d8dea","datavalue":{"value":{"entity-type":"item","numeric-id":3455857,"id":"Q3455857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$5918D635-9E27-4F1E-9CE1-790F7AD9C79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28ecabde8f5d0b90df596cdd1697be80853d9f1","datavalue":{"value":{"entity-type":"item","numeric-id":5096220,"id":"Q5096220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$26E02DED-772D-495C-A9D8-EE77E05009A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5542509a02dfd1367cd7f99c38c2cdac7abe128","datavalue":{"value":{"entity-type":"item","numeric-id":456402,"id":"Q456402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$1800B064-BF26-4978-AE1B-B8F441B167BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c81f37c6133e62a2cfc7c8210791b8dfdf302b","datavalue":{"value":{"entity-type":"item","numeric-id":4930747,"id":"Q4930747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2350494$97551D3E-674E-4816-BF41-313FE14669BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c96cc0198099b2d2c9c99ce94a569b5f1143b887","datavalue":{"value":"10.1007/S00236-015-0238-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2350494$BB3DA41C-7298-4A3C-8E8C-E64ED9438F65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f87095b16eabbc8bfa4740ece8e25468582e8b1","datavalue":{"value":{"entity-type":"item","numeric-id":5410702,"id":"Q5410702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa6dc95289ab94b44a6f1a4cf4a9cdd3c574976","datavalue":{"value":{"amount":"+0.8190131783485413","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":"Q2350494$9136D0DB-90D5-48AD-8B4D-18AEF7B3A029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aafdf84ef3d1d93abc1ee3d49abeebb8b5580f73","datavalue":{"value":{"entity-type":"item","numeric-id":1193599,"id":"Q1193599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a6353db8a45111dd29347496df03727124e5fc","datavalue":{"value":{"amount":"+0.7372800707817078","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":"Q2350494$CC4DD403-AB60-46BF-BE63-D0FD0A2B8104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e957aa84b22d6d0512e1ef39b969567103d176","datavalue":{"value":{"entity-type":"item","numeric-id":4018067,"id":"Q4018067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afdecef4a7c2989355b3d9d8c56495ec01561bf1","datavalue":{"value":{"amount":"+0.7349254488945007","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":"Q2350494$DC74B451-504A-4AEF-BBDC-D49CE83BD314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd548764868f55a786ec7e42464e75c9ab3ef2e","datavalue":{"value":{"entity-type":"item","numeric-id":4603571,"id":"Q4603571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a543b74f7732e01a84d3b6b87c77f14c8d7c96a","datavalue":{"value":{"amount":"+0.7343337535858154","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":"Q2350494$A7EB9CC8-3570-498C-B91D-F4A993E68DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a98f3cb62653d08e582bb7765b7940dbfd93438","datavalue":{"value":{"entity-type":"item","numeric-id":4948014,"id":"Q4948014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c1a5035b680fbd76ee9cb96946a7e6a0c4dfa3d","datavalue":{"value":{"amount":"+0.732657253742218","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":"Q2350494$E087F3E5-F632-473D-A156-0B939F6BCEC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Denotational fixed-point semantics for constructive scheduling of synchronous concurrency","badges":[]}}}}}