{"entities":{"Q5485484":{"pageid":7515044,"ns":120,"title":"Item:Q5485484","lastrevid":49906714,"modified":"2026-01-11T22:29:09Z","type":"item","id":"Q5485484","labels":{"en":{"language":"en","value":"On local non\u2010compactness in recursive mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5050734"}},"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":"Q5485484$52296860-BBCB-440C-BFD5-7A3DF47D9977","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7232dda575afd2e1ce2df539e12784d1c5429570","datavalue":{"value":{"text":"On local non\u2010compactness in recursive mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5485484$21BBD7CB-4154-4033-AD5A-20DECA4C2990","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b5c9b7feeaf4e022adc4b22d1da4fb389672808","datavalue":{"value":"1095.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485484$1B5ACF4F-56BA-45FF-BB32-058089C6DFF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe2ac1adf6437bcd26471c666316cf7844c005b","datavalue":{"value":{"entity-type":"item","numeric-id":306826,"id":"Q306826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485484$3A05D98A-E002-47EB-BD29-EDACD54BE86F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485484$F0586DB8-C29C-4A04-A28F-28592917C3CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce041d4734364c3a206df997bf620f42fb038366","datavalue":{"value":{"time":"+2006-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5485484$E2801195-63E2-461E-A4F1-3F3A3948F026","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485484$0E1B9425-A9FF-49C6-827F-19A228A23F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485484$43DA25DD-AD0C-46E6-9F47-7FFCBA02F1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485484$60DBAAA0-454E-4540-B4B6-8203C01BD58B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b06cfdb6792cb5800691cf1a2b2857a075439551","datavalue":{"value":"5050734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485484$F99276FA-875D-47DD-BB84-51085E35E3F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"575e6dd05aa7990fe10dcab35e657a32b8747271","datavalue":{"value":"Constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485484$FBBA3685-10E9-483B-A39A-EA2F65AFA471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d04984a60c8936c97a5dee648215973b47f0a13","datavalue":{"value":"recursive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485484$58F05D76-31F2-48E2-9F9D-25CB50DDADFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880958f8426d35e1b206252f9c79a8da7b632921","datavalue":{"value":"metric spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485484$D8F352B6-B078-4D3C-8FF7-1C77E8EE0802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485484$4C52BFAC-5CC1-4538-A918-C63628D31A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485484$B7FEFCF4-3B40-4FCA-8A36-4EC22AA7C0D0","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":"Q5485484$1424A6C4-D938-48C3-9693-B1D3A54E3E11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c871245e3eb5d893953e78948fe9af56e11d0d60","datavalue":{"value":"https://doi.org/10.1002/malq.200510036","type":"string"},"datatype":"url"},"type":"statement","id":"Q5485484$F52EF2E9-48B3-4573-A2F4-893EB4E31380","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2eb18626e2ad0ee523f7ef758c27f5c86e36940d","datavalue":{"value":"W2051672480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485484$62EF2E56-EAB3-4B11-B223-69B10BC8382E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd06ae5202dd80859d0fd11b1b229caa7bf7c87","datavalue":{"value":{"entity-type":"item","numeric-id":3910522,"id":"Q3910522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485484$48F523CC-0C25-4C35-B222-A60EC41AFE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485484$616843E3-6CDF-498D-B153-79D1F7E87DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84fc7188193dcc24094147cdb1f19183b0e45997","datavalue":{"value":{"entity-type":"item","numeric-id":4047540,"id":"Q4047540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485484$6F58ADDF-EFE7-44DD-868A-0FFB1BF223B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84b452199f6c6b9d272fbdd866c0c0f41451e932","datavalue":{"value":"10.1002/MALQ.200510036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485484$6EF3046E-7D47-40E5-8031-799D4A38F486","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7472c173eef25e6807abc8d276ea608e816da31","datavalue":{"value":{"entity-type":"item","numeric-id":3195707,"id":"Q3195707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a51e4ac17f9e40b7fe51aa4372c194d7234dfce","datavalue":{"value":{"amount":"+0.7836089730262756","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":"Q5485484$EC3E7F23-7AFD-411C-9875-68CD9BB29B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c6822692ebd379470c2d9290e77cc676ab21f2f","datavalue":{"value":{"entity-type":"item","numeric-id":2901980,"id":"Q2901980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5744537be95217f7e6d44e7156e91f97ed2542a7","datavalue":{"value":{"amount":"+0.7168247103691101","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":"Q5485484$5D0EE261-F3E1-4FF8-81EE-7AD164E6EF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcfbb21451b0b2156f0fac1db106d4501c3f4b14","datavalue":{"value":{"entity-type":"item","numeric-id":3616220,"id":"Q3616220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dde1d3a0c7e76c7ccd1d78831162455a9f14b954","datavalue":{"value":{"amount":"+0.7089474201202393","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":"Q5485484$892CB8E0-96DA-4D0B-AA99-94A51FFBDD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344bf5546d871a489a126f793138b226cbc4edbe","datavalue":{"value":{"entity-type":"item","numeric-id":1819405,"id":"Q1819405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987ac463d2196aac05aa52280153f79badf30c08","datavalue":{"value":{"amount":"+0.7065755724906921","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":"Q5485484$C5990E49-FAE7-479B-A204-879C7B41D26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55addd44c10c14173b6f2b361a2cac54813dde0a","datavalue":{"value":{"entity-type":"item","numeric-id":4304132,"id":"Q4304132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d072f66db74dc1290ce43aee2c92bee92c03b06c","datavalue":{"value":{"amount":"+0.7053261995315552","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":"Q5485484$D0C6445F-25F9-4491-8165-CB17C1A5CFC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5485484","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5485484"}}}}}