{"entities":{"Q5146439":{"pageid":7176010,"ns":120,"title":"Item:Q5146439","lastrevid":58457082,"modified":"2026-04-05T07:33:09Z","type":"item","id":"Q5146439","labels":{"en":{"language":"en","value":"A complete Heyting algebra whose Scott space is non-sober"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7301057"}},"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":"Q5146439$59FD9FC1-8628-42B6-A7AE-AFBF9F5B2AFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fccaba68979aeddefd7642139717e5f70008c56d","datavalue":{"value":{"text":"A complete Heyting algebra whose Scott space is non-sober","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5146439$94AAF2B9-1C15-4D45-8DE2-1357890D9081","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca0419b5a33ae290c40dc4de1b40ac0c6deca186","datavalue":{"value":"1498.06014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146439$6328C658-BF8A-4BF6-BB0B-5E4C6CC27D2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cd58946f50eb3f69ebe8a91d8600f53eeebdf61","datavalue":{"value":{"entity-type":"item","numeric-id":276407,"id":"Q276407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146439$1EA8E087-E914-465D-A5E1-47CE3168FEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2879e3e3ee84eeca3778658797f13f2e5056d734","datavalue":{"value":{"entity-type":"item","numeric-id":171475,"id":"Q171475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146439$4E5EA3AD-822D-4A2B-B850-B83BB6A70A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95a671a4324a52bbc5b77657e646de8b8d8f65d8","datavalue":{"value":{"entity-type":"item","numeric-id":1421959,"id":"Q1421959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146439$1F740575-D048-44DD-9783-B447F38AD756","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146439$F8ABD710-E954-480E-8DA6-31C53889561D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0827198be489c99d5ba6559ec16692e838cc43b","datavalue":{"value":{"time":"+2021-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5146439$A2B6BC49-057F-4C08-8D81-288CA993F0E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dc377b89d301bba9a9fbbe92aaab30248d94c79","datavalue":{"value":"https://arxiv.org/abs/1903.00615","type":"string"},"datatype":"url"},"type":"statement","id":"Q5146439$68EDB1E5-D377-4D92-8ECB-EC74DA359886","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146439$FC816EB1-3EE8-4217-B950-4DAA73D466BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146439$6DB991D3-CB0A-43B3-817B-C23850C1BBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146439$07C2F38D-4EC8-413C-8313-4B49C0F397B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146439$39A8F9CF-7ED3-4E0C-976D-05B3D4E3F9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146439$6D94B99B-C433-46E2-9754-7716E31974EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07ab4c94e56e7143a40074eddebcc8608c538154","datavalue":{"value":"7301057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146439$8777021D-17E1-4E7B-9557-D9783AC16C5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146439$DBF7D8AF-F360-4D41-83D6-B876D7184F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf7907b232bc03cd92891e7f9d4b1339ad6ad54","datavalue":{"value":"sober space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146439$3C738231-2F26-43A8-908B-4B5123163421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"526ad1f10e6b4f4fc1c4b9e779998ddf2e420772","datavalue":{"value":"well-filtered space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146439$D7999866-8F80-4C94-8673-BAB820303981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"646093b1011ac2eff5b567f84e416995252bbe33","datavalue":{"value":"upper space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146439$1FFC099A-C311-4EB8-9F91-F8DD1E665E97","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":"Q5146439$1732C90A-4A62-4AB5-9CE3-27E4989097DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5527546259fec7e24a1b7b18a80a1952c8d58832","datavalue":{"value":"W3081631062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146439$42E16EF7-46CC-452E-9091-3CFBF305A0EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146439$EDB8CA08-98AC-442C-BE84-5EFEB52718EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b42a1c3ee06f9654510272357578368daee23b","datavalue":{"value":{"entity-type":"item","numeric-id":4914616,"id":"Q4914616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146439$3F0C2971-93C9-4397-8870-DA20762075D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff49b0aa543b067b67edd8b6adf982041feba194","datavalue":{"value":{"entity-type":"item","numeric-id":6116576,"id":"Q6116576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146439$55AE5F7F-4E34-474F-8AD2-070145194F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df55d7260f6635a9eb8f700b574404e9c4499644","datavalue":{"value":{"entity-type":"item","numeric-id":265813,"id":"Q265813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146439$A983127D-DD15-495D-9A41-D889C54895A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f388c8ac8e74a3ed084d253b4c00a0695d6951","datavalue":{"value":{"entity-type":"item","numeric-id":3953814,"id":"Q3953814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146439$89508191-268A-4686-9A99-3E255F42A501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b19ec60f99f427fe0727180e50d4872f88ee5e6","datavalue":{"value":{"entity-type":"item","numeric-id":2630456,"id":"Q2630456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146439$B03A0137-54FA-4CBA-B962-43C5E80DAFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8704d06c1649afb522f1aa88d4e2f7421bf5112","datavalue":{"value":{"entity-type":"item","numeric-id":3922730,"id":"Q3922730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146439$7D826C89-9914-45F7-8B93-904F522F64B0","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":"Q5146439$5479AA81-6105-4633-AE7C-0346F8DA53E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7406857ede3ac3a439bf82484f21d07eda28f9d4","datavalue":{"value":{"entity-type":"item","numeric-id":4868226,"id":"Q4868226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146439$4EE3EC19-E684-4559-930A-153DCFD4CE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b7b05e24d4686d44cfceec9a6823c374ab511c","datavalue":{"value":{"entity-type":"item","numeric-id":2401559,"id":"Q2401559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146439$85FA2CBF-8E74-4BDA-AE54-57EEC6E7AC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f20f4fda9edd36bdd3023c5f5ab2d5b3aa637d0","datavalue":{"value":{"entity-type":"item","numeric-id":2971117,"id":"Q2971117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146439$62C09E59-0543-4804-9384-BA3B5EAE01A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62da5eb553fdfab5c6a634b8258f873dc10b9eca","datavalue":{"value":{"entity-type":"item","numeric-id":2295673,"id":"Q2295673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146439$CABB0032-5DC4-4714-BE8E-0D05FB8DE006","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a971f49605b9cb34b2feaddff27e23495d183de","datavalue":{"value":"10.4064/FM704-4-2020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146439$F19EA0F8-4F78-4781-AC86-56918CE3BA8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29542f8e2e03e42b963a4f590ad608a4784fc431","datavalue":{"value":{"entity-type":"item","numeric-id":5367064,"id":"Q5367064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e77ef83f2b1cd85260ff950152b5bf68e65cf9","datavalue":{"value":{"amount":"+0.84947276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146439$C61FFD63-A55D-4EA7-B5FC-D7EB3077C3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a522c174a629ff198f75cd79a25f960dc1fead2","datavalue":{"value":{"entity-type":"item","numeric-id":3634666,"id":"Q3634666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c48bda480a5738172f1231338c071fe1e266b98","datavalue":{"value":{"amount":"+0.83129966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146439$FC01A17A-7998-40B9-A38C-5F45235A2004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6b78fe98b928f3a3642614f00dc29cd06118637","datavalue":{"value":{"entity-type":"item","numeric-id":334967,"id":"Q334967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508f32931af433eb96cc2a16f90e0fb893b14645","datavalue":{"value":{"amount":"+0.8311843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146439$4850BA0C-02D7-4499-ADF4-450BE6C0EFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"912417c699f98777eaae91c0ff2556a6e547ee0e","datavalue":{"value":{"entity-type":"item","numeric-id":1357110,"id":"Q1357110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a6bb6131420d3e2ae1c38a11e9ecd39a42cfe4b","datavalue":{"value":{"amount":"+0.82863235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146439$25343FA5-E126-4DF7-A7AB-26039CAC5A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bcb04b519a9f661ee8f40df0be84ba5b067fdf0","datavalue":{"value":{"entity-type":"item","numeric-id":5014386,"id":"Q5014386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cda628e3907d9879a7fecfd84ee21e8f7eddc2aa","datavalue":{"value":{"amount":"+0.82557005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146439$A9E74E2F-1E50-46D4-BCE8-86249374D851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9def0640af0b6d190b51d73358e3b9252f267fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5283726,"id":"Q5283726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c56d8fff765712254b6e3a988136c1635d4b8697","datavalue":{"value":{"amount":"+0.825243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146439$7364735E-197B-46F8-94A9-CE04F5ADA7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585fd57c4873511870e11c61a2b74a4680984a4d","datavalue":{"value":{"entity-type":"item","numeric-id":4870894,"id":"Q4870894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9c624b00667aec215e52c8fb7aa6515f54c20c1","datavalue":{"value":{"amount":"+0.8234545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146439$412C8C0A-3948-4028-8D33-8E7FFC4481AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b673d6154f882387c138f7a7a8f0afbf7e69a8","datavalue":{"value":{"entity-type":"item","numeric-id":862977,"id":"Q862977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7371ac0dadc1ccd39fe7a0c3ed374419511a333","datavalue":{"value":{"amount":"+0.82285154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146439$E9B8D3A0-B0E6-4DD0-9B49-F18DA16C10AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837bace85121ee9a6ccf6cb79a6c68006bac1e60","datavalue":{"value":{"entity-type":"item","numeric-id":953270,"id":"Q953270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e0bfd3af6d16b2cbd9249532f62f1dcca11bb1","datavalue":{"value":{"amount":"+0.82271713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146439$63D4D41C-B1B7-44EC-8839-118579681077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad8131e84299f24991e38d1f71f7e3a2a0e238b","datavalue":{"value":{"entity-type":"item","numeric-id":2062218,"id":"Q2062218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f3d515bef15d6743c15c5e2433d02d52cbe1e9","datavalue":{"value":{"amount":"+0.8218742","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146439$6B56561D-A3CE-4A87-85BA-0E2470A9DEBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5146439","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5146439"}}}}}