{"entities":{"Q2566068":{"pageid":2576811,"ns":120,"title":"Item:Q2566068","lastrevid":74231229,"modified":"2026-04-14T19:04:59Z","type":"item","id":"Q2566068","labels":{"en":{"language":"en","value":"Reflections on reflections in explicit mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207224"}},"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":"Q2566068$884D96ED-DF6D-40FF-B3BE-470357DA4522","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d42d85fd4b9988cbf387c9d4ec66946757b082c","datavalue":{"value":{"text":"Reflections on reflections in explicit mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566068$0F4811A9-4E5C-4A24-9A13-E98298AC84E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fe83d873bd56284a7859b3893f93cb937595e86","datavalue":{"value":"1094.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566068$87C470EE-17B4-4B17-AAB7-5B774E2D9DD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34cb696ce5008e0ad8b0b39e02b98fb8b38cd33a","datavalue":{"value":{"entity-type":"item","numeric-id":194997,"id":"Q194997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$D969DEF0-1961-41CA-8555-DD95B34BBCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"703e8b987ff5a02d9a59e4ce9f4b68bdce3e6ac3","datavalue":{"value":{"entity-type":"item","numeric-id":588960,"id":"Q588960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$E063BA4E-BED0-4745-86DB-11BDDB824E9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$A4EE4719-CC94-46C6-B3F4-84D6234825E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec9da92ba7b4e525d61f27d0c249399f1779b4c","datavalue":{"value":{"time":"+2005-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566068$D09B3B74-39DB-4A0A-AA1D-4992AE66EA42","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"642ea9737b9c763bb591bf06f8e8bae5ef5e9c9c","datavalue":{"value":"This is an excellent survey of the effect of reflection principles on explicit mathematics and similar constructive systems. The authors take up three successively stronger principles: the limit axiom, the Mahlo axiom, and the 2-universe axiom. They compare the strengths of various systems and their proof-theoretic ordinals. The results about the 2-universe axiom are new, and the authors' account is a delight. They exhibit a na\u00efve approach first, point out difficulties it encounters, then show how to modify it, and sketch the proof of ``EU+(2-uni) is equivalent to KPi\\(^0\\)+(\\(\\Pi_3\\)-Ref), and their ordinal is \\(\\Theta\\Omega^\\omega 0\\)'', and the like. (They further point out the possibility of extending to \\(n\\)-universes and so on.)  The authors begin this paper with historical and motivational accounts, then display (formal) languages including symbols and axioms to be used, with short explanations. They also explain relevant subjects like admissible set theories [e.g. KPi], and the \\(n\\)-ary Veblen function, which is a natural generalization of the ordinary binary one.  Throughout the paper an abundant guide to the relevant literature is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566068$D3347696-6468-4164-855A-1CACA2DE8265","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566068$93B564D2-26A4-4520-BFAE-4F7E41CAD8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566068$2C7870B0-FB13-40D3-AFB0-82D152012050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566068$9329BFC3-BEC6-41F5-9C66-E93DB663D70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566068$F8F68160-A39C-48A4-9833-C45CC835BD92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22789c4084054a79a8f5d5c40acefc78b941ca71","datavalue":{"value":"2207224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566068$DA7C9E9D-9A2A-4E5A-B00C-D12292CDFE59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"727b3ec56d58074193f7435cd3ea8556f355ea4a","datavalue":{"value":"reflection principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566068$056075CD-EE74-46E1-A2B5-C8868C8F38FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c37da5a7ecb4cfb11dfa756ceff132950738b3f","datavalue":{"value":"2-universe axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566068$9E1877B8-1289-448C-9FEE-58C17A225112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ef7d9e7fc9882bbae1db0036cc5d28c9b16662","datavalue":{"value":"explicit mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566068$39CB175D-6EF8-4137-8AA9-D0635FD90A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566068$C216E195-FA88-46CA-81A1-A8B41F7EFF75","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":"Q2566068$444861F0-D1FA-44B8-A011-135C3693B32E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16272f7ea82c875770a32d6e59e709d7db433186","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.05.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566068$1D8810D1-446D-4E2B-AB16-EBCDD3B9721C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1827ff040b1f433aef5cfb57354c307a737c1fa","datavalue":{"value":"W1981436950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566068$7F0B2EBD-A557-4FBD-B9AF-B0D4C9791425","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6cf0f41e7061f789fa7536cdb45a6ca9277033d","datavalue":{"value":{"entity-type":"item","numeric-id":3214912,"id":"Q3214912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$C73229EF-9414-4CE4-AA7D-F610F651BAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$811A2CA1-7075-477F-AEE6-B4ACABFC9077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d231028a06b9247fe4eceef543855a118cf2b5f1","datavalue":{"value":{"entity-type":"item","numeric-id":4109654,"id":"Q4109654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$626332A3-2887-4B17-A47C-41D9E5DA420B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$5174622C-E7B6-4E3C-9FB1-E2C3DDBFE36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$669731E2-4349-45D9-BDE6-F268EF08591C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c165ff1f162c68d8c431ce2def1730099f39078b","datavalue":{"value":{"entity-type":"item","numeric-id":3671968,"id":"Q3671968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$CF628C65-9690-4546-A1F8-E8C9EDA552C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb73f10ef06d2f95cf34fa3f9d1b79e97709c0d1","datavalue":{"value":{"entity-type":"item","numeric-id":1919537,"id":"Q1919537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$4B4A387E-DA11-4E42-9F86-55E533774D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0842236f0f9c6282c7fbe6f5512cae3e61d9ccae","datavalue":{"value":{"entity-type":"item","numeric-id":4111536,"id":"Q4111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$BBFD6B80-4218-4C32-8646-795569D1FC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b863b6036f4ba935e5046f5181aa4b1c5d780b87","datavalue":{"value":{"entity-type":"item","numeric-id":3895467,"id":"Q3895467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$6EE1122C-F1DE-4884-9FB7-ACF932A1B574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397e4e2ee65292a376a8df287bc918d9ec760e88","datavalue":{"value":{"entity-type":"item","numeric-id":4749835,"id":"Q4749835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$EEDF75A1-0C62-4514-8334-2E1246175ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6009c28f52c9fce33675352f603d785f36063528","datavalue":{"value":{"entity-type":"item","numeric-id":3710526,"id":"Q3710526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$42BF2754-C28D-4117-937D-3F1B2D54B2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$E5EA348F-E073-4902-A35C-F4B91D576673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aa70e2c28ea1c8c2ae35769edd88c14e43f1855","datavalue":{"value":{"entity-type":"item","numeric-id":2758045,"id":"Q2758045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$3E4C9837-E3C0-4513-99E8-742BB008CCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"499a95bca207fbf8c7061b1c293c572cca9800de","datavalue":{"value":{"entity-type":"item","numeric-id":3041187,"id":"Q3041187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$98FC75DA-525A-4B44-A193-5A1285CCF338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bb7bb61202307db43d4802956efbc479572508","datavalue":{"value":{"entity-type":"item","numeric-id":2747729,"id":"Q2747729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$CB8E12F5-9336-44FB-B2F3-9C2EE6A71FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92f9a19132225581d4e905536bc3c1bb59959768","datavalue":{"value":{"entity-type":"item","numeric-id":5957853,"id":"Q5957853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$FA2BEFE6-71F3-426D-BFE9-36A6B3FB92B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ca9f7aa5010ad97f1310c3aba35035909f6831","datavalue":{"value":{"entity-type":"item","numeric-id":5939842,"id":"Q5939842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$F0D20EA5-D553-4197-A693-A007CBEC8ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4e3a045fb18057576e3a052695370f915c6320","datavalue":{"value":{"entity-type":"item","numeric-id":4254619,"id":"Q4254619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$2834D3CD-8D35-4F8B-8332-316131E82E1A","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":"Q2566068$4DC89FE2-8EAC-4FB3-B17C-F390C977E629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$D78AFA29-6865-4C26-8C4D-BC9AE1277483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b24b5b561cde7a5eef6f6e87df461bfda495bb00","datavalue":{"value":{"entity-type":"item","numeric-id":3773877,"id":"Q3773877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$089DAEC2-A732-4A18-98EA-3E0498BFE95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df365e2750bcc90fe63e52a82b25a29336cdac5","datavalue":{"value":{"entity-type":"item","numeric-id":4079598,"id":"Q4079598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$EEFFC123-A1DC-4FA5-ACA5-0A426BA6F502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28f499c5818e483db3b89df80393d077d81e307","datavalue":{"value":{"entity-type":"item","numeric-id":1400604,"id":"Q1400604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$E4FE301D-3DB1-44A8-B7A7-4268F590A976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ffdb5f609972b5e61b742f9aacd4fe427f5eb7","datavalue":{"value":{"entity-type":"item","numeric-id":2651619,"id":"Q2651619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$B92A95B5-757A-4556-A4DD-837026420D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d15ce98cbd13813efdb2285504eb7077156b045b","datavalue":{"value":{"entity-type":"item","numeric-id":1102279,"id":"Q1102279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$7F23FC29-FD07-46B6-8071-4F5E21B687CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc1ad39823e87bfa0461332d92468ea40681b5f","datavalue":{"value":{"entity-type":"item","numeric-id":1568707,"id":"Q1568707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$43CDCDED-C30D-437E-A83A-32EA17D02235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$BB6EA14C-11EC-4D7E-AE9F-01472FBC66BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab695f6ca892767fcc28ad56cbfb6e401ee2f69","datavalue":{"value":{"entity-type":"item","numeric-id":4934569,"id":"Q4934569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$94E3D8B2-361B-4297-AEAD-B74A17258FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da21334ee638fdfaa9f205c067a244ea7b96c11f","datavalue":{"value":{"entity-type":"item","numeric-id":4532614,"id":"Q4532614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$46B83A80-64FE-4649-8BE1-3074F5D8DD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$BDE685DE-8CD8-4AE2-AD71-D7C1CF2DC9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb43f99617f4f32f64ac0d14dc91fb2d9b5dcfff","datavalue":{"value":{"entity-type":"item","numeric-id":1861330,"id":"Q1861330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566068$D7DF5BD8-0109-49DE-AD6E-E3C24437164F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33cc34206b7a1cb4f4ffb556040b2f3ce9089bb0","datavalue":{"value":"10.1016/J.APAL.2005.05.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566068$CDCDABAD-A539-4F5E-B38A-7114D13057E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ba9e1c5707cf410022f46b44512743ef44f288","datavalue":{"value":{"entity-type":"item","numeric-id":5939842,"id":"Q5939842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac6c7ae4027c16949e6f825605b09f43e550640f","datavalue":{"value":{"amount":"+0.7958677411079407","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":"Q2566068$BD2402FD-BD4C-4FA8-B1FE-558D401B40F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"743f7896bb12cb37d3c08727ce80999fa6c28a6c","datavalue":{"value":{"entity-type":"item","numeric-id":4262568,"id":"Q4262568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f07213e60925f77778ab575696d6d0002575a4","datavalue":{"value":{"amount":"+0.7935422658920288","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":"Q2566068$C1CA00FC-BD12-472C-A227-99FCBF3E8D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a9e75076ffad3624ca16b5cd1803c8de8b10b75","datavalue":{"value":{"entity-type":"item","numeric-id":4934569,"id":"Q4934569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c38874e6aba8af03a3fd18271c673de0679deb","datavalue":{"value":{"amount":"+0.7529460787773132","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":"Q2566068$5CAC80B6-12AC-4174-8C84-4C71D57FC44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"715dfc83428df757ebf108f9f594d982b63fc5e4","datavalue":{"value":{"entity-type":"item","numeric-id":1861330,"id":"Q1861330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c38874e6aba8af03a3fd18271c673de0679deb","datavalue":{"value":{"amount":"+0.7529460787773132","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":"Q2566068$BCB87E8B-F921-455D-B090-594A5FDD809B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f5c8c1fe1ebdc7610b001bcc2e796829a70067","datavalue":{"value":{"entity-type":"item","numeric-id":4894722,"id":"Q4894722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e8364f711efb96d795815fe7a6fd867d9a35d5","datavalue":{"value":{"amount":"+0.7505319118499756","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":"Q2566068$07F40CD5-F6BB-4A2C-8918-0EF196D92B03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reflections on reflections in explicit mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reflections_on_reflections_in_explicit_mathematics"}}}}}