{"entities":{"Q4246943":{"pageid":6276544,"ns":120,"title":"Item:Q4246943","lastrevid":41258234,"modified":"2025-04-25T13:43:52Z","type":"item","id":"Q4246943","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301730"}},"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":"Q4246943$682A9D91-90FB-4316-9103-B62CE24C2566","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ef7260b9b032406f3738a1e67ec9d361282ef73","datavalue":{"value":"0927.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246943$F71B185D-D3F0-4518-BC1D-597824B90031","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f72eb89b03f01bcf54a9d2efdafb5492a5b55ce","datavalue":{"value":{"entity-type":"item","numeric-id":3103610,"id":"Q3103610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246943$9DE310ED-0D35-4FC0-A4C8-C55868E97A38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdac7f8667945c3fb34e527fc5abbf5817818c79","datavalue":{"value":{"time":"+1999-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4246943$11B37297-47DE-493E-95D0-7ED02D082129","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246943$20D0DBD9-6F66-4C6F-BAEC-7E4679D3B6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246943$165B8389-2D01-4367-862A-E4A4ACEE21E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246943$A20F748E-759D-4AD9-9493-5C50252BFC0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b146181fd469d9e7f52678873b9ce490cdff6699","datavalue":{"value":"1301730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246943$ED116ECA-FAD5-45C4-928C-03C6377BFE8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e20c0e6d211f4a3369a1e5683d348bf549bdd94","datavalue":{"value":"implementation in type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246943$19E925E4-FEF0-4AE4-8296-9EEBAEC814A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"286d37e92c5af5c81e077b283f0c83b8aaf87068","datavalue":{"value":"Heine-Borel covering theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246943$12E4DA29-2784-41E3-A9EF-53EC2947681D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a467a066faf618b312a77c0f67e6c783f053c23","datavalue":{"value":"pointfree formulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246943$89410292-311E-4712-82CA-11A271E669C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb4a53571431b64cd012b0d9c14ca4268e555f91","datavalue":{"value":"formal spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246943$635BBA3D-161F-40B0-AFDB-F1FCD4991F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ead4fcf1d084efc723728aebb8252d95e0e35730","datavalue":{"value":"continuum","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246943$66AC5F3F-3B74-4BAD-84AD-D46F6944735F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4ff77542c967b38d83c88ee36cb211559b5d586","datavalue":{"value":"proof-checker Half","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246943$45B13DEE-0433-4153-A95B-A43A8EEA2ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a4798788d65b97e63656f02fa74a51565b0cc3d","datavalue":{"value":"formal topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246943$CF7D0AAF-8FBE-4CEE-AE76-18FD5D3E2F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da89a1358d0f802139a8fe7d622b2ab07ea247cd","datavalue":{"value":"abstract data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246943$7DB9FD01-62C9-4486-A16D-B7AB64E5A7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5c3eb58f834872e3d9dadc0c3de28fbc7dc4df","datavalue":{"value":"closed rational interval","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246943$9B2DBFDA-9DE1-49DC-A463-E9F98002FA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246943$9682E1F1-9E85-48A0-AAA4-89402D0686C4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246943$B616BC1F-9C62-4AB7-91DF-956D66489B22","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":"Q4246943$77980F73-6061-453C-8719-24DBFFD04CAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1a47e96519ed76b15521d801a1cdea17c46063a","datavalue":{"value":{"entity-type":"item","numeric-id":5251190,"id":"Q5251190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0020b57f9c0dcc9779170a40b8269ff5eae51c8","datavalue":{"value":{"amount":"+0.9010751","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":"Q4246943$5F9FF8C6-9B46-4B9F-91E2-D75CE94D1E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696d83aaec159cdf8ddedd031545e8cc3910de03","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e38beb1fa3d2c1502457a58d91b1d5e1df01a55","datavalue":{"value":{"amount":"+0.89117146","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":"Q4246943$5ED50526-CB0B-48A8-A44D-B8953C28EEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da92cb1e0349daf8a78255d0a62e3cc78faa2ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1407579,"id":"Q1407579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b960ac981f8c8bf5f403006b69faceb053c672","datavalue":{"value":{"amount":"+0.8910746","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":"Q4246943$C9E420BA-8210-45EE-9DDF-10A5AA78246B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e76ba6015d4f4ae577a85ab9aa922374daf9030","datavalue":{"value":{"entity-type":"item","numeric-id":1923827,"id":"Q1923827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99fb90b21dad10db86b82921a95cdb7dad932ecc","datavalue":{"value":{"amount":"+0.8864567","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":"Q4246943$853B6FC6-8DF5-49D9-A52F-F9E3C7271784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6127029ec644153d6bf693e947c028683993b16","datavalue":{"value":{"entity-type":"item","numeric-id":4364521,"id":"Q4364521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2cf167c2f7512b8ecd9dc361bc754835d8ce60d","datavalue":{"value":{"amount":"+0.88616395","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":"Q4246943$8D767A3A-5F8B-4E9E-A9AE-5FC0731A6FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8567c3c3fa0d29bb2a7b7d1185d746657ce4cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5214792,"id":"Q5214792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2180b5ca946c02b3cc93df3472ec7c5d8a09fb01","datavalue":{"value":{"amount":"+0.8841115","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":"Q4246943$B4CCFABF-5B2B-4D2D-A2E4-0CEA659D7CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110a1c6a08a7c77a925ae28a725b6c3f0030dcb8","datavalue":{"value":{"entity-type":"item","numeric-id":4247301,"id":"Q4247301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee2b03f2fe6f462a1e5c0d13e408d0dde99a50ba","datavalue":{"value":{"amount":"+0.8836371","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":"Q4246943$0E2DC664-255C-401B-B51B-43426FFC0616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b155993d74872be8e845d0fa858ff3dec0d658be","datavalue":{"value":{"entity-type":"item","numeric-id":2996167,"id":"Q2996167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef7432d1dae43c8474017adef9bf93b63aa005b4","datavalue":{"value":{"amount":"+0.8828759","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":"Q4246943$DE1E84AF-5B8E-4CD4-A168-F0037E251151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5531ee82428d164e989bcf3a0461f04bdc72c74","datavalue":{"value":{"entity-type":"item","numeric-id":4252873,"id":"Q4252873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"615af86666e54b4d8cdb5b2ab700ed22b6b825c8","datavalue":{"value":{"amount":"+0.88271743","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":"Q4246943$EFCD8954-BC48-43A9-BD3F-6D0B62C5D384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c62c088cec7687b1ce357dc6e45c09b92cc3a17","datavalue":{"value":{"entity-type":"item","numeric-id":5883738,"id":"Q5883738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9587da9a1588256f9ef3cc53359d4be580e06b8","datavalue":{"value":{"amount":"+0.8823542","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":"Q4246943$537987C3-2F25-41A5-9E5D-CE66EBB4326E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4246943","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4246943"}}}}}