{"entities":{"Q4254679":{"pageid":6284280,"ns":120,"title":"Item:Q4254679","lastrevid":88627172,"modified":"2026-06-04T15:01:29Z","type":"item","id":"Q4254679","labels":{"en":{"language":"en","value":"Relative constructivity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310793"}},"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":"Q4254679$5E1E5487-1D34-4E61-8E2A-6CEC44C9BD04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8e32e7938032433ec22ae34733000a251cd20cc","datavalue":{"value":{"text":"Relative constructivity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4254679$C4DB0EC6-9397-478C-B508-5884C9AC8C63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7735c30e7c3bac72784bf7d7548a153a6c4015a2","datavalue":{"value":"0928.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254679$285E5C66-3BC3-480B-A467-6337B9723E23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4309643a2ad57470df8a6b12c813fba3706089a","datavalue":{"value":"10.2307/2586648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254679$1F3CD83A-08DA-4EEF-975B-0CEA9CC1D617","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3757c450e8ea3891f056e58fdb032b2670ff909f","datavalue":{"value":{"entity-type":"item","numeric-id":175049,"id":"Q175049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254679$D3BE8CB2-74AB-4C55-9DCD-79FBD900A8C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254679$B7BC6AD6-2622-4255-88D9-A78613F679F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4254679$B7165D78-83BA-470D-986C-4F20021898CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254679$6ED49F2B-2354-4168-A331-E6581CE7057B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a1017587cfc4312bfad522f1ed0d66aa89c4ba2","datavalue":{"value":"1310793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254679$DB9DCD54-0A32-4330-96C2-F47DBB2C8322","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30a84fad84f256294e4c85978957b9f7795afa12","datavalue":{"value":"partially constructive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254679$AEBF511F-ECD8-4033-A185-97BB0F451840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62b36dee9c340ef6e39d97eead56bd9f8a232d34","datavalue":{"value":"intuitionistic higher-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254679$9104694B-52F8-4888-92BF-FC7962CA8553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71c4a92adbedbfb521f5e87c0373e472b1b129d","datavalue":{"value":"maximum of a continuous function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254679$EAF03E1E-D77D-4D43-AF4F-ADE7255627CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28501ccf669bfed903e757b569ef34d8231d2b65","datavalue":{"value":"Brouwer's fixed point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254679$B607FA41-BCF4-4745-8D82-5ABD50E49EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f97d1e0f256c6f02214b39eda9cad3beba692df0","datavalue":{"value":"comprehension schema for negated formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254679$FA55E15B-8B52-4315-86F3-ED5FF1F76A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd4fcc4bd5c50a2435d5a835bdf91da001443e76","datavalue":{"value":"monotone versions of modified realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254679$24E1E8CC-1CFF-46E3-8A35-1190357D54E8","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":"Q4254679$B9547FB9-8262-4958-9885-AA4F49197E10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3bc8c5ee1b9bd283094a225fae0b22369c62132d","datavalue":{"value":"https://doi.org/10.2307/2586648","type":"string"},"datatype":"url"},"type":"statement","id":"Q4254679$8CDD7393-5310-40B2-840F-F4A57FBCD630","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1564403e147992439e548b6014aaf02ecdf32684","datavalue":{"value":"W4248790316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254679$2440C4BA-8350-4A82-9078-DCDE3D43919A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afbc97af483bf775df1cf70009b2d3845e270b88","datavalue":{"value":{"entity-type":"item","numeric-id":4175530,"id":"Q4175530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254679$5BA19EDD-8EE4-49E8-807B-1973501A9496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254679$59D7AEA9-48D8-47F1-93F2-4485E0793BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c29249d4170f759b7d4af5601eba4261cac0c4","datavalue":{"value":{"entity-type":"item","numeric-id":1354332,"id":"Q1354332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254679$B9B0E481-7DF6-4DCB-8BF6-87D157A4CF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63bbb39bcfe69bda1f8d488da6e73412c05ff49a","datavalue":{"value":{"entity-type":"item","numeric-id":805612,"id":"Q805612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254679$2A55971D-BDA5-4174-88BC-4C0E692DA2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254679$3422BA93-35A7-4D90-8F20-50B6D772C7C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd630a00dd35f20ff817b0a3ae928d3c1724937e","datavalue":{"value":{"entity-type":"item","numeric-id":3329455,"id":"Q3329455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fdd9036e93a0b1235611d29ce92607ae2609d41","datavalue":{"value":{"amount":"+0.8683863","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":"Q4254679$E2A2DA9E-2DC7-43A3-8BC1-5B81D080C2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"629c2d7f94565c97592390cecd6e263f3452d837","datavalue":{"value":{"entity-type":"item","numeric-id":5274795,"id":"Q5274795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f3a41f2627493e8041842ff803dfc19f561d3e","datavalue":{"value":{"amount":"+0.86838627","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":"Q4254679$B3093D97-D729-40BE-A887-AE54392E948D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19d7b5c21d5788e51fb20139f0dc9167f94b76f0","datavalue":{"value":{"entity-type":"item","numeric-id":4694290,"id":"Q4694290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef1dbae90b4f20e50700fd610dffb0a892e5144","datavalue":{"value":{"amount":"+0.84571457","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":"Q4254679$76FB5D40-BC1E-447C-98CD-3C3196CF19A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c67d9b071e71475ade4477794b2b6601c2de1b2c","datavalue":{"value":{"entity-type":"item","numeric-id":6173826,"id":"Q6173826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fc0029eba805b6430105aa619efaf3fe2fb2bc6","datavalue":{"value":{"amount":"+0.82831657","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":"Q4254679$12DFC7B3-241A-4B5A-B590-E6BF224249F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70cc80044f2ebba1d573679a54781940d183a73","datavalue":{"value":{"entity-type":"item","numeric-id":4531082,"id":"Q4531082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bf8ed1d8229a9ff5fc2a12ae8dbc46e37116ee4","datavalue":{"value":{"amount":"+0.8253124","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":"Q4254679$8DFE17B4-6B17-4D0C-9BE5-86ECF7570A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e06c58549ac6697d196816dab4a921c08451a555","datavalue":{"value":{"entity-type":"item","numeric-id":3007586,"id":"Q3007586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f214254221547bc9be1909d1235e412abee464b1","datavalue":{"value":{"amount":"+0.8213259","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":"Q4254679$F0C2E485-4193-4F50-B9D8-2219173F947F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da1907b3482ffd42b02fd5277163fbdad38e5e82","datavalue":{"value":{"entity-type":"item","numeric-id":3476810,"id":"Q3476810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"424abb2bb6ae2071fb7697f783b2c44edbfc9143","datavalue":{"value":{"amount":"+0.8190707","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":"Q4254679$ABD313B4-13C5-4BC1-ADB7-04FF47F2C17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c677b2e68ac639ce0ed7306897ed63e35ccc48a","datavalue":{"value":{"entity-type":"item","numeric-id":4659153,"id":"Q4659153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e513e298bab8af05bee38bde05d798431a3de263","datavalue":{"value":{"amount":"+0.8086655","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":"Q4254679$39244793-E7EA-404D-8447-205652EEEB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1075d6b1dc0bbe847b2626c17dbef386cfb2cbb","datavalue":{"value":{"entity-type":"item","numeric-id":1182305,"id":"Q1182305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d1861c84ae52016caa5a31e4123467ebcc76cd","datavalue":{"value":{"amount":"+0.8066224","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":"Q4254679$30193991-6DD7-4A36-AB19-466EFAB65A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e94ece304676201f8142b463f08b93bc59607e4","datavalue":{"value":{"entity-type":"item","numeric-id":5708274,"id":"Q5708274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77526bff095a4298174e59f85118fa506656a335","datavalue":{"value":{"amount":"+0.8053768","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":"Q4254679$499501C0-434B-4F34-B2B9-C36AD635E0D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relative constructivity","badges":[]}}}}}