{"entities":{"Q1765104":{"pageid":1775846,"ns":120,"title":"Item:Q1765104","lastrevid":73615359,"modified":"2026-04-14T16:39:51Z","type":"item","id":"Q1765104","labels":{"en":{"language":"en","value":"The problem of the formalization of constructive topology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2137165"}},"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":"Q1765104$30046D23-FD02-4C34-B7D7-E81F980B3B70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"347441f29393c05b60599187b8e3efef3325a565","datavalue":{"value":{"text":"The problem of the formalization of constructive topology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1765104$EA60CAC8-5A2A-4810-BE00-742BF60240F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0d873419bef37a81754bc24955d0814982823dc","datavalue":{"value":"1060.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765104$16DF9A70-640D-47D9-A52C-471258C2B1A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d0979bbcd7d577f2b6333689cfdba669a470be","datavalue":{"value":{"entity-type":"item","numeric-id":651320,"id":"Q651320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765104$E06614A1-99AE-4287-B780-FE2623288D09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765104$F6F02B79-47D1-4A8A-9139-9DA1F90B8E60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6fd9f57da46494686492c936ca92ef875382ca4","datavalue":{"value":{"time":"+2005-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1765104$A3683D89-7598-4849-8552-656B17931B0F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"61a3933b77a420893eb458b0c0cf5519e50d2612","datavalue":{"value":"The paper deals with the problem of adapting the method used to inductively generate formal topologies with a unary positivity predicate to the need for considering a binary positivity predicate. Some effects of the lack of a complete formalization of the concrete topological spaces are discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765104$7A0085AB-ED57-4C27-ABF3-D8937F3E0B03","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2c917304d9c01e4bbf6d8faabe9ae443bb0caeb0","datavalue":{"value":{"entity-type":"item","numeric-id":587951,"id":"Q587951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765104$FC2389D6-8297-4604-B7AC-1425CA3700B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765104$89E9D753-35C9-4E7B-A379-76ABFA06E6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f6c18d1d98d78ba4590853d8918c251eeda67e94","datavalue":{"value":"54F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765104$5ECD296B-CE63-49D6-97A9-30E0F652DA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765104$8C0AC067-FEC4-4202-A0DE-DFDEB2B17A0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68686182db5a6082102e3f799c70535ffd6ae0bc","datavalue":{"value":"2137165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765104$208D73DD-472E-4365-A64F-0DDE723BA383","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fc1f289b93805d5a9cbd7257aaca2de5b5aa42e","datavalue":{"value":"constructive topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765104$3FAEAE42-8389-4329-84A8-03EA5304D7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63b1a372000327f7ef0575767ecde9c71ec5725","datavalue":{"value":"inductive generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765104$DA9E7F45-D43C-4324-8A92-F7E1A53742BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caebb5a7320be4037f966e50f0d228dc4ba4477a","datavalue":{"value":"positivity predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765104$FECAAEED-7EDD-4D4D-8B2A-717347E1400D","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":"Q1765104$33C408CF-C0A3-4FDA-A61F-FC4774AF8DDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8632c2d814586bb270404bc12f0195b5d331a64f","datavalue":{"value":"https://doi.org/10.1007/s00153-004-0243-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1765104$931678B2-16AE-4D79-A9A6-2369758B34E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb913fbf1127b21bec0e64bb70a8106263b150c6","datavalue":{"value":"W2034294362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765104$6E032AB6-79A8-49E2-9D86-DCBE7B6C5DC3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"090eaf792f4154c8724d8ec52792b48cab975d7f","datavalue":{"value":{"entity-type":"item","numeric-id":1412832,"id":"Q1412832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765104$D0503F9B-DACA-4433-9F47-4C3EB803BB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e1a21cbc753595d7ca886a71f09296da296247","datavalue":{"value":{"entity-type":"item","numeric-id":4150804,"id":"Q4150804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765104$F2F78FC5-0033-442C-AB85-B47FDEF6F9D8","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":"Q1765104$6ECE6587-7B20-4859-B626-77C803DD655F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18184e21404b896ae6abb76ac9d4c595e3d02c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4382478,"id":"Q4382478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765104$66266DC3-5077-4FDA-A296-F30A13E1197D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d001cd86787341ec5bc110963875587437aece0a","datavalue":{"value":{"entity-type":"item","numeric-id":1427787,"id":"Q1427787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765104$A25A434C-A7CF-4F4C-BE10-2910494EEABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1f201eae63d93ff89858eda0546646b93a9335c","datavalue":{"value":{"entity-type":"item","numeric-id":4944859,"id":"Q4944859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765104$DD4B0A13-75BF-4854-BBC1-DCA66157A9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51dc13071df66ae704f545eff577abff90943bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4247310,"id":"Q4247310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765104$91B24268-DD04-4E6C-B745-416DF443FBC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d64ebb5affe6431f948c4fab54399846ff624cfc","datavalue":{"value":"10.1007/S00153-004-0243-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765104$47FC6181-6C48-46B0-9E00-240983B3C9C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdab9eee7e2cd0c1d6dbafda6bfe3675b4b58936","datavalue":{"value":{"entity-type":"item","numeric-id":3225738,"id":"Q3225738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce3d411e0f4dea1f07735d9e1c30553110e375d","datavalue":{"value":{"amount":"+0.7903078198432922","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":"Q1765104$93493552-645A-4DDA-8B0E-EE0BAB359E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fea0517dc2add87c909209540f02ec4c45dad178","datavalue":{"value":{"entity-type":"item","numeric-id":1427787,"id":"Q1427787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25925a78779fedf2bd885ad78ead62e2dfa818b4","datavalue":{"value":{"amount":"+0.7898591160774231","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":"Q1765104$D837CD24-3E74-483A-A6C8-D8123B8F6115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2685e4c118f8507072c33cdb4103db65f0c193b","datavalue":{"value":{"entity-type":"item","numeric-id":1407560,"id":"Q1407560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b183d148e1ab0fdc07a9b13c072fd78a578511","datavalue":{"value":{"amount":"+0.7897398471832275","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":"Q1765104$63D005E9-044F-4AFF-92BA-3FF9ED6A1EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0a744eec46f10bec57dc431ea3a229725166913","datavalue":{"value":{"entity-type":"item","numeric-id":1412832,"id":"Q1412832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afdaebb18945250ce194ed07a83b6fff7c40ab45","datavalue":{"value":{"amount":"+0.7892078161239624","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":"Q1765104$19D4B718-7E63-4DB8-A529-895C690A5CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2004bf5bcbb287c1afbdb6cb4a6ad04ecbeb44ee","datavalue":{"value":{"entity-type":"item","numeric-id":5718569,"id":"Q5718569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"443940a9c99d6c8d8845619251955e77a51baf70","datavalue":{"value":{"amount":"+0.7759550213813782","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":"Q1765104$9338C0B0-2135-44B4-BE6A-5398DDE10432","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The problem of the formalization of constructive topology","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_problem_of_the_formalization_of_constructive_topology"}}}}}