{"entities":{"Q1870523":{"pageid":1881265,"ns":120,"title":"Item:Q1870523","lastrevid":48095470,"modified":"2026-01-03T15:14:58Z","type":"item","id":"Q1870523","labels":{"en":{"language":"en","value":"Taut monads and \\(T0\\)-spaces."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1909863"}},"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":"Q1870523$35AB4BD4-BB1A-42E2-A3C5-DDB235BC11AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0dbace09aa0206b3ed0d547a334d71cfeb3c0cc2","datavalue":{"value":{"text":"Taut monads and \\(T0\\)-spaces.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1870523$192F9724-7F3F-4EE8-9FD1-E166FC2DBB3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac6118515262d4f6f905ac4a62197cc5651336f2","datavalue":{"value":"1033.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870523$FBBDDCF6-DE04-4F84-8BC1-FBF419664BB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50613e52645a9383ffb5b9ca9192f4912d08d455","datavalue":{"value":"10.1016/S0304-3975(00)00415-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870523$123139A0-5F65-4205-A43C-45B6AD4F5BE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa0b3d84987120e6a0cb256462f88e22a3335d28","datavalue":{"value":{"entity-type":"item","numeric-id":791318,"id":"Q791318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$C3073A99-9972-4468-A981-AECE19CAB962","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$3AE9B92B-3ACF-4192-85EC-780FD3F03028","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2739d9d5887c2ab5a6b70df0e9f5c64b00eb7649","datavalue":{"value":{"time":"+2003-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1870523$0D4E7273-165D-4D38-8EBB-2CD737A39251","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8c221f1344da306e5d5d146c92e4cde16ee6ad74","datavalue":{"value":"The author introduces taut monads and characterizes taut monads in sets by the existence of a support classifier. His motivation is that taut monads are precisely monads for which collection membership is decidable by a functional algorithm. A typical example of a taut monad is the filter monad \\(F\\) and a monad in sets is taut iff it admits a taut monad map to \\(F\\). Finitary taut monads in sets coincide with collection monads (introduced by the author in ``Implementing collection classes with monads'' [\\textit{E. G. Manes}, Math. Struct. Comput. Sci. 8 , 231--276 (1998; Zbl 0916.68016)]).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870523$A2E8FAB9-E14E-43B6-9EC0-FF86729495F6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d69f2ace25c4aede75beeae76b1816ac2c8c2b92","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$0D1494EF-C584-45DE-B4A4-5C2B7D801962","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870523$DD8D5877-146F-4F99-BE3F-B4603D5BD1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870523$DA6DD64D-6DF6-4E4F-8AB5-E744CD50B9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870523$44926398-3C64-45CD-976A-15B0017836F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870523$98ADA1DF-658B-4DF7-B3C4-0E99E7A57AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2193e4c351a5ae8a19e08e563c2540f53af0e96","datavalue":{"value":"54D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870523$656871CC-C071-42B7-A285-E5EC32169915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870523$F505BDD6-CBB8-4090-9919-B7A88F29F8E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f37e2ecfd23e6deba6adb983757f06c8d369955","datavalue":{"value":"1909863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870523$7033D094-EAF3-42ED-B9A2-C0C90C383AFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f9a614a20222e9dbc03b3db8eb8efe2b475ac54","datavalue":{"value":"taut monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870523$5A1AAB2B-088F-4F06-80A0-FC4645C8078B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392ec8c7899c6ce4685fe3ef956f7576c70b94bd","datavalue":{"value":"algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870523$4081DE74-D0B6-4345-AE63-D347AA292E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"324862c50a50ab2168df40fec40f28dea03ea619","datavalue":{"value":"filter monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870523$CE3235C2-11BE-4BFC-A890-9999F68B6FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"684b24e19cf174350afb30541d88bf6ee390dd95","datavalue":{"value":"collection monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870523$044F7A9C-5E69-4355-B19E-1C5612059A4C","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":"Q1870523$4E074225-C022-4DD1-9576-D6A401070EE1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$E2527B7C-B1E6-4288-BA0B-2CA86FBADDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96954404dfbbc62a33a9750ac0ac66cacd28ac9b","datavalue":{"value":{"entity-type":"item","numeric-id":5602969,"id":"Q5602969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$31D18D8A-2B4E-4249-9FBC-81D744CF2D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db9d2242f0fd2ec014c00512ab7a08c517d1260b","datavalue":{"value":{"entity-type":"item","numeric-id":3782766,"id":"Q3782766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$72E9F3C1-0375-4D71-B95B-58281573DADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4d34aa922ba1e858cc09cb834d96e26eb64342","datavalue":{"value":{"entity-type":"item","numeric-id":3876101,"id":"Q3876101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$51B9EA1A-16C4-4DA9-A7DD-8B7DA81BCF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfebed2dfd055b7c0ce0c9700bf4142282266dbc","datavalue":{"value":{"entity-type":"item","numeric-id":2520849,"id":"Q2520849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$264EC7FB-7166-482B-A4B3-10C31CB85DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2299cfe0e0c9f4b42acbabbf49dc8c2556b27c2","datavalue":{"value":{"entity-type":"item","numeric-id":4500949,"id":"Q4500949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$1CE07034-2B74-4FAB-B476-8308CD0CAC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d40550fddd78fa96713d6f04c43b101012a561","datavalue":{"value":{"entity-type":"item","numeric-id":1295213,"id":"Q1295213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$FDF9FA58-73AF-47CA-B5AE-B984B3D26992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$FE6C5DFE-30DF-4127-87A2-AC303EA4CD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$425F5406-6308-46D9-AE74-92B2D24F4482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfaeac9ea7ba1d5656e25091cbe3176a30043f20","datavalue":{"value":{"entity-type":"item","numeric-id":5642702,"id":"Q5642702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$D640E7A3-1B93-4D0C-8172-4B4EA09D71AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7909993d72fefe567d67491e498a56c66e5f1e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1903697,"id":"Q1903697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$DF52C0CA-215F-43B2-98E3-6FFB0C1E4477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$D73AB745-AA64-48B6-96AD-1BE93C0DED60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$F896DA84-CBD1-4DA7-9CF0-11A6439E9CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da329f2ab9ec6c16189c84613e489813e7fa931","datavalue":{"value":{"entity-type":"item","numeric-id":4778028,"id":"Q4778028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$8F6F3406-4E12-41C8-A8A9-BE412DE0549A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a0643d71d7244d1061eef4fd50591d26775ca9","datavalue":{"value":{"entity-type":"item","numeric-id":3950708,"id":"Q3950708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$A4827806-31DA-4A6E-AF1B-FA498123764D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08554f9b730cae9c215e66a4a7e2a1ae81ae73d","datavalue":{"value":{"entity-type":"item","numeric-id":1170604,"id":"Q1170604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$C70044D2-C739-4EE4-9250-264C43FF2A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5ade4abc8579af367f42bbe14eebb02d33b346","datavalue":{"value":{"entity-type":"item","numeric-id":4236209,"id":"Q4236209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$88B65F19-7E00-4319-B1F1-A1ED841629FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$5724C00F-311F-4D84-9A86-FD5627C53C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$5A9162B7-2E74-4716-8DE1-2001DF0CA529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61419096edc1ffbdcfe0820150a78c61244317e4","datavalue":{"value":{"entity-type":"item","numeric-id":3912632,"id":"Q3912632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870523$66333C64-71ED-41A5-ACD2-5AF100F48B4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d21b926f3241221056682d558c6634ac64041e90","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00415-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1870523$B48B4A05-12A8-404C-A763-A6053D182593","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73a40ebc96e2d47b88eb7cd40a22b82002598416","datavalue":{"value":"W2073028751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870523$72B04995-6C96-4695-8B3E-65DAB877329D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26a93a70dd2e706bf0cd70bdd9506243aafd0cd","datavalue":{"value":{"entity-type":"item","numeric-id":2268851,"id":"Q2268851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93dc97600ba623eff4818a8d854de195edcd9594","datavalue":{"value":{"amount":"+0.7452054619789124","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":"Q1870523$61DC8F36-5673-42A9-A993-7034690DA356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71b7636afad99a3d4dd2d9a9447f6785389b71b6","datavalue":{"value":{"entity-type":"item","numeric-id":2041250,"id":"Q2041250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f811af9b370a8a2f700a98bb5d777ea96b5bd574","datavalue":{"value":{"amount":"+0.7387251853942871","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":"Q1870523$897D1D50-8B18-457C-A957-FCCDF38C38C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8480a16c055b2659ca124bef4be69aadec4e0f2","datavalue":{"value":{"entity-type":"item","numeric-id":4500949,"id":"Q4500949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f101cf9395f2b6c3e39e5f19c0d8fd456cdab37e","datavalue":{"value":{"amount":"+0.7365879416465759","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":"Q1870523$E51D82C7-39D6-41A9-8578-AE831CDA5900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42189a02a36741c75a7148d7efedfb82d94548ab","datavalue":{"value":{"entity-type":"item","numeric-id":5262941,"id":"Q5262941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fe599461f503e134004ff7a8775b904f3725add","datavalue":{"value":{"amount":"+0.7322387099266052","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":"Q1870523$46CCAD82-AF62-40FB-924E-B7D27CE764E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790df171c03f03952231956903d8c9d7cee73e4a","datavalue":{"value":{"entity-type":"item","numeric-id":2310773,"id":"Q2310773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68330755bfba1fbb6f2543cff8876d7ed2c33a5f","datavalue":{"value":{"amount":"+0.7167301177978516","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":"Q1870523$C6AFC7F6-9195-427E-BBDD-79C69C125A0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1870523","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1870523"}}}}}