{"entities":{"Q283773":{"pageid":285540,"ns":120,"title":"Item:Q283773","lastrevid":42319974,"modified":"2025-06-05T14:53:34Z","type":"item","id":"Q283773","labels":{"en":{"language":"en","value":"Identifying all preorders on the subdistribution monad"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6580864"}},"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":"Q283773$493AD380-D3D7-43CE-B084-8DA8DB7B1900","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d969a44592e1f0902504e823f71096c9f16cee07","datavalue":{"value":{"text":"Identifying all preorders on the subdistribution monad","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q283773$58949217-8A10-45D6-9341-6ACDA339E6D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8f92df0ddfa4d3d1f96ff3299440b67a8573eab","datavalue":{"value":"1337.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283773$B62BC545-FDB1-49FE-8B83-A5C98681E7DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d775ab79a72fac62a16b3751c11e9f531a58bde8","datavalue":{"value":{"entity-type":"item","numeric-id":231248,"id":"Q231248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283773$E8F8F000-B2FE-4460-B2BC-D74441C5FA5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"659004eb67caabef990f3b9c257f2b5657544074","datavalue":{"value":{"time":"+2016-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q283773$E25D92BF-873F-48B5-BA03-FBA08A40A77D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283773$00EC3D7F-0612-4A82-93ED-2FFBA5CEF5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283773$86BFF0FB-E195-4DAA-A8B1-26CADF183F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283773$75FEAD07-EE5D-43E9-B67D-659A935DE253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283773$0BD1982E-F566-40EF-9F20-93D8BEDC5D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283773$37B3CF2D-0D4F-4E3E-8702-1967B94ED6DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d017d12735192557bc35bd3a49a86436f2c874dc","datavalue":{"value":"6580864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283773$8F345654-6F9F-496E-B5B2-C9795DC8B839","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q283773$65799A4A-6777-4137-BBBC-1BFE1D083E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adbad75c1d7fc4c8c22693fd43373e0b4c9508a1","datavalue":{"value":"preorders","type":"string"},"datatype":"string"},"type":"statement","id":"Q283773$26EB8509-3B57-429C-8868-A55FBA600D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q283773$148ADE3E-B6CA-4BED-B021-F103653597EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40971f5033e11f76c9ec957ec1402dd595b290ad","datavalue":{"value":"probabilistic transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q283773$B263EEA2-3A12-4C4E-BFCC-A63AABE3D8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f032851bc2a49f8cea3c8d35cfbd974bdde5ef1","datavalue":{"value":"probabilistic bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q283773$58D392ED-F614-4A8B-841E-331CFE05B639","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":"Q283773$FFA1D5F7-0035-4502-8791-F1E05DDE6B4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7050508a5c693944909b90287b3304846e286798","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.10.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q283773$CCDFEF4C-F474-4835-B442-59A4E6D2F27C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ad6ed119e8d08624cb0bb3defa5e13851104875","datavalue":{"value":"W2002923606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283773$B6778F9B-D3AD-4FD5-8585-AA31E7AF10C3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a928c571b8c59f38ffcb9c559ab86b5dad2876db","datavalue":{"value":"Q113317836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283773$F5E104A1-2F8F-4BBE-A821-E57AE6B4595C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7eb418764ae243753274c2b93b3d69488191fa","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283773$42339564-AC04-46BB-8A99-4F1287B16FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283773$B5988EA0-1E4A-489E-B1F4-51569DF5AE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e5bd214c630759d812c163b68d18a9d4ccc0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3584948,"id":"Q3584948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283773$8F699632-6186-4A88-AB06-CC34245C165E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c240698aed86550f2448737e4b38388d08f8200","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283773$EFAB4790-9A04-4767-83C4-AB6C5BEDD05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0016ef4b330eb172a6310caac5413e99655cd2","datavalue":{"value":{"entity-type":"item","numeric-id":1575253,"id":"Q1575253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283773$488F5DDE-1D3E-4D8B-BC17-CE12640A4C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d144a9be5e1891d6b0148c83a08f542b6499831","datavalue":{"value":{"entity-type":"item","numeric-id":2873666,"id":"Q2873666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283773$B0E60C09-F824-4D68-8B8B-715D19E353D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90ccd45aeb027fff602ca1b995c566c28f105f34","datavalue":{"value":{"entity-type":"item","numeric-id":2843725,"id":"Q2843725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283773$55DF890B-0514-4BB0-B31B-6FDC221FE050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed9bd2d610fa975e50d6a9024d44ec7d94b27a1","datavalue":{"value":{"entity-type":"item","numeric-id":4910417,"id":"Q4910417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283773$BC23A47A-F8C8-4E2F-A201-D43E732FD9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283773$51CE47E4-AD3A-4D47-9960-4A21CE373175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8157a29376ddf64165229cd4cb7a085c0eff46f","datavalue":{"value":{"entity-type":"item","numeric-id":639648,"id":"Q639648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283773$6B546834-E3DB-4F3E-9234-5901B8D0C37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f2f8365768e4acbd37701c5c5c269fff43567d","datavalue":{"value":{"entity-type":"item","numeric-id":2341527,"id":"Q2341527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283773$62631F59-DEAE-4F3A-86D4-8AABA0300202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a9d219c448aa712a35ee812c047663f1dce1c75","datavalue":{"value":{"entity-type":"item","numeric-id":5466795,"id":"Q5466795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283773$34AE7747-05FC-4E17-939B-2B6193834B4E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c59f27cd932d1667d6c93d4d6aba6b834bf84cf","datavalue":{"value":"10.1016/J.ENTCS.2014.10.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283773$B0986E71-AE88-4664-9056-749E5416B7D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e1663b76c7f1d6f299becf6a1dc6c21a712818","datavalue":{"value":{"entity-type":"item","numeric-id":5889204,"id":"Q5889204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"479e986b17c99f79f8cdc5c12ed441774c7fd140","datavalue":{"value":{"amount":"+0.8537082","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":"Q283773$D16B9EF5-442C-4D4F-92EC-035346B20C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126492265be71813668db09881ef218c0c7bbff5","datavalue":{"value":{"entity-type":"item","numeric-id":5467513,"id":"Q5467513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f51169bbf7997bbbf03b1edaf20b6ca483add9","datavalue":{"value":{"amount":"+0.8514395","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":"Q283773$A92CF76D-AD9A-4C5B-B3C8-31838F6E6D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe4ebdc040be5d714273185fc7c23ffe9dbefc8","datavalue":{"value":{"entity-type":"item","numeric-id":2084936,"id":"Q2084936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b1267e603bc8b39e0687f7215ba0246501267e","datavalue":{"value":{"amount":"+0.8507482","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":"Q283773$43B4C6C3-B9EE-4E02-B41B-6C933AE7B36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4360db6e729030d480f977b0f702aeefd8791e4","datavalue":{"value":{"entity-type":"item","numeric-id":2024926,"id":"Q2024926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a06a1afd59382608f782a3bb268cb821f81c5d5","datavalue":{"value":{"amount":"+0.8468211","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":"Q283773$1CD0C631-D63F-4572-A7A2-11DB897F0198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e31fb7d6e62062a01c2587dedbaf95bde49e62","datavalue":{"value":{"entity-type":"item","numeric-id":820674,"id":"Q820674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95d157c0c53b5655455aafd5ace51433f1e17285","datavalue":{"value":{"amount":"+0.8461089","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":"Q283773$A4325B5D-4FA8-43F5-A279-83A4F1E5FADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7700aea05633c44d209bd8b2e40031d80fbf1525","datavalue":{"value":{"entity-type":"item","numeric-id":4910417,"id":"Q4910417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d05a667b8c2d146b9fb11647effec58ab3b51a","datavalue":{"value":{"amount":"+0.8424138","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":"Q283773$10181288-5A38-448A-8C7E-2E895886F022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb52dc93603094557cdb7ac80e722b821f6872b","datavalue":{"value":{"entity-type":"item","numeric-id":847677,"id":"Q847677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1244ac0870eab882cc4595fb5a741e9c9956c2d4","datavalue":{"value":{"amount":"+0.84049","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":"Q283773$EE4564E9-122D-4E78-9D66-DA3DB5F79BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f2aa6d7cd8e37b7aed6011aa8f724ef9a9f381","datavalue":{"value":{"entity-type":"item","numeric-id":4640331,"id":"Q4640331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a045fd71b4d4659b064af39f24c7dcce58790e1d","datavalue":{"value":{"amount":"+0.8382662","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":"Q283773$23875C9F-A454-44EC-9054-18F7FFB07016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d03c969b46e24d77e1298043ad6b3826e85edb41","datavalue":{"value":{"entity-type":"item","numeric-id":2376533,"id":"Q2376533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21bf77a5c8cd4bd86f6f9617b3fc2d707c470d3f","datavalue":{"value":{"amount":"+0.837947","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":"Q283773$ABEF0EBD-3CB8-468D-8F72-7FB00987E2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e9adad878a06001f428082761a75367c148371","datavalue":{"value":{"entity-type":"item","numeric-id":3824405,"id":"Q3824405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ba17133625ad3955b0c0552d83c899050d053c8","datavalue":{"value":{"amount":"+0.8370699","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":"Q283773$DBA44B15-713C-4925-9BDB-F93E2D90A17B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:283773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:283773"}}}}}