{"entities":{"Q5015216":{"pageid":7044793,"ns":120,"title":"Item:Q5015216","lastrevid":54168014,"modified":"2026-01-26T09:34:19Z","type":"item","id":"Q5015216","labels":{"en":{"language":"en","value":"Extending KKM theory to a large scaled logical system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7439474"}},"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":"Q5015216$E30AC0C0-26FE-40BC-96EE-D02A7D15FF7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c27e840a8ab77ad52fd228e77efffb3a316673e","datavalue":{"value":"1480.54038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015216$8C7AEF5B-A9C4-48FA-B866-C5EADAD45E48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaea6faac4ef2596bd5c396d4afaa4a1019a9324","datavalue":{"value":{"entity-type":"item","numeric-id":172136,"id":"Q172136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015216$F2F282C4-B4B1-4DC3-A6F5-D83A73B4008D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3832ba244e67bab8dfbbd048c8e8f7c415dfc7d","datavalue":{"value":{"time":"+2021-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015216$F84F7867-9362-4710-A5C0-ED8A25A2499C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"be4cd99f0aaa2688661b2002577944d759906919","datavalue":{"value":"54H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015216$4B20485A-9180-4FAD-B873-BD66B67480C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"99c93b3955e331b94cdd8c7195df12d2b2494bfa","datavalue":{"value":"54-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015216$E2393701-C24C-4E2F-B334-0B0F1738376B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be723b2ba909bc8dbb94960f73196353245cdab2","datavalue":{"value":"46A22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015216$8121C82D-2EB0-4F22-8796-3A3E619AD59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"298fb0880c4feb8d033683fbf3f69c13f1c1d9f2","datavalue":{"value":"47H04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015216$0111D40C-CF5F-46A7-A142-1BBD756D3811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7058e6445d419a356a3fd5be04af78c961ea4f3e","datavalue":{"value":"47H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015216$35F652E1-9EEA-46B9-9607-7D2991C2795F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21436ac3453bf58bbf3af3108c78ecbbe6ae01bb","datavalue":{"value":"49J27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015216$E8CC672C-7F44-400A-B8D7-2420A506892D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1ddfb12deda3f6c88e3bb7a40285845e5786fa13","datavalue":{"value":"54C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015216$1FF59107-6627-4CD4-B8A0-D7DEF30E2E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8061410f8ec0c5df6639db10299e3613ee76eb9d","datavalue":{"value":"55M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015216$C63D6E36-660C-42CD-8D64-BDC5C46BDD3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9b06b4854c98fea3b98861c771b54b60f3743c6","datavalue":{"value":"7439474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015216$E587EC1E-00B3-4CC1-B027-11C8BB9C9886","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b2139b287c4431e71fbfcc0a4acd891f43277e","datavalue":{"value":"Fan's \\(N+1\\) lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015216$074D99C5-E24C-40A7-AD25-F800650CF244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74c698a5c572f5fd979f302122baa48d7aaf8a63","datavalue":{"value":"Borsuk-Ulam theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015216$91E6154C-48E7-482B-AA34-753BC6859F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b181891dfdfad0c2b11675e9de19ee0c77566c4f","datavalue":{"value":"LSB theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015216$262F749B-3DBA-452B-A9F3-72F0F2D810B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b10d37b472e032c9847e9fd16ee4ce982638ea68","datavalue":{"value":"Tucker's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015216$CCF1F961-836A-4797-AB8B-03EC2997D4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d5ae7843ea913d43df74cbd914848fba6052298","datavalue":{"value":"Brouwer fixed point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015216$E313EC63-7442-4640-9444-47F117FDE206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1eeb1afabdfea936edc5a32293318cb25264434","datavalue":{"value":"Sperner lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015216$DC5216A2-5D18-4D57-9192-4F459B00BCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203c6fb2a0ace541555a0f08b84f8762186111ce","datavalue":{"value":"KKM theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015216$80715C08-5C69-4574-9B5D-B655AA6992DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2caac2706504f2f1006241de1819141d7be685d9","datavalue":{"value":"Hahn-Banach theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015216$176FC655-22DE-496D-9F5C-65FEE36547B8","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":"Q5015216$92455C0C-BB54-4889-966E-AF77EE388AF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1911cc224da29e7dea07cce51719516d2731dcfd","datavalue":{"value":{"entity-type":"item","numeric-id":531693,"id":"Q531693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f99401442873f19e93603b38bcf9748821cf9546","datavalue":{"value":{"amount":"+0.7410078644752502","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":"Q5015216$7F666B0E-972F-4BE5-967E-96E301AAD39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7888d430553db3878e6884432b11f9ffca2096c6","datavalue":{"value":{"entity-type":"item","numeric-id":4327703,"id":"Q4327703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c3b4bebbb6812fc600e5ab89c1c0801fa24c847","datavalue":{"value":{"amount":"+0.7296034693717957","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":"Q5015216$3936E21A-ED39-40B7-80EC-DA02DA9DAE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f66707cac82ef357ca4c40d43243c220c0601815","datavalue":{"value":{"entity-type":"item","numeric-id":3202737,"id":"Q3202737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56f4995e09c0bfb1da355c5a67c416a8ac8c6264","datavalue":{"value":{"amount":"+0.7275132536888123","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":"Q5015216$41C0FC33-B793-4822-85B7-10FFF48DDA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18f44e1eae313e5e142e7b946fc5c84c9bc2d926","datavalue":{"value":{"entity-type":"item","numeric-id":4992961,"id":"Q4992961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a195b63b2bc991becb6b17745490a6d4ca17c4","datavalue":{"value":{"amount":"+0.7253293395042419","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":"Q5015216$3B00E4C5-F1DC-4EE2-97A3-9BED52314453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db43c88c39e5f8391152a2c1f6ae9a2aa4dd4562","datavalue":{"value":{"entity-type":"item","numeric-id":385246,"id":"Q385246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2195978d8b06a4945f8d28968e076fad37541e2f","datavalue":{"value":{"amount":"+0.7233054637908936","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":"Q5015216$D87F8DAD-8442-4BDC-AA3B-EBE0F0E1AAA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5015216","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5015216"}}}}}