{"entities":{"Q3535608":{"pageid":5565512,"ns":120,"title":"Item:Q3535608","lastrevid":50492663,"modified":"2026-01-14T04:58:26Z","type":"item","id":"Q3535608","labels":{"en":{"language":"en","value":"Exhaustible sets in higher-type computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5365475"}},"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":"Q3535608$722B08CA-286A-4CFD-9D21-778EE8490809","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5359707a22c27a5beb173d452aa17762ca3a4d81","datavalue":{"value":{"text":"Exhaustible sets in higher-type computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3535608$6428656B-AAC8-42DD-8DE4-5D97F893EDAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74b5a554eda413a3d5d1cbd6472a9a816ccf6d64","datavalue":{"value":"1151.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535608$2A65AD91-9FFF-4BE4-B842-8024EB1DCEBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07f9499b513cd594ecf293c6709c5a6604290ba4","datavalue":{"value":"10.2168/LMCS-4(3:3)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535608$836A18BD-045D-493C-BDC5-5CAB50C39A96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16afa49763aa251d50707d52eece0d5ea5808a6","datavalue":{"value":{"entity-type":"item","numeric-id":168355,"id":"Q168355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535608$DFAAD7F3-00CB-4D3F-AF13-8B5C2893D59E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535608$129760EF-30D3-4788-9931-8627296835BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27f25e9d3b3894d698b7ec67f164a27a3aba1f7c","datavalue":{"value":{"time":"+2008-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3535608$7EB38393-0761-4112-B6EE-5726AAC1132B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535608$A2B27E28-99D2-4707-992B-4E5DE6CF320A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17d3205b54f9d53bfdfad81c769c559800bb170a","datavalue":{"value":"5365475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535608$F72D5CB4-38B3-4C75-9111-0A7A8AFED1B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a9ad05ed6888fcb20e3cde84d66685ca7e210b4","datavalue":{"value":"algorithmic universal quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535608$33D26B72-6D46-441F-8A8C-D6F835D55B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"192e132446af801f1f8966096824baab3d5a95b5","datavalue":{"value":"continuous predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535608$615F3B1F-2F13-489E-B9DE-504FED8DB205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4033909298719f95ef0d665af579c2cf5cec968e","datavalue":{"value":"searchable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535608$A5C85370-1F53-4D02-9C5E-837FED9D1F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5894ecff18cd375ca67041a24486b8275772536a","datavalue":{"value":"decidable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535608$5A8EBD2B-D20A-4E9F-893F-BB11ACCF96E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c0075b8aacaf8bc2f47c773088a1cc18480e0b3","datavalue":{"value":"exhaustible sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535608$E857AF91-4C37-4991-B845-CDFB31CEF240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f1124b1f4453113a28d664ddf4824eea31b856","datavalue":{"value":"Cantor space","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535608$3FAF3C73-11C7-4E39-BD49-B3414281A91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1eeebec53e806769fa5930bbd18795a75249897","datavalue":{"value":"hierarchy of continuous functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535608$80496AC3-FE82-4FF9-B88B-E144787C3EA4","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":"Q3535608$8B05ABF0-689F-48F7-9900-47ED4DDFE969","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a495bbdaaafe4f7613a89798e8e88129757bacd","datavalue":{"value":"https://doi.org/10.2168/lmcs-4(3:3)2008","type":"string"},"datatype":"url"},"type":"statement","id":"Q3535608$E4A4E473-309D-4883-82D2-E5B37493CEBE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f124cc13ab8189ed050e0c440641a4e37e8058db","datavalue":{"value":"W2151637386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535608$F39DB8D6-AD89-4B23-91AE-0CD144E35724","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"448cf96c59831f9cc67617bd5b53e6288c95ec8e","datavalue":{"value":{"entity-type":"item","numeric-id":2844001,"id":"Q2844001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9efdb613a1c5811df5644e23a0a84f5a57928b27","datavalue":{"value":{"amount":"+0.7882506847381592","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":"Q3535608$0B177409-FCB9-4583-8BD4-F01F1660AA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1870f3c4f3278ec2badee010d5f619ab32c0ca12","datavalue":{"value":{"entity-type":"item","numeric-id":2799751,"id":"Q2799751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e4e06504a01061d3e4605b594937a4b35594d3","datavalue":{"value":{"amount":"+0.7320849895477295","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":"Q3535608$608B2EE1-A266-415B-9B1B-9C055D64BDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b4b5b1cd47c69a15e0af3262e34a66d8225aa08","datavalue":{"value":{"entity-type":"item","numeric-id":3576051,"id":"Q3576051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be2f7e9587464ee85c49136c3fd5629c16370d5f","datavalue":{"value":{"amount":"+0.7191527485847473","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":"Q3535608$EE5CB336-5016-403C-9517-35D489C6CA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec13a73a21b5581639fa91ca0850098d310a1a79","datavalue":{"value":{"entity-type":"item","numeric-id":3222178,"id":"Q3222178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c7655e8bbeff6142d5fe0b6bbc2ded91ca24c35","datavalue":{"value":{"amount":"+0.7085912823677063","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":"Q3535608$F3F2E109-7233-4044-B9E0-24DEF5339624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"420018dde877c03474baac078f651a8e3bd6e203","datavalue":{"value":{"entity-type":"item","numeric-id":2844075,"id":"Q2844075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a774f63ee66f595cb0503fb870a4f53254b73e1d","datavalue":{"value":{"amount":"+0.708500325679779","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":"Q3535608$1C037497-248D-4A95-AAB0-2031655293E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3535608","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3535608"}}}}}