{"entities":{"Q1683373":{"pageid":1694114,"ns":120,"title":"Item:Q1683373","lastrevid":68130609,"modified":"2026-04-12T21:38:05Z","type":"item","id":"Q1683373","labels":{"en":{"language":"en","value":"On fixed-point theorems in synthetic computability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6816534"}},"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":"Q1683373$7E182DC2-4CFE-4291-9AFE-D4B4A6AC4A52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cd2d9ccb6b8411d4bbd74a473fb6aed9f9bee08","datavalue":{"value":{"text":"On fixed-point theorems in synthetic computability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1683373$AB5D081D-C55F-4E2B-B93C-A7247117F603","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0bd9ee0ac46f7559aed5b50ba3dec45e63aa678","datavalue":{"value":"1403.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683373$A71D40BA-5259-4AA8-A9AC-33264D5F13AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f2df3919dd6f0285578bf9d7f4189831f0dfe16","datavalue":{"value":{"entity-type":"item","numeric-id":390413,"id":"Q390413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$3D59CCBA-EDBF-45A7-B0C8-9E0493A07094","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b20184a6fff1652901d0ca49b1ea674e3d21708","datavalue":{"value":{"entity-type":"item","numeric-id":250605,"id":"Q250605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$F960F387-E624-4B8D-8069-AB015B9E0AD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"854248848ffa58316de2f587c061c4c66e4e4ea2","datavalue":{"value":{"time":"+2017-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1683373$6F5FFF9E-0410-4E4E-A628-459311FF3ACA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683373$37BE8E16-10AE-4838-BF80-B136FB6E3936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be4cd99f0aaa2688661b2002577944d759906919","datavalue":{"value":"54H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683373$CEDCB467-364E-4F40-9DEA-84ED8DAC0E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683373$5C34CE16-A8B2-4201-8B1D-296E1E1A8C14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22a070aa18f99a477907ed799c27c7384cd77dff","datavalue":{"value":"6816534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683373$19DA46B3-D83F-4B9A-9D85-F9A9FABE18AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ede99d15840ea539cd09dd524f7bcf2a6351a209","datavalue":{"value":"synthetic computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683373$B58B6EF2-0539-4E6D-A06B-DCD1DA487B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b98241ded7975c0f16318c85fe17a6847618e0","datavalue":{"value":"fixed-point theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683373$520DE983-C6CB-4E5B-9C87-C464D0F334ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9199e6f91a390a75f9f59987e4b497d3de4515a1","datavalue":{"value":"continuity principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1683373$83825C71-3F15-4C64-83DD-7A4AEE89B6D3","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":"Q1683373$4743016B-E1BC-4251-840C-638379709B74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a04858a3c1d2b6a2fc995fb4b702efbc06b3dbc9","datavalue":{"value":"https://doi.org/10.1515/tmj-2017-0107","type":"string"},"datatype":"url"},"type":"statement","id":"Q1683373$6B55B85A-26A6-42E8-B940-60CCA180B5D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ece2ca10b16270e848d4c9444fb12aea60663cec","datavalue":{"value":"W2768826633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683373$432D199D-405C-4426-AEAB-7390F349596D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb38957e731e5275c5deddcd104913f80c935fd","datavalue":{"value":{"entity-type":"item","numeric-id":2852343,"id":"Q2852343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$21DB1375-ED52-4DFD-8643-7468AE9B51F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6953cbf488392dfca9efd6c0d58b935ee6ea5671","datavalue":{"value":{"entity-type":"item","numeric-id":651311,"id":"Q651311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$4E5C58B7-148D-4067-BA7D-7F6E408F9F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$A44C5505-EC71-4CFE-B507-505800E14196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68c250d398e623d795e5d7b483b44a661237736","datavalue":{"value":{"entity-type":"item","numeric-id":2844075,"id":"Q2844075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$AE736B23-572E-4B42-AD5E-A35FA47AAF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$C6A40127-AB06-467D-901F-B641525CBA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c92da0edbb6315f5fc10e8ac4f3b36534ca6a8","datavalue":{"value":{"entity-type":"item","numeric-id":3978973,"id":"Q3978973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$5463DF33-9857-4CC3-81F7-9EAE687EAEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466be3c62d075f8dd9bd7a67ff8112de4aecc6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5772803,"id":"Q5772803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$E21F6EBC-42C9-4DB6-BCBB-1E7EAEAEAED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$AEBC590B-6103-4433-9978-478AA5B196BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$965A9223-BA06-494A-BCFF-415117724BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7073698898958171b3a748b22b754af919d34b","datavalue":{"value":{"entity-type":"item","numeric-id":5622402,"id":"Q5622402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$A653A38A-06DF-4942-96B3-796C36F8F200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8ca8cf51ef97c1a3e57118457a1da4e8c18ee9","datavalue":{"value":{"entity-type":"item","numeric-id":5829025,"id":"Q5829025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$CA5D0C14-E289-45D6-BAAD-1B9E4EA9F20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6452450bcc9d58f3467a1463aad43bdb776205e3","datavalue":{"value":{"entity-type":"item","numeric-id":3230369,"id":"Q3230369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$BF67D361-9576-4680-8D8C-2D31464301A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a83f0bb883ffac343e6299387c4e2613e1c540f","datavalue":{"value":{"entity-type":"item","numeric-id":3043140,"id":"Q3043140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$DE7B791C-870E-4D7B-9816-E3BCB0109119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$B8439C9C-87E9-4C20-B1F7-04C522929449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$F006ECE8-9770-4B59-86AC-A3B95A371259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577ae6ea11aaf72b894e6869c297fab9f85488e4","datavalue":{"value":{"entity-type":"item","numeric-id":5260995,"id":"Q5260995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$677A44EC-D5CA-4B3A-93EF-00E27E1C3480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$8C1E0B4C-B4F4-4629-9D6E-D9D569B1C72E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6a2a13bc430b0585e5d3b268d111144e51f04f2","datavalue":{"value":"10.1515/TMJ-2017-0107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1683373$3FB3F912-98C5-4AD4-AC4F-D71BC599BFA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6177dc18404aaa31bd94c972eff8b9863be061ac","datavalue":{"value":{"entity-type":"item","numeric-id":793024,"id":"Q793024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b3e6a03517fdb3b32c6ac33104a6ddc2ad3e3e","datavalue":{"value":{"amount":"+0.7720619440078735","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":"Q1683373$A80732A1-6AE6-441B-A661-37958B78F8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdbec141371e51a9d0bff6b1e71b3f08e471b008","datavalue":{"value":{"entity-type":"item","numeric-id":2805156,"id":"Q2805156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d30042d7c8ed6de7a1306bcce97470df67adc93","datavalue":{"value":{"amount":"+0.7653018236160278","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":"Q1683373$D76506CB-97B5-4ADF-B490-2394DAC1602E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d827153ad894aed21dd71a86bccb66d15d49ca1","datavalue":{"value":{"entity-type":"item","numeric-id":418812,"id":"Q418812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0a9bb3b14bd22e6d0d0f9288b28f3ccac90194","datavalue":{"value":{"amount":"+0.7599833011627197","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":"Q1683373$E5E95423-2E21-44ED-9369-2221B95A825C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30203f47bdef4ce69358bdde5dfe8f5b2b0a067f","datavalue":{"value":{"entity-type":"item","numeric-id":1813970,"id":"Q1813970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377a11e771cd127acb59d92747b86ecb1db90f07","datavalue":{"value":{"amount":"+0.7531586289405823","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":"Q1683373$341B0421-317E-4215-BEC7-4D5493EAA920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5255beb8d43cd4b770bd54d5df7cde1d03184c74","datavalue":{"value":{"entity-type":"item","numeric-id":2576642,"id":"Q2576642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5a8b73934cd6897ca7675bf7002ab550f361513","datavalue":{"value":{"amount":"+0.7501841187477112","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":"Q1683373$D5C675D2-A045-40F4-BF63-C5978F3AECEA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1683373$A828DABB-3832-4687-A1C4-5AE643B4F5D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On fixed-point theorems in synthetic computability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_fixed-point_theorems_in_synthetic_computability"}}}}}