{"entities":{"Q3145979":{"pageid":3156695,"ns":120,"title":"Item:Q3145979","lastrevid":86316053,"modified":"2026-06-03T18:24:26Z","type":"item","id":"Q3145979","labels":{"en":{"language":"en","value":"Fixed point theorems in constructive mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6116173"}},"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":"Q3145979$FBACAB96-4363-452C-B8AD-DCC3EF849D02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3c770ec0f6dd7b7b35395b0498c60d8e710f9df","datavalue":{"value":{"text":"Fixed point theorems in constructive mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3145979$ABA09EC9-0866-421B-87C1-51940AF11485","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b39d4bf631054e3178ea437d381d9c0f14b47939","datavalue":{"value":"1329.03093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145979$1CD63D87-EF08-44F0-AD17-F2B1ED9226B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8256f57e609f901244eda2b0630d8c8976c53c72","datavalue":{"value":{"entity-type":"item","numeric-id":283110,"id":"Q283110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145979$D1944894-7DEB-4479-9DCE-2FEA0616D258","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33fa00db87827c11724d8a1355500a9a7034d47b","datavalue":{"value":{"entity-type":"item","numeric-id":2930865,"id":"Q2930865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145979$86637FAF-0C83-4BC6-8367-579F779D6CF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"361bffbceda806006d5fec8b3962c6c8e6ce4aff","datavalue":{"value":{"time":"+2012-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3145979$4239F9C1-BBA4-4057-AFC2-6CDC3BD631B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145979$378EF2D2-352E-422E-B0E0-EB1BCAC403B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"042247497c87912347e9595c7e8f4af0a995087b","datavalue":{"value":"46S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145979$177D676A-BE9B-47D8-A74B-1DC19A1A8B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145979$A60CA64D-79DE-41E9-A37D-EBE2955A412F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec625052005f5da314d6058307c2f650ba8b2aa3","datavalue":{"value":"34A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145979$7DB5F77F-011A-4EA1-AD84-B41AE4166DFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ee989f9915704ec46c884eccf599b2b1bc31d8a","datavalue":{"value":"6116173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145979$24EFB3B4-8BAA-4D96-9E72-B9957EEC2C98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a0764a475004acf5ee7338c13d75f34b2c50fee","datavalue":{"value":"constructive analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145979$381A67B2-6426-4FEF-9C7B-FC20058210D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4e3313b7fd57e978a7b934a45697dd9416fa643","datavalue":{"value":"fixed point theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145979$1BDE7145-2931-4A25-9F65-E4ED9B650A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b76dcf6dd0cbdbc5afd7b443439105af3394643","datavalue":{"value":"differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145979$25120D68-AB88-432D-A16D-0854E09ADE81","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":"Q3145979$E77A3CC7-864C-4B48-B660-CA6955BA6925","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc1c6a24ed1d537bdb825a88af1a5d0f02e546f0","datavalue":{"value":"https://doi.org/10.4115/jla.2012.4.10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3145979$24D84247-FE82-40BA-9D62-03C1F5F75654","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cf40de3587fa8fe42344019c174215107322bd6","datavalue":{"value":"W2048461317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145979$1F76A4EA-2A2B-4A1E-8403-8B7052438B8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd66ac7fd0ceb118276d029cbcd6ee28904d9193","datavalue":{"value":"10.4115/JLA.2012.4.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145979$71A8BC72-4CDA-4741-A376-4EBCCB9E75B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f86a1de4cc10130483a9718781959a1e5d56032","datavalue":{"value":{"entity-type":"item","numeric-id":5198366,"id":"Q5198366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a79cc45add8a0d44915b97e71084ef63a0c765d6","datavalue":{"value":{"amount":"+0.8266470432281494","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":"Q3145979$EEE70E15-09F3-413D-AF98-3D3B39CA2706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8403739c4f7cf60816208c7d262e366854df415","datavalue":{"value":{"entity-type":"item","numeric-id":420168,"id":"Q420168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"473f7dee395e426754556fe7879cd4934815aa39","datavalue":{"value":{"amount":"+0.800380289554596","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":"Q3145979$DE9F9FA4-4362-433C-9B50-00AFFCCED7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37f5c826be313e240ca5dc168313700796c7f62","datavalue":{"value":{"entity-type":"item","numeric-id":1191646,"id":"Q1191646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10df48bad5dba65569c06ddbfe8d8719a401ef02","datavalue":{"value":{"amount":"+0.7930079102516174","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":"Q3145979$B80E017F-575E-4AD5-AFFA-90EE78D6CD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb128eacbd4a30a58adb8f8dec83fb8206abf386","datavalue":{"value":{"entity-type":"item","numeric-id":3741625,"id":"Q3741625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8164a29475bddb19871506bc2e63fc3f51fbc741","datavalue":{"value":{"amount":"+0.7917730808258057","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":"Q3145979$26531302-1CB8-4AF0-8807-279D8AAF1259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c64b2db09625f5703f0b5dc21e3dd1ce638f8159","datavalue":{"value":{"entity-type":"item","numeric-id":3613310,"id":"Q3613310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a6010c9b7317b898996a2afffe0cda2c5903da","datavalue":{"value":{"amount":"+0.7891850471496582","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":"Q3145979$2C0F5ACE-E67F-43B6-8CB7-735DD54D6762","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145979$306D14EC-93F0-4B23-A961-7462FA0C6231","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fixed point theorems in constructive mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fixed_point_theorems_in_constructive_mathematics"}}}}}