{"entities":{"Q4237909":{"pageid":6267510,"ns":120,"title":"Item:Q4237909","lastrevid":46745508,"modified":"2025-12-25T12:33:51Z","type":"item","id":"Q4237909","labels":{"en":{"language":"en","value":"Order in open intervals of computable reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1275376"}},"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":"Q4237909$12A659DE-8B50-4D5D-BC6D-869C9DB6EB02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d62ff18bb0359b88c562b3724f725894ba73daa","datavalue":{"value":{"text":"Order in open intervals of computable reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4237909$6D088526-6018-4386-A89A-6803229C82DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27c26bdc3168235f0fc1a64e102fc0c4b807bfd4","datavalue":{"value":"0931.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237909$7E8F662F-8507-44BB-A81A-2DAECF8C5F01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3c70dccb33f2316842a4f91b98a9520ecc8f629","datavalue":{"value":"10.1017/S0960129598002564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237909$F72A65AE-2D3A-4E7F-A86E-C960B957805D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc8bf89138092366dba76fbdf018c3e853b377d","datavalue":{"value":{"entity-type":"item","numeric-id":167888,"id":"Q167888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4237909$066F0F3D-6A16-4094-A450-23947C04A7FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4237909$8C1C5AE4-3947-4B8E-B253-851CAC3CFA57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9064e7c5b1833d7d4b89f5a4c09b74bb0655a242","datavalue":{"value":{"time":"+2000-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4237909$81A26677-D188-46E8-B67C-F264E4CF8E99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237909$29092497-7411-4F14-BFB1-D2391CE12EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237909$EE736433-497F-4C6C-B162-87AC4984ADA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba6439639df2a4640820c5b2de24ebb9f35ced22","datavalue":{"value":"1275376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237909$125E8CFE-52E5-4D5C-870D-9211CEB37675","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8804ed32ddd8c9f78a18aca68b07dd647e25073","datavalue":{"value":"strong extensionality of lattice operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237909$FFB0C0E6-676E-44FA-B72B-ECCAD410484D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82ba26f77f3c44a0b837a35d3cacdc5e0b1ef1bf","datavalue":{"value":"constructive linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237909$B61EF9E5-49C0-452D-999A-6B795B7A1EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd59a6a620986dc7cf5e3bf56d73c3701769a626","datavalue":{"value":"axiomatic order structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237909$EF194A60-0600-4C9B-BAD0-B3DA955D8885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e177af165b612fafd5faf5ac26f12a50e7340d4c","datavalue":{"value":"partial order on open intervals of computable reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237909$CB067B3D-8ADE-4BC5-8CAC-B9FE721C2BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a6729188327b6f2d80efe8c4fdc21fcb44d0e21","datavalue":{"value":"definition of apartness for intervals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4237909$175187DB-C51D-4B4D-8D5C-796302B26407","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":"Q4237909$15A5B402-692A-4664-919C-12169F26E050","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ca79bb97dc87eecd630b0e945cc0c190c7de813a","datavalue":{"value":"Q128252878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4237909$1CECF72C-9E38-4BD5-8E94-596C76408A0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7bff18183d07affcbc8f618f8ed150e38958f47","datavalue":{"value":{"entity-type":"item","numeric-id":4552746,"id":"Q4552746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3bdfbe960a5d91ecbeea446de332b208043c806","datavalue":{"value":{"amount":"+0.7584505677223206","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":"Q4237909$CB0C391A-D08B-4F53-BD99-2D0758571A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eab9b00370d73b9926aca3be2f38da84bb823863","datavalue":{"value":{"entity-type":"item","numeric-id":1788334,"id":"Q1788334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bfa43fe8b48b3ae1f49c6eca475b537f23a649b","datavalue":{"value":{"amount":"+0.7131498456001282","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":"Q4237909$60EFE88E-B43C-4585-B32C-E5BF9C3DF5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552ecfe87c368a40ea92cb0193ff88b311dd610b","datavalue":{"value":{"entity-type":"item","numeric-id":3711662,"id":"Q3711662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ef4d52687126a1643040453b93bab7ca6358b9a","datavalue":{"value":{"amount":"+0.6981217265129089","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":"Q4237909$7E9FA8A9-2A15-4B80-8511-BA08427C929F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b4db9041884aa87fbee6e505b65351d3bc4d58","datavalue":{"value":{"entity-type":"item","numeric-id":1101448,"id":"Q1101448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3da1710b577e4ecc83689af5faedadfbd669e9","datavalue":{"value":{"amount":"+0.6924024820327759","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":"Q4237909$91B19595-C2B3-448C-BC19-2131BB3BCC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c56046bdc72732e22aa9317e29ec26f4633807b","datavalue":{"value":{"entity-type":"item","numeric-id":1818431,"id":"Q1818431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea4062cb28784718e2b942777b7c3b888d79d0a0","datavalue":{"value":{"amount":"+0.6919970512390137","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":"Q4237909$BCB80B81-A27C-4435-BF3B-63B568E8B02B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4237909","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4237909"}}}}}