{"entities":{"Q4982399":{"pageid":7011977,"ns":120,"title":"Item:Q4982399","lastrevid":98355002,"modified":"2026-06-05T17:18:18Z","type":"item","id":"Q4982399","labels":{"en":{"language":"en","value":"Why topology in the minimalist foundation must be pointfree"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6423785"}},"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":"Q4982399$741415E4-4CAD-41FD-BA0C-811ED0AC21ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b31657e50fd348ad6cc48e48014e6d02183d631d","datavalue":{"value":{"text":"Why topology in the minimalist foundation must be pointfree","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982399$E5BFEB5D-D11C-4BA3-9760-B968F275E670","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e94ff4c95d56ac666a20d1d35ec31556646f976a","datavalue":{"value":"1341.03097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982399$7FE57503-20F0-440E-924A-9C505F898497","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4e70f9f439d0ee5e14268c1e8aa4a2c71d952f3","datavalue":{"value":"10.12775/LLP.2013.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982399$A0C5634C-0B94-4241-B183-A5ED9D722094","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1fa6a2864e6107a0c5fd4cc024d37e026a73f0e","datavalue":{"value":{"entity-type":"item","numeric-id":382420,"id":"Q382420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982399$92562DE4-4A43-4213-A27A-5A680318A43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65528b725fe74a698d1c6a1b19d0e94ff56ea02b","datavalue":{"value":{"entity-type":"item","numeric-id":887822,"id":"Q887822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982399$B0FCA87B-334D-4B81-8BD0-BD5048257A45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982399$D9097FF0-68EB-4BD8-84D9-CB3B542DFA16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2685380c049c772858fa8145d702ffd7ed5e8e1c","datavalue":{"value":{"time":"+2015-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982399$ACCBA303-7D3E-4023-B521-4448D880A222","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982399$7E7BFE55-5FFF-42A3-8713-71ADC8802973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982399$52BB6907-BA46-4B34-B815-362BE301DB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982399$A8CF3725-2DAA-4C79-9790-59AC4BCD865C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982399$69DAF5A1-4F4C-4DE2-9F8B-3DE4CA763C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982399$429127D5-C604-40D3-837D-6CC7F80919F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8cdae745931fef58717238c0a556f87e47eb9df","datavalue":{"value":"6423785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982399$F2E8D705-2728-4094-B10F-BDEEE571ABB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"771de2f6118e08f17a01405fe2293f523f4c572f","datavalue":{"value":"pointfree topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982399$4DB80874-DA55-474B-822F-A2A90B2EEF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93870bea9e95850a8c2c168e966ba73051e6fe83","datavalue":{"value":"real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982399$210D6129-F261-441A-9C9F-2D9B8CB5930C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"023b4e11919c9f27b5c5a56602958f7e00154b1a","datavalue":{"value":"choice sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982399$8456ED3E-36F4-4DF7-B29C-B7706EA104F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982399$89C00FAA-8F50-4BE4-A379-AC1D2D6C93A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982399$D572C11C-A375-42A0-B3F5-CB3700B18B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36093960c706322d7b3ce336bcf92939b4583cf9","datavalue":{"value":"axiom of unique choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982399$4DF4CB14-71A9-43D9-97ED-89560D2C3F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7524274c7cb0af8e0a4a044ca5377696f836bdb2","datavalue":{"value":"minimalist foundation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982399$D6F014A7-5E32-417E-B661-BA5F50D5BA33","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":"Q4982399$D6D86169-30DA-4E10-AF3B-6B841BDEB3F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e450964014ac73e98e743aaf623dfb238211afc4","datavalue":{"value":"https://doi.org/10.12775/llp.2013.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982399$67CA9269-6DC9-47E2-BB22-D1ECD56EFFA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfea8fcd4db614b3fe4bacf2cc88bb763af52f66","datavalue":{"value":"W2006709633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982399$6787BCF0-5B59-4683-9DF0-9A5E2911406E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d0cd21587db1851c6fa174b65a8fd1f1ac3ac6f","datavalue":{"value":{"entity-type":"item","numeric-id":5477360,"id":"Q5477360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d1aa3f4a3b95bb7704c18b2ad636ff35b209ec8","datavalue":{"value":{"amount":"+0.7478330135345459","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":"Q4982399$E8386EF2-373E-41D8-A0CB-6235E6737754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe67d74ee5e25f5950cb8636dcc8af171a84807e","datavalue":{"value":{"entity-type":"item","numeric-id":5718565,"id":"Q5718565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a1e22facf08e0a1d9c744acfa91a8d76b550f42","datavalue":{"value":{"amount":"+0.7470690011978149","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":"Q4982399$A66A0E2C-3621-4E86-A727-F79B0DA07107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a4ff00e925dae7967b7de8981834fe84131321d","datavalue":{"value":{"entity-type":"item","numeric-id":3121524,"id":"Q3121524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d108ea8253c52c6253806f5d5e85a35fed6dc57d","datavalue":{"value":{"amount":"+0.738738477230072","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":"Q4982399$30AC3DC0-D8DD-4966-99C9-6C46AFE911F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef46b2282a751b053e04c88b231a4482a58e4c66","datavalue":{"value":{"entity-type":"item","numeric-id":3431544,"id":"Q3431544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b283ca11b95d3a3ddac3153814190bcb5b83f3b7","datavalue":{"value":{"amount":"+0.7258234620094299","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":"Q4982399$A434EE5D-07EF-43F1-82F3-C14FB4C1B3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d63e6cdd7f809c7cdd36eb7f399af1b0d7d176","datavalue":{"value":{"entity-type":"item","numeric-id":1032635,"id":"Q1032635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298bfe4b83eed6cb2d7048e600a1ca81c05c2aef","datavalue":{"value":{"amount":"+0.7239871621131897","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":"Q4982399$44894471-240E-4409-AA8D-AD21AB8A7359","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Why topology in the minimalist foundation must be pointfree","badges":[]}}}}}