{"entities":{"Q906269":{"pageid":908117,"ns":120,"title":"Item:Q906269","lastrevid":65279541,"modified":"2026-04-12T01:30:42Z","type":"item","id":"Q906269","labels":{"en":{"language":"en","value":"A synthetic axiomatization of map theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6533897"}},"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":"Q906269$1244E58E-D220-475A-906A-50AE652F6024","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3565accded36a79c8fcb59d8c8992c14136c57e0","datavalue":{"value":{"text":"A synthetic axiomatization of map theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q906269$E62CFEC2-6E87-4D45-8E78-85C8385D2B82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8e527944acdcf8f81b9d78128c90aaa7d46f4fc","datavalue":{"value":"1403.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906269$DFBE3601-029A-47A0-AC59-49F6E7098079","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":"Q906269$1C7B1595-2632-4495-A133-87770A130F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f68270b02753f40aeb8c3f7c3db3ee0bba3d62f","datavalue":{"value":{"entity-type":"item","numeric-id":1391738,"id":"Q1391738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906269$2752F486-76F7-444C-BA81-5E9880A95153","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":"Q906269$E7E07201-C51F-400F-A2A9-9F731A160BF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6937e10c11873e4101540e0d8cbdc70be054cd81","datavalue":{"value":{"time":"+2016-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q906269$12C86475-688E-42D5-AC05-71C8B1AD66BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906269$086D22C6-D853-43C0-9E22-4D82C270D239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906269$9CF7B655-0696-497A-BCAA-F6D309970DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906269$A7F44C01-5A56-4691-AFFA-72704D56B42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906269$AAF444F9-85BE-427B-90C0-B348F3D98ECA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c3f0bfc1571d131ef8641012beb3b5afb5daab9","datavalue":{"value":"6533897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906269$55773CB3-DEB3-4117-B085-FB857E7C1E55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q906269$4B634E70-44DD-4E7E-B1CC-D7930E47C6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f5eeb81f0f69f74992389a82ef0e993259e6d4","datavalue":{"value":"foundation of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q906269$14A38DE2-64B8-4486-9768-187814516FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0600458cf611ea0618b0a88548c7f09d3cd2ef","datavalue":{"value":"map theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q906269$62C6796C-03FE-4B98-A60C-CCC9B7CFE095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34a4cf89a7af5901e8667e222ffb0a2afb0410b2","datavalue":{"value":"\\(\\kappa\\)-Scott semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q906269$4D9F0529-4F7F-44E1-9E63-A70809769B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3dfba22cdcb5ecb769ea354e5e67c7c33fc616d","datavalue":{"value":"Hilbert's epsilon operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q906269$15F7E000-FA91-43CC-9014-229605F14251","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":"Q906269$78BA152E-ACF5-400D-902B-6A2CBD6F8768","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8ebe7a07a53159995b79d155bac87af95ca3103","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.11.028","type":"string"},"datatype":"url"},"type":"statement","id":"Q906269$A5F15E7D-030C-42A5-9D76-5B6591912362","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59745da06593f304ed92040e625e55a267f3d5b9","datavalue":{"value":"W2248151630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906269$0CCEBAF2-5407-4EB9-B0DA-71CD00029869","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":"Q906269$D4659460-59B9-441B-9C16-01740AF12D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906269$75140D18-348A-4FEB-8399-BCCB5A9D43D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b91c1e597e7a30d5292d890194aa38d3dc1889a","datavalue":{"value":{"entity-type":"item","numeric-id":1583485,"id":"Q1583485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906269$27A8AE32-DA5D-483C-BCAC-0D133DF28703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"109555c3d4733da0f3433f48d3dc0a0ac4084fde","datavalue":{"value":{"entity-type":"item","numeric-id":5906925,"id":"Q5906925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906269$222FE62B-D3E8-4303-8E86-7CD5AA30C96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29814f46a951d520e6564eb1a9c06825ffd020ae","datavalue":{"value":{"entity-type":"item","numeric-id":1839846,"id":"Q1839846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906269$AE6F0989-B2F2-493C-B922-7A3764A0F5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0a1e0dadf7413f34ec8d383700eef58356b0aa","datavalue":{"value":{"entity-type":"item","numeric-id":1104320,"id":"Q1104320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906269$96D68B51-EF0F-40D3-8760-DED9D63240B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef2ab9c6997f51b87759e059d0418fd2324c6a9","datavalue":{"value":{"entity-type":"item","numeric-id":1121865,"id":"Q1121865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906269$A01C3AE7-CD0B-4F45-A81B-177FBE9932E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a442df7fc5b2e13404a6aff88cfc0223c7cbae","datavalue":{"value":{"entity-type":"item","numeric-id":1193653,"id":"Q1193653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906269$18858CCB-9CE8-4746-929C-996CF049DC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d1c86f3e68da6605f198ee27246e3e58f6e33df","datavalue":{"value":{"entity-type":"item","numeric-id":2847393,"id":"Q2847393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906269$541D9FA7-DB71-4504-999B-C02464C5D890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744e14eea0066e9bf58cf89f5aaf9cbf292ac319","datavalue":{"value":{"entity-type":"item","numeric-id":4297437,"id":"Q4297437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906269$8CC0EB57-7DE5-4E23-854E-26786DE828FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906269$8535FDBD-BED4-413E-94A5-DC757C3A18D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94fcc7442c7eda828acd5a45d80a03c3955e59f","datavalue":{"value":{"entity-type":"item","numeric-id":877560,"id":"Q877560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906269$F326193B-9CE9-4BBC-AEFC-0B4615BD1A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b65015db50d00ce0ecaf52a5afc59c8554989d9","datavalue":{"value":{"entity-type":"item","numeric-id":2851548,"id":"Q2851548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q906269$5570967E-A4B6-42B6-A4FB-3605B9391388","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"977c4f5b54d66171ff0964e361b10b541096b6d7","datavalue":{"value":"10.1016/J.TCS.2015.11.028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q906269$7E471CBE-1662-4844-BAB3-4D9B2020FFAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71690b7d8fa1848a2d6f71ed383a6f17c9da4494","datavalue":{"value":{"entity-type":"item","numeric-id":1193653,"id":"Q1193653"},"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":"Q906269$97D5BE70-E9FF-4A68-A578-312E7576B50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f2a48927bf53a9dd3ff33ad2a42e423ae0b6c0","datavalue":{"value":{"entity-type":"item","numeric-id":4503910,"id":"Q4503910"},"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":"Q906269$927DE1D5-3C65-43C1-A020-BE51A584A341","rank":"normal"},{"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":"688f56490ee9297d2efa5d5899c5fa4edbf74f8b","datavalue":{"value":{"amount":"+0.8722597360610962","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":"Q906269$26457A51-E52C-435A-8693-21D0867929C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87325b55bbb0f1891d1b43559b6396d02aee6a1a","datavalue":{"value":{"entity-type":"item","numeric-id":1583485,"id":"Q1583485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688f56490ee9297d2efa5d5899c5fa4edbf74f8b","datavalue":{"value":{"amount":"+0.8722597360610962","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":"Q906269$9FB79E79-D0CD-4853-A0C1-C0D89430E3EF","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":"5ad40a94fb125188de81d73d1c4d84dec651002a","datavalue":{"value":{"amount":"+0.8361490964889526","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":"Q906269$CAC6C702-E9C4-489A-95EB-C20293C95F80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A synthetic axiomatization of map theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_synthetic_axiomatization_of_map_theory"}}}}}