{"entities":{"Q5089005":{"pageid":7118581,"ns":120,"title":"Item:Q5089005","lastrevid":55415287,"modified":"2026-02-17T15:57:09Z","type":"item","id":"Q5089005","labels":{"en":{"language":"en","value":"Modular specification of monads through higher-order presentations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559272"}},"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":"Q5089005$9FBA73F0-611D-4F2A-8531-88E9E021AE98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebdd912b169a139b5481c76e8978f5a1ad20396","datavalue":{"value":{"entity-type":"item","numeric-id":2319988,"id":"Q2319988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$AA8FE44D-43BC-4915-9F64-20A28C6B32AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db011c484f08f2b5c204b9491137cd52ee9a3170","datavalue":{"value":{"entity-type":"item","numeric-id":5009702,"id":"Q5009702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$DC5DA9BB-3DB1-4219-A744-5CDEDADC5BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea229d5c7d566db264a7e69175c2b14cf582fccb","datavalue":{"value":{"entity-type":"item","numeric-id":438545,"id":"Q438545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$8C08F789-090F-4FAD-B84D-3A58D38B7898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b98d978fe1bcd6c0757acb680bbf15dfeeab6501","datavalue":{"value":{"entity-type":"item","numeric-id":1253341,"id":"Q1253341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$97296736-1329-43E9-907E-3F9B7530938E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089005$E9A52F5A-AE40-4811-851D-385BAE9249B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62f3b780f626f57598e2d29e7ed00f4d4b46b3aa","datavalue":{"value":"https://arxiv.org/abs/1903.00922","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089005$A1491FC7-90FE-4BA9-8413-E1487568B6E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089005$6F720224-2F4A-4598-A0AA-81B228A36959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089005$611AF2F2-996C-4EE5-90FC-B2C13DB4AEC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2813606bfa70c87f49dbf3b9cd0d769b93fa703","datavalue":{"value":"7559272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089005$BB350F64-19C5-499E-B0D4-2364299185CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffd84a075894afd50f6ed7f66fee9bd214a8707a","datavalue":{"value":"free monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089005$842661A8-3286-43A3-832A-BD97C5111E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49e8dc1b6f1953de444dedbdd26ca2fc1ae8f592","datavalue":{"value":"presentation of monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089005$B261456A-DD64-4746-ACEA-9E7A8CABE1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017b09619e648d42f88d6aeab76471f5a0b02cec","datavalue":{"value":"initial semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089005$AF2EC894-C313-47C7-B95A-B320C16F1239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d873a1d4d05cb79d90b13271e3f58ea19f26e91","datavalue":{"value":"signatures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089005$CC6330F0-7AF1-468A-8EE5-483323527C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089005$B3FCF829-F974-44DD-A2BB-AADF16D85ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7edf167e30e65d34d8694b27cec7a98444d513a7","datavalue":{"value":"monadic substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089005$70D655FA-FFE0-441B-A40E-BA2FE38B0796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98c0e28b8c144d54597f6ca945f0c1ec96d527f3","datavalue":{"value":"computer-checked proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089005$FFDFC252-18C7-44F3-A7B2-8A969C1AEDDF","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":"Q5089005$F7EDF375-8870-40B3-BB65-C022A0EA65EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4db96e02cb96d8bc5f98afcc94043ea9ca37255","datavalue":{"value":{"entity-type":"item","numeric-id":5741555,"id":"Q5741555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$68BE52BF-6945-43D4-908A-1C1650E8DD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8331894e1eaedf7e30454dd4b529fcd1a4b7755c","datavalue":{"value":{"entity-type":"item","numeric-id":5079724,"id":"Q5079724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$9633C2B9-1DF1-492A-A72C-C4A776D11F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395e8bde5035730a3f9e7ab7cb0e5d7ed63423c1","datavalue":{"value":{"entity-type":"item","numeric-id":2538652,"id":"Q2538652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$2DF1BA5F-5228-4BCC-BB28-0662D73D02C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa75cca882b02d53b82248fac35f8b22ac53455d","datavalue":{"value":{"entity-type":"item","numeric-id":3178258,"id":"Q3178258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$7403B9D5-9063-4497-AD1D-36A385FF35D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a176cb8e13997c0970792df4a08fe30cfc54c9fe","datavalue":{"value":{"entity-type":"item","numeric-id":5271090,"id":"Q5271090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$9E542D06-A3CF-4B56-BE1D-DE8A68BAE141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815d9e2de99bf2ef5dc01fe0c8e8493a45b26434","datavalue":{"value":{"entity-type":"item","numeric-id":1014644,"id":"Q1014644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$6AFE80BE-CBD0-4FC2-9186-B0B7378673C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"357ccf03e46aaa39253d03b41c233e835e9de436","datavalue":{"value":{"entity-type":"item","numeric-id":3586049,"id":"Q3586049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$8891BF23-4F5E-4353-ACBD-911B07E66CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd6cd0d0c72bd63bb035b0e71b44baff47cc10e6","datavalue":{"value":{"entity-type":"item","numeric-id":3586098,"id":"Q3586098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$DB64EFA0-F9B9-4B13-BDD1-69EF4CA63032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fccb9d746416bd46c8faf2f36c552eec01b9423","datavalue":{"value":{"entity-type":"item","numeric-id":5111312,"id":"Q5111312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$04E93F5F-A617-47D5-AD14-C112949619DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69d2d8ab3debd042997c5182da12fdf610edb88","datavalue":{"value":{"entity-type":"item","numeric-id":853744,"id":"Q853744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$FE15D830-774E-486A-9EB6-5C94D51EA84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad49c0e73a818ba4ceaf2b590f61e94f93060ab5","datavalue":{"value":{"entity-type":"item","numeric-id":1929227,"id":"Q1929227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$FB848C8F-8BA1-4E6E-876C-04E5500E64B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54369932520febcb9c58f8434b9b8e94505ec97a","datavalue":{"value":{"entity-type":"item","numeric-id":3612664,"id":"Q3612664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$093B6DEB-5631-4177-8D9C-5C501B42EF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4eaff37ca0626b0bedd741648f8cc265e3ccc4","datavalue":{"value":{"entity-type":"item","numeric-id":964503,"id":"Q964503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$CE20A7A6-CB51-4F46-9F80-18ADA75F44DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e896c75803fe00b7716aa64499f6fd323ddeec","datavalue":{"value":{"entity-type":"item","numeric-id":687583,"id":"Q687583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$3D654910-8469-4544-B879-222CCB0A2C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5551b9d71468ff696129142d48bd721feaebb9","datavalue":{"value":{"entity-type":"item","numeric-id":3559973,"id":"Q3559973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$C6EA55A7-55A1-4284-9792-8014E2FFF3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d77bbce06dee767b923dbce7a63e4752ff3bd5","datavalue":{"value":{"entity-type":"item","numeric-id":4362961,"id":"Q4362961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$BC564295-BF60-4613-BF70-92998731FACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$89D911F9-5195-48B3-85A8-4EC1606BD014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a9a92fdee85716ca5671b61f9cb918664f6739d","datavalue":{"value":{"entity-type":"item","numeric-id":5262926,"id":"Q5262926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$B4AC7851-1EFF-4700-A528-AD267F7AD488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0489be88e864067c71c45e9245c2984d36865282","datavalue":{"value":{"entity-type":"item","numeric-id":4910433,"id":"Q4910433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$4F8037F7-F956-4950-AA1C-A991A9D90678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed422079804ef5e320293e10d77756e7c911a9b","datavalue":{"value":{"entity-type":"item","numeric-id":3005991,"id":"Q3005991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089005$12F51995-C643-4D01-A11C-C9F1C413DE1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c26686fa5ef7809dcfdc3f4726b2abbb461e4f90","datavalue":{"value":"10.4230/LIPICS.FSCD.2019.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089005$56018528-7648-4EA7-8C3D-7A1E86E48FF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5e9318dc02545f8c9ca0d7f04632564ba0ade6","datavalue":{"value":{"entity-type":"item","numeric-id":5741555,"id":"Q5741555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aff31225843e8dd23adc5d0a222ff88874c7a67","datavalue":{"value":{"amount":"+0.8242385983467102","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":"Q5089005$AAB983B9-DD57-43C4-B6B4-2A3B02F64038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff1c33a3896dce4a9fefd6d88ed66693d4277a65","datavalue":{"value":{"entity-type":"item","numeric-id":964503,"id":"Q964503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3647672871dd2fa12ec28b7c18a4acf1e6a8d1a3","datavalue":{"value":{"amount":"+0.7783357501029968","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":"Q5089005$3387EB20-2C85-469B-ACB1-0E89DBC91FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e3a5c1f3e4d7d48bb610df67945a88fc00f012","datavalue":{"value":{"entity-type":"item","numeric-id":5101336,"id":"Q5101336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32103142755d95066c7afc3cd18bd5f7c6710e60","datavalue":{"value":{"amount":"+0.7445115447044373","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":"Q5089005$DF65AF87-8E6A-4200-A6D4-59B9A7C72C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ea346e064e24026d09a81572e00f00bfd2af86","datavalue":{"value":{"entity-type":"item","numeric-id":3612664,"id":"Q3612664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff401070788a7eb9a1c154abe2f1b0444342d6dd","datavalue":{"value":{"amount":"+0.7406967282295227","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":"Q5089005$06EFCDE5-8952-4FB3-A4A2-25C32BDAD7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1efe8114ab8e286253205cef175e6a62e8074c","datavalue":{"value":{"entity-type":"item","numeric-id":5009703,"id":"Q5009703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"967541aa474b6af21114972c67e54dc1fe0b5d36","datavalue":{"value":{"amount":"+0.7386888861656189","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":"Q5089005$5F12DB2D-3732-4770-ACBF-C65CF73ED7D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089005"}}}}}