{"entities":{"Q2498911":{"pageid":2509654,"ns":120,"title":"Item:Q2498911","lastrevid":73275273,"modified":"2026-04-14T15:14:30Z","type":"item","id":"Q2498911","labels":{"en":{"language":"en","value":"Quotient topologies in constructive set theory and type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047228"}},"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":"Q2498911$5F37EBAF-5138-4904-AFFE-AE05EB2EFF7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27342c90a569070e281b5a20f30268076e7c97de","datavalue":{"value":{"text":"Quotient topologies in constructive set theory and type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2498911$9D4E141B-B720-42A6-8283-870ED0A4ADD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0fc1ef7011a07874b9672101d9186407222ffef","datavalue":{"value":"1094.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498911$48E41808-683B-4816-92B0-B404C2F51E48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c5e93c8542516a588e5c718357172e4a4b9108","datavalue":{"value":{"entity-type":"item","numeric-id":220748,"id":"Q220748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498911$1E92D8F7-65B4-444E-B26B-0984484D6D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b28a0624df5a1c85ecb5bea565385eff5d13458","datavalue":{"value":{"entity-type":"item","numeric-id":185810,"id":"Q185810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498911$F5EBB9A8-ADB7-4DA2-9F7A-5BF0AA177CE6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498911$6C482500-CCAD-4131-9A1D-F63BE84B9B91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2498911$4261BDF2-A460-47F5-B8A0-6F6D356FA5BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498911$03C07E4C-E456-4EE8-AF90-F3B9C1B4891D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"52d41aeed7739d11ed509469641fb40000a09cb3","datavalue":{"value":"54B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498911$E6880A6A-0831-4ECA-911C-49106CE04AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498911$7705CC4C-2A78-44FD-9F17-EE2CAA654048","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a94280462bc395d26767ad52d9ed5a09ca5e480f","datavalue":{"value":"5047228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498911$404563DB-449C-4B5D-AC95-A86CCBCDDCA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59ef6874e965d66a4fe67935b0e8629a67411ac4","datavalue":{"value":"quotient spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498911$5C922C2D-29B1-466D-9DE8-D4A721A8E713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fc1f289b93805d5a9cbd7257aaca2de5b5aa42e","datavalue":{"value":"constructive topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498911$80EE4DBD-FBFA-4DF5-ADC1-53A111BC1784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498911$0D8F6D23-0133-428B-87D1-BD20EDE2BDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498911$D96D3FB0-1928-4C80-85BD-BBC17D08715E","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":"Q2498911$5BA6484E-90AE-4004-B42A-E6760D1B1373","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cea772e07456d841ccb5a780b3ea013078022d2e","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.11.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2498911$8EBC1A0C-A44C-4873-94E9-A1AAA3DCDF02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ce05595f65ac8f45f860d60fb03dbae4cd7e35e","datavalue":{"value":"W2074717474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498911$CED5C2F6-B759-4C00-9081-7891F32884DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498911$3A4F0265-6463-4756-80C0-7963F83D6E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9779d2f20504dba38f482f942c0abc04f8e04e14","datavalue":{"value":{"entity-type":"item","numeric-id":3310616,"id":"Q3310616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498911$AB2CC551-BD45-45CB-B366-1C2AFA2259E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21df1d3055daa4725f01a29fad1e4853704fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":3762311,"id":"Q3762311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498911$1F9EF85F-4DE1-4141-A74E-202CE375DA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498911$1BC99074-BF96-43BE-A077-C53E19BF95B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498911$8BFF6C74-15BF-4054-BFF8-139E66C4DA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ffbb075ac85fd9913debd6040b098ddb7666e6","datavalue":{"value":{"entity-type":"item","numeric-id":3994919,"id":"Q3994919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498911$CBCBFDD6-7852-4E6B-89E8-4D7D1F593ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36966a8e78b7ca52795d4f824a4634dc030e8550","datavalue":{"value":{"entity-type":"item","numeric-id":1612481,"id":"Q1612481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498911$06D15EFF-3005-4752-A97B-1DB2A65130E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498911$33EA0889-4456-4A33-8BE7-FA351D7E8F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498911$95AF4B4E-277A-401B-B9C9-A07F89D52FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74605135c388db78d4d0ca86dc0cd54881585bea","datavalue":{"value":{"entity-type":"item","numeric-id":4073362,"id":"Q4073362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498911$AE8C091A-F4DA-4229-AE05-4F29B0F50B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca521b774bdb686f91be43a8df4f3507b9668aa","datavalue":{"value":{"entity-type":"item","numeric-id":2575774,"id":"Q2575774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498911$0E4A6BAA-FCA9-4C23-BF89-FE5DECC71E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772f22db8726abc1b17c66467dc58d8102a542e4","datavalue":{"value":{"entity-type":"item","numeric-id":1344548,"id":"Q1344548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498911$9DEEE1A4-EA51-44E2-88BB-180854719AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33165e9ecfdb2151c42309efd1e2f466399eb45","datavalue":{"value":{"entity-type":"item","numeric-id":4453639,"id":"Q4453639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498911$73CE5D69-D21F-4BAD-8388-9EAAA4077998","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e839e094f49fa6ca41b67489ce924e8fee00e4f","datavalue":{"value":"10.1016/J.APAL.2005.11.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498911$CF69C3EA-1E5D-4AA2-A9FA-35E8E858E2CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcd6a31033790feb804853ef802917b2dd1efe5","datavalue":{"value":{"entity-type":"item","numeric-id":4944857,"id":"Q4944857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd6b33e3bf2eb5e09a48aa4b3b0c8f99bc1c062e","datavalue":{"value":{"amount":"+0.7936121821403503","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":"Q2498911$64153678-3202-4DE7-A7C5-F25D30ABC985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c199f0e341136dfa5cd16e46a2c71e1ede91e688","datavalue":{"value":{"entity-type":"item","numeric-id":5425354,"id":"Q5425354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7259d905eacf1aaae988d347207ee1c7978b0ee","datavalue":{"value":{"amount":"+0.7670942544937134","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":"Q2498911$55D27DBE-0E45-464A-A0C6-31BC639FC223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c8e8bd3b34a2fd726d59fcffefad5f327f617c","datavalue":{"value":{"entity-type":"item","numeric-id":382422,"id":"Q382422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1ac68a723694527f5683d23340212f63d189eea","datavalue":{"value":{"amount":"+0.7660630941390991","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":"Q2498911$2F3462B7-51CC-4256-AC48-0A902E3B93BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1f407828c330d157ff8cbc7886240536c0c342e","datavalue":{"value":{"entity-type":"item","numeric-id":5718570,"id":"Q5718570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f37dc5bc03dc4a61d36cba963829d0bfde352d","datavalue":{"value":{"amount":"+0.7613935470581055","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":"Q2498911$3DEC5153-C77D-4FA7-AC7A-DE231D02A9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeb86754b8ea76d6f0b51b1ff12eb05b31d1dae1","datavalue":{"value":{"entity-type":"item","numeric-id":2575763,"id":"Q2575763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b23ae46b2df7a43ebbdc883a3f51f897f83c65e2","datavalue":{"value":{"amount":"+0.7597010731697083","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":"Q2498911$B9A9839A-5A98-4D5B-874B-674FBE585DC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quotient topologies in constructive set theory and type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quotient_topologies_in_constructive_set_theory_and_type_theory"}}}}}