{"entities":{"Q4008744":{"pageid":6038550,"ns":120,"title":"Item:Q4008744","lastrevid":55158874,"modified":"2026-02-04T06:13:57Z","type":"item","id":"Q4008744","labels":{"en":{"language":"en","value":"An intuitionistic proof of Tychonoff's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 63175"}},"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":"Q4008744$45D151E6-9D2F-40A9-9E59-BA2F7F763E23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be4443d3a106559f109ab9d4674b3350a694b86c","datavalue":{"value":{"text":"An intuitionistic proof of Tychonoff's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4008744$47EA4DD7-8396-4A11-9FA5-FD681B484D1C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02f1391071d5fabcbd876fc7bbf5b7c722b363d3","datavalue":{"value":"0764.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008744$A92DF5E0-2042-48D1-871D-1C6041FFBDE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2858882a62697c47aaa66aac1296300f51a0162","datavalue":{"value":"10.2307/2275174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008744$A30CBDE2-21A0-4A0E-B2AB-8CF9249C4DF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008744$4E08F30F-B51C-4B71-850D-6F1085D7370F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008744$A4DB09BA-ABA1-4BBF-B335-973D0CB9F7CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4008744$0D8916C4-1E58-4081-9BE6-919380902B83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008744$81152F5C-2BDF-4AAA-BDCF-6EF60BD8234C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008744$A538BB1A-AC65-4C84-8A38-58F9D5BF1504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008744$13DE9100-D5A1-4F2F-96EE-58C4913FBC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008744$7A715D1F-3212-4C04-9F27-83BD45791AC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b8cbd8491b34ddd31cbe26a025f924ef733644c","datavalue":{"value":"63175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008744$C37BF335-56D8-4CB8-AAD8-373EAEC044A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f1b8f16cf8a1d15b48e65fd146fe74bc71a1466","datavalue":{"value":"point-free topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008744$85881599-A969-4024-9CBC-9FC2CE2342E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81ccb74878112ec34209892f1f3cc259e9fa9533","datavalue":{"value":"Tychonoff's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008744$7E29743D-7A30-40D2-8D39-D8C563E9B3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba29bc695092e1012b615eb49ec43774f5b5c42a","datavalue":{"value":"inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008744$623BD588-D43C-4D97-BBBC-CE806D73C899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f76e4c6e45d480748f23181265e5d12ca8d72d0","datavalue":{"value":"locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q4008744$4F65C2EA-FF28-467E-A6CE-962579D31AE5","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":"Q4008744$7E38EE5B-FB20-43BD-9A8C-04F642C2A937","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74ae106986a2e1c5e40f8660b7d252489b44db86","datavalue":{"value":"https://doi.org/10.2307/2275174","type":"string"},"datatype":"url"},"type":"statement","id":"Q4008744$C87F662D-BF47-4178-AC6E-59C52E4CD120","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a812db70f6a496511d7462f66c333385de9a68ee","datavalue":{"value":"W2134743979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4008744$1BEED174-A66F-47AE-AC2A-12852C27F902","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008744$8264E8E5-7F56-4D0A-918C-907C81BDFB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5705a2bc71a85b7bb2d856c1cde9b4da8d7426","datavalue":{"value":{"entity-type":"item","numeric-id":4126323,"id":"Q4126323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4008744$FFBED48E-D8AB-4011-8E83-F252F3A5D8B8","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":"Q4008744$6751D71A-D1FD-4526-B1F7-EC5A19111980","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97dba961aefe9251abcbef930e65a95d69df4739","datavalue":{"value":{"entity-type":"item","numeric-id":3810520,"id":"Q3810520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34f91c7e7cceaa8587bb0b79bdb65b3a408d08c","datavalue":{"value":{"amount":"+0.9033383131027222","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":"Q4008744$9291BE2E-9864-401E-BF9F-BCED55195A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e6ba1a54712b1832c3a330facdb418874d5ca0","datavalue":{"value":{"entity-type":"item","numeric-id":5718573,"id":"Q5718573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc2f3c3a644cca2fa8fe8ffe9dd553b60fd9fe2","datavalue":{"value":{"amount":"+0.8857110738754272","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":"Q4008744$ED408940-F26E-44F8-9370-AB45C8965B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a8de705011c46b9e8b3776e8577134f3c3969dc","datavalue":{"value":{"entity-type":"item","numeric-id":4382478,"id":"Q4382478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3db14c0c6bdddf4f0235a304ef50855abe34b810","datavalue":{"value":{"amount":"+0.8704251050949097","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":"Q4008744$3FFE2D72-B493-4900-A870-B33C598AAAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6a4fac7f09a3d0032ebcdcfc24501a21a6eedf0","datavalue":{"value":{"entity-type":"item","numeric-id":4019432,"id":"Q4019432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d4cc06be17e7d4c1483ea807c0d7505706a27c8","datavalue":{"value":{"amount":"+0.8693245053291321","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":"Q4008744$76C3929A-3E1B-42F6-8A26-CE1616D6C2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0f9b67f169e37dca64451529e09334c04d19cb8","datavalue":{"value":{"entity-type":"item","numeric-id":3819682,"id":"Q3819682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1891ec779f3fcc025eac62d770f4c649dc784c9","datavalue":{"value":{"amount":"+0.856581449508667","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":"Q4008744$15862AB1-5856-4465-BBE5-6A48F8328E9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4008744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4008744"}}}}}