{"entities":{"Q3195707":{"pageid":3206415,"ns":120,"title":"Item:Q3195707","lastrevid":86424512,"modified":"2026-06-03T20:58:19Z","type":"item","id":"Q3195707","labels":{"en":{"language":"en","value":"Local compactness for computable Polish metric spaces is \\(\\varPi ^1_1\\)-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6496626"}},"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":"Q3195707$9BC0A2DD-1D63-4939-B7C6-4EAA29035A04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c80ffde7765fbda4cbea988e284c6ef42a22be0e","datavalue":{"value":{"text":"Local Compactness for Computable Polish Metric Spaces is $$\\varPi ^1_1$$-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3195707$FD63B69E-88C7-4D0D-B351-AE7122F1B2F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62b45b6577c1de0be51da85d0063650c2657d8e0","datavalue":{"value":"1461.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195707$3B5BB222-69E1-4D5A-AA00-0D3E576EE55B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7f9a48754eae1930ffbca4af167d4fdab352de8","datavalue":{"value":"10.1007/978-3-319-20028-6_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195707$F7A48ECB-C22E-4DF4-8475-65667301FC8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43fe99ff9293f8f20f9f81a490ad97d6c40cc252","datavalue":{"value":{"entity-type":"item","numeric-id":218973,"id":"Q218973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195707$EB7C263E-11CA-42BB-8140-E8915BDE5957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dfdf655f4c4510ce586943d11ba9dbf60caf665","datavalue":{"value":{"entity-type":"item","numeric-id":178067,"id":"Q178067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195707$9735B7FC-8098-4ED6-B87A-1CAD46C28404","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"39ee08c48ae28407a794503fb9ae66e254bd82d3","datavalue":{"value":{"entity-type":"item","numeric-id":3195673,"id":"Q3195673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195707$16002FEC-25DA-48E3-88B4-484AE0BB9F06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca124807d665f1ac71f73d3aada45c27dfaabea","datavalue":{"value":{"time":"+2015-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3195707$00B9375F-CD7C-414C-A9A1-E4F129E905F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195707$4DD7885F-B792-4BCD-8A5B-2A6E7B72D6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195707$143289C3-3F3C-4659-B018-83DE9A37ED5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195707$744C85B6-7455-4279-BA43-AB52E628E851","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c56fad8cc59effcca4e3618a6d64d76d72123f0","datavalue":{"value":"6496626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195707$93DBF1EC-1DD4-42C2-ACA2-34ED6CA9E869","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":"Q3195707$820E5740-6C3D-454D-8DD0-8EE767287EE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30467f5c1e34610db6c91d49ab634e94bd2c132d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-20028-6_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q3195707$D32272DB-3B8F-4955-B2CE-65CE6EFD3907","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a75b265abc313eea8fe29f91218763e2f4fd0ac8","datavalue":{"value":"W940564044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3195707$69A101AC-B081-4AE4-B921-5BC98B0223A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195707$59EA04D9-0DD5-44D4-919F-C4083F52A3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e0950f5ab2d8b76097477425099e3544341b51","datavalue":{"value":{"entity-type":"item","numeric-id":5326380,"id":"Q5326380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195707$2D260FA8-02FC-451A-B9E7-74803B6BBB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f97ccb5da259729124cadfc6aaef473d80a2a98","datavalue":{"value":{"entity-type":"item","numeric-id":5300468,"id":"Q5300468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3195707$1487706B-33C6-43AE-A4D4-A27E1291689A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c09c675fd0d2e7289472269e60bb3e48bd4f11","datavalue":{"value":{"entity-type":"item","numeric-id":5485484,"id":"Q5485484"},"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":"Q3195707$83F1F45E-1778-4D9C-881D-260F5BBA6033","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":"19b5cc55b7055522827bffbb0b19c2e2a4c3edaf","datavalue":{"value":{"amount":"+0.765007734298706","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":"Q3195707$A26089B3-384B-4081-AF13-E506FC00C3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a4798baf035b2dd03b59d191c62ceff69863e8","datavalue":{"value":{"entity-type":"item","numeric-id":5326380,"id":"Q5326380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b5a10c4690762fe31115ced62a9bd12c71af8e8","datavalue":{"value":{"amount":"+0.7603981494903564","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":"Q3195707$9F00B143-6D86-41CC-933F-28A76539B867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a705d5cd542b7ecfa493977c564cdcbe5493b39a","datavalue":{"value":{"entity-type":"item","numeric-id":5858927,"id":"Q5858927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e703e6f49535a04d5c67d1f0450e7ee3bb2d26","datavalue":{"value":{"amount":"+0.7548955678939819","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":"Q3195707$F32D2A4F-28A8-4891-94A5-CA40E012C364","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":"e34b7cda1587f9389794df206dc814b1bd0120de","datavalue":{"value":{"amount":"+0.7501620650291443","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":"Q3195707$9C7C47F3-4096-4AEE-8AC0-325C497874CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local compactness for computable Polish metric spaces is \\(\\varPi ^1 1\\)-complete","badges":[]}}}}}