{"entities":{"Q1193653":{"pageid":1204402,"ns":120,"title":"Item:Q1193653","lastrevid":66456126,"modified":"2026-04-12T10:11:31Z","type":"item","id":"Q1193653","labels":{"en":{"language":"en","value":"Map theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64938"}},"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":"Q1193653$3EC5C234-5671-4E08-90E2-6115D844A52B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"427d9af607f7890121ea69ebbdace9656d2e7c74","datavalue":{"value":{"text":"Map theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193653$512B67F9-9342-467B-8CA4-DA03E2299555","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"600c2e54798e7c6f7389a8182e42eb76f1c5eb5d","datavalue":{"value":"0805.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193653$E1152555-8570-4613-B7EB-1B92F858911F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eef9c3396c6aa3c73f343832bbe4b21e6dd44ee5","datavalue":{"value":"10.1016/0304-3975(92)90296-R","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193653$491A0A22-BC2D-4B8B-A633-A515323AB60C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd558cb7d4c7acf53a3fe2f7290c3e105f4274","datavalue":{"value":{"entity-type":"item","numeric-id":906268,"id":"Q906268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$959E12FE-446F-4661-BD92-968A82EF52E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$C8D89FE8-08FD-4891-B323-35DEEAA8D621","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193653$8F78FE21-64A1-4B3A-A76A-610D87B92B7A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8b3440e4bf8f0f785edd5b9de2f8f0f8ae2deb98","datavalue":{"value":"The language of Map is that of \\(\\lambda\\)-calculus augmented with five individual constants: \\(\\top\\), \\(\\bot\\), if, \\(\\phi\\), \\(\\epsilon\\) . The first two represent truth and undefinedness and the third is MacCarthy's conditional, but the strength of the theory relies on the last two: \\(\\phi\\) is a map which codes a well-foundedness predicate \\(\\Phi\\) and \\(\\epsilon\\) is a choice function ``\u00e0 la Hilbert'' which is linked to well-foundedness.   The ideas behind \\(\\phi\\) and \\(\\epsilon\\) are very elegant, but the axioms are only able to express consequences of them.   Formulas of ZFC are coded by terms of Map and theorems of ZFC by equations of the form \\(A=\\top\\) which are provable in Map, so consistency of Map implies consistency of ZFC. Conversely in every model \\(U\\) of ZFC + SI , where SI asserts the existence of a strongly inaccessible cardinal, a model of Map theory will be definable.   The paper is divided into three parts. The first one is a clear exposition of the ideas and intuitions behind Map theory, of its expressive power, and it contains a survey of the other two parts. The second part deals with the precise axiomatisation of Map and develops ZFC and its logical environment within Map theory. The third one deals with the construction of a model of Map inside a model of ZFC+SI.   This construction is highly technical and uses relativisation, G\u00f6del numberings, fixed point theorems for natural but rather complicated functionals, intricate definitions, and finally a quotient construction.   New consistency proofs have been recently given by the author and the reviewer, in the spirit of denotational semantics (paper in preparation). They rely on expansions of ``\\(\\xi\\)-denotational semantics'', where \\(\\xi\\) is a regular cardinal (the usual Scott semantics corresponds to \\(\\xi = \\omega\\)). The models which are given satisfy all the intuitive properties of \\(\\Phi\\) and \\(\\epsilon\\) which have guided the author and should lead to more attractive versions of Map Theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193653$1CD5AFE4-8621-4A1F-998F-F3BA89110ED2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193653$FA977430-7CB4-4795-B608-22E2535C0B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193653$3C6C1E44-6009-4B46-BE0B-AD2D9FBF5136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193653$665B9A94-4D4B-4437-864C-C9B25D51E3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193653$6C8E793F-CCEE-436B-B944-66AB926CB026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193653$DA76B47C-1061-489E-9ACF-854F43BADDDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"672d410f31a16cacc82690bbe4fa06dccf9ddad4","datavalue":{"value":"64938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193653$8D76A2E2-7468-4B61-A798-11CF39388383","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193653$B0A90B0C-0244-40CA-8A97-983E3DAE31A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4fa83722fdf809d8be064156e786d77ff9c0e86","datavalue":{"value":"MacCarthy's conditional","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193653$FB7C9172-21C0-4F42-B672-14FF7AEF49A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61c74102d7c391d3c119f4e947408ab802128be8","datavalue":{"value":"well-foundedness predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193653$8F444E73-D1D9-47CD-B889-9B1F93DC6E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193653$5C814459-E3E8-4EB8-A366-FA47DC266CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1fc85c51b29a76314bbdae3dbb7e4dcf56980dd","datavalue":{"value":"strongly inaccessible cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193653$5C6EF699-4212-4890-85EA-6DF9239D2D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb87c820025f83a0640ff6bb54cae809406c9163","datavalue":{"value":"model of Map theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193653$801C566D-1D64-4D8B-89BA-B26322876E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66278a5c931b890ca2a4eaf95c16a94ffb623e60","datavalue":{"value":"axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193653$F3B8566F-16DE-4622-91D4-AAD245914A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68138c6c4f989c8583da9383e27778d5268533ba","datavalue":{"value":"ZFC","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193653$F3C38441-0189-4841-B18F-1277B1410EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193653$981E81F5-3B5B-477E-BE9F-C47CD43E828E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd0edbdfa281825cdce2cef338d46b99c5e8d066","datavalue":{"value":"choice function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193653$07942F55-2415-406C-82B4-564426E435F7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cfea56292579072863c42a6e983fef653b45e536","datavalue":{"value":{"entity-type":"item","numeric-id":1391738,"id":"Q1391738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$CDC0FE68-875E-4D5A-8849-4FB317C8E39E","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":"Q1193653$94B42B8E-CD65-4EF5-A28C-D92E81B6B200","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$17C44578-5AE5-4703-8A0E-6DD56019B2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$A7DBD86B-D4D1-4A66-BDE9-D1610B3D74E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be84165c80d400eb5fbccb489212416fea3bece2","datavalue":{"value":{"entity-type":"item","numeric-id":3997112,"id":"Q3997112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$94F91B80-8966-4B7A-9693-D932558CA22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59107da81e96c701fa1346bd3051791bca44fc43","datavalue":{"value":{"entity-type":"item","numeric-id":1825191,"id":"Q1825191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$223B0107-F608-4DB3-90DA-6F0EA13F93B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2d5b3b619440a8688bc904c8977683133d0bc7","datavalue":{"value":{"entity-type":"item","numeric-id":1244808,"id":"Q1244808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$1BE8C8A1-5694-4764-88AB-943B90D837C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e9cd00bd888e0c2ec3144ef21f154ae7d49a0","datavalue":{"value":{"entity-type":"item","numeric-id":5573370,"id":"Q5573370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$287AFBBB-A255-43A2-B923-9F463ABDB332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972e7530e39d8fc945a4cf299602f0ae6ce6436f","datavalue":{"value":{"entity-type":"item","numeric-id":4108328,"id":"Q4108328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$39AC739C-A3B8-4F9D-9697-6C6DF10BB9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ba3ea96d89c1181d699d16adfb5d07cea2af8e","datavalue":{"value":{"entity-type":"item","numeric-id":5585364,"id":"Q5585364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$57D30362-A9BB-4000-A835-21A22DE491EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e002c7703a7e63f8238d4e7c16ac6a5af026e65","datavalue":{"value":{"entity-type":"item","numeric-id":3862437,"id":"Q3862437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$16F161A2-D1FF-4088-98D0-53CC16E18DF1","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":"Q1193653$5A800E7F-7BBF-4F96-9327-3953CAE82C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$5BE33DA8-E9C7-452C-8856-522692CD9523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770d73cf4787ca9600c37380f13abfc0aee7abcf","datavalue":{"value":{"entity-type":"item","numeric-id":5586435,"id":"Q5586435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$3AF0A104-3E05-41A4-9F2B-AD2646D12F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc22e82df66b894e32f3a281f6d3ae48dc7ceb96","datavalue":{"value":{"entity-type":"item","numeric-id":5553251,"id":"Q5553251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$2CCDFA94-D724-439C-9E45-3DD7530D3396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$CECE9A23-9094-4617-A222-E2EF0BD660BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$9A0273A4-F61A-4E54-A6EC-E278F4C7BBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a935d8a6d38fa08406cc5caf1b9ac2a739c373","datavalue":{"value":{"entity-type":"item","numeric-id":5586197,"id":"Q5586197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$809716A1-8F59-430E-8D97-DFD58BB4CE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e384a648b452f8656c8a88f9cffb922d3750483","datavalue":{"value":{"entity-type":"item","numeric-id":4109652,"id":"Q4109652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$C8F6953D-0CC8-4FA6-B789-B4DF7843379A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8470718175ec6109a436628221c5cffb3ba70aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4167525,"id":"Q4167525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193653$1A7C6A38-C66F-4A61-98A2-B2C234D3733C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2ed7a5d0aa8974347f98dc75bc864f1dfaefc18","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90296-r","type":"string"},"datatype":"url"},"type":"statement","id":"Q1193653$D5EA01A6-6C66-4771-AF59-3DB0C8A95004","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4034ba471539c38129d4e149a711d9782a75877a","datavalue":{"value":"W2912844405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193653$66EC982D-8AEF-4CC3-8C95-B257CD2670E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d773bda8815738787f5a26fe0ba26bf7884af243","datavalue":{"value":{"entity-type":"item","numeric-id":5906925,"id":"Q5906925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1754c1706021c74b12c8f06bb61cea9d9f85ae0c","datavalue":{"value":{"amount":"+0.8941020369529724","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":"Q1193653$D83BBD02-D400-4F20-816D-6C2568447718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d03b7f5cb32eb1acbd1fe0871d738cfbf41add55","datavalue":{"value":{"entity-type":"item","numeric-id":1317437,"id":"Q1317437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1754c1706021c74b12c8f06bb61cea9d9f85ae0c","datavalue":{"value":{"amount":"+0.8941020369529724","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":"Q1193653$63C6A3CE-C714-41D9-9E8E-088025812B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dff8dba3462c0d742281e13a3acf2e9f92c2e18","datavalue":{"value":{"entity-type":"item","numeric-id":906269,"id":"Q906269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd0b7631eb49c71e722535c9810e153674ada9f","datavalue":{"value":{"amount":"+0.8875800371170044","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":"Q1193653$1DEC778C-10B7-4074-B58B-A58471D8F8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbce8a871e1e2cdf9db960e828ce73c43cc19ef5","datavalue":{"value":{"entity-type":"item","numeric-id":2851548,"id":"Q2851548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e18cc9b91d16dc96b2cb131359d272fbcad0da46","datavalue":{"value":{"amount":"+0.8252833485603333","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":"Q1193653$8FE8D53E-7E2D-4BF7-AA3E-AA31A1CACA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e01dd5089f7e311a7c90bf9996164b5af3b03be4","datavalue":{"value":{"entity-type":"item","numeric-id":877560,"id":"Q877560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e6156dc2c3b38c93094c81f0a662a34259e6c1","datavalue":{"value":{"amount":"+0.8119436502456665","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":"Q1193653$FC0CB8B0-1D2D-4550-A77F-2EEDB83CFF66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Map theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Map_theory"}}}}}