{"entities":{"Q724828":{"pageid":726677,"ns":120,"title":"Item:Q724828","lastrevid":63851439,"modified":"2026-04-11T15:58:32Z","type":"item","id":"Q724828","labels":{"en":{"language":"en","value":"Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12--15, 2017"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6910609"}},"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":"Q724828$BD978D69-4137-4458-B725-9F2788B0662B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c0a17939079989cf6b7d6033649babd8425d052","datavalue":{"value":{"text":"Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12--15, 2017","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q724828$DC4EA926-3E55-4B45-9B7C-228172B1F94F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d29efbd1b3fb5396f7ddb6c2da4d2d7ba925b0d","datavalue":{"value":"1392.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724828$15ED788D-B516-4830-AF9D-560ACC2D8BCF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q724828$36F07A20-3B68-466B-B630-09C109B7D8C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c11ebaf7be0aa0574d40db26aec7772df0b741f","datavalue":{"value":{"time":"+2018-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q724828$B3691ACA-8A0D-4CFD-855E-8BBD46333825","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b192e37e35456483446f6f8aae9abf793708e85d","datavalue":{"value":"https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/336/suppl/C","type":"string"},"datatype":"url"},"type":"statement","id":"Q724828$00F975BC-548D-4AA4-9525-8C8CD999E1C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724828$468CF3BA-A24D-4F8B-B660-1E25AD3C3DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724828$BA93BB43-3691-4A95-9B1F-07430AEDD4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724828$A13117CE-08BC-46B7-8B6C-AFED5C43E254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724828$281B8BC0-1130-4227-8057-15A48D8DAD4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce09edbec6ca545a03ce62b909d18b31846cc4fe","datavalue":{"value":"6910609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q724828$6D67E7FD-5028-4A47-B85C-B747DFE1A551","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":"Q724828$FF26E729-6365-49EB-B822-B47EF6FB02DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca18425b1d3be4722f69847f367d5a3d98a45399","datavalue":{"value":{"entity-type":"item","numeric-id":2629519,"id":"Q2629519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bad89dcdf51ec04573d799174f75b1fb4ef4d23","datavalue":{"value":{"amount":"+0.95693284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q724828$3ED042AC-71E0-4941-B779-EDD71725CB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59717a5332c9c0418e3df6c1934a6ea53fdb976c","datavalue":{"value":{"entity-type":"item","numeric-id":2018847,"id":"Q2018847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b33ea0ea2d03426ca2eba2836bd222464c1e12d7","datavalue":{"value":{"amount":"+0.95490414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q724828$A9BECE5D-078D-4F27-B84D-DC24D7421DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95e77b8b721a65c6cf513c4be9d56f2ff7b35f1c","datavalue":{"value":{"entity-type":"item","numeric-id":2282336,"id":"Q2282336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5508d8e095f58357fae33e6d13c9c60441ef588","datavalue":{"value":{"amount":"+0.9528684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q724828$C1E94C87-82AC-4183-AC53-FE75387B7DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede787a1adc092a4d0d2a4fa02fb417eccb6c961","datavalue":{"value":{"entity-type":"item","numeric-id":727871,"id":"Q727871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e4866309999131292407610aa46b83a912eb26","datavalue":{"value":{"amount":"+0.95279205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q724828$63EB89E2-EC26-4B1F-B80B-FF1CB7F5B408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e54013bc1fcc7c12c0751d9ffc41265260fd86","datavalue":{"value":{"entity-type":"item","numeric-id":1738363,"id":"Q1738363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e064be6015ae11c0347f35d72aa8b1d84768ddf3","datavalue":{"value":{"amount":"+0.94580746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q724828$CA730B2E-90B7-4A23-9585-E7EA09E5A55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"785939ee95724f1c148fc0914770e3503e1ec66b","datavalue":{"value":{"entity-type":"item","numeric-id":2216725,"id":"Q2216725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fed9a953e211584faaef36606fcb93d3163a7a9e","datavalue":{"value":{"amount":"+0.9391592","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q724828$34082019-2B73-406C-9962-9ABA3AEAF2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b9359273fbea7e944673cc316f6781e82e613f","datavalue":{"value":{"entity-type":"item","numeric-id":2018792,"id":"Q2018792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f67d352592c1ec42dcf3bb998fce994f155ccf39","datavalue":{"value":{"amount":"+0.93876624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q724828$17ABBFAA-826E-43E2-95EC-618D880CFBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0876b76de041182302efd3d862a78bf69a2d9f","datavalue":{"value":{"entity-type":"item","numeric-id":2637340,"id":"Q2637340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"442f43fa78dd6d110096dd40688d30dc9ad5a387","datavalue":{"value":{"amount":"+0.93763846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q724828$3F7121C7-EB82-48AC-BCF9-8BC0D68F7121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38370482547dbff687bd503ff6a66af94d7e6058","datavalue":{"value":{"entity-type":"item","numeric-id":2637336,"id":"Q2637336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481cba0559c61dbed333912d4c8efa896b02243f","datavalue":{"value":{"amount":"+0.9337911","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q724828$AA4A9E4B-E349-4F17-9DAD-91A3230A2A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a3fc9042ddb43eaccf118aaf7d4e709cbe2090","datavalue":{"value":{"entity-type":"item","numeric-id":373626,"id":"Q373626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57e851508edd31a8e4a60689939b75ce073a8f8f","datavalue":{"value":{"amount":"+0.933532","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q724828$527FE4B5-9ECB-4C2E-B4E2-517BE79F6648","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12--15, 2017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proceedings_of_the_33rd_conference_on_the_mathematical_foundations_of_programming_semantics_(MFPS_XXXIII),_Ljubljana,_Slovenia,_June_12--15,_2017"}}}}}