{"entities":{"Q1314542":{"pageid":1325292,"ns":120,"title":"Item:Q1314542","lastrevid":67148148,"modified":"2026-04-12T15:37:03Z","type":"item","id":"Q1314542","labels":{"en":{"language":"en","value":"Systems of explicit mathematics with non-constructive \\(\\mu\\)-operator. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 503015"}},"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":"Q1314542$5D318415-5348-4968-9162-95C9B8B920F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f91867def515ab4cd91a179fd883a5a8f4ca2417","datavalue":{"value":{"text":"Systems of explicit mathematics with non-constructive \\(\\mu\\)-operator. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314542$283DD2B5-A9BF-4BCC-AC0E-191B2F3283BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6da2c938ddc09540b387705e35314d036b491b8","datavalue":{"value":"0794.03074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314542$D81F06E3-14B7-46F9-964A-C68DBE8CE7E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"912037477dfd622d63a4b4a7e29e7b7a2c54ada5","datavalue":{"value":"10.1016/0168-0072(93)90013-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314542$9892D6B4-9255-4848-B2E5-7F76E6CE326C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82475c6f9e360d44c01301733e93d758c0e9e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":190333,"id":"Q190333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314542$CC743579-2CD9-443C-B106-FC6F7AFAE925","rank":"normal"},{"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":"Q1314542$E4B8F350-4562-4E25-9516-FB7805C78FA7","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":"Q1314542$CCB1BC41-935F-48ED-B744-0E9108893E44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9dc1d0c12e6b3029895af224a3159efd0243462b","datavalue":{"value":{"time":"+1994-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1314542$3EC4BF04-BEF9-4D4C-B507-A3D10F65723C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0edbac36d7de9e17a7469088ae29bd7be646e027","datavalue":{"value":"Complete proof-theoretic analysis of two systems of explicit mathematics introduced by the first author is given. System \\(\\text{BON}(\\mu)\\) [basic theory of operators and numbers with a non-constructive minimum operator] with set induction on natural numbers is proof-theoretically equivalent to Peano arithmetic PA. Adding the induction schema for arbitrary formulas leads to a system equivalent to the fixed point theory \\(\\widehat{\\text{ID}}_ 1\\) of the first author [Patras Logic Symp., Proc., Patras 1980, Stud. Logic Found. Math. 109, 171-196 (1982; Zbl 0522.03045)]. The latter was proved by P. Aczel to be proof-theoretically equivalent to \\((\\Pi^ 0_ \\infty-\\text{CA})_{<\\varepsilon_ 0}\\).   PA is translated here into \\(\\text{BON}(\\mu)+\\) set-induction by applying the unbounded minimum operator \\(\\mu\\) in order to eliminate the number quantifiers. To translate \\((\\Pi^ 0_ \\infty- \\text{CA})_{<\\varepsilon_ 0}\\) the autors use the known derivation of transfinite induction up to every ordinal \\(\\alpha<\\varepsilon_ 0\\) from induction on natural numbers, and hence \\(\\text{BON}(\\mu)+\\) formula induction.   Translations in the opposite direction use the theories of ordinals introduced by the second author [Ann. Pure Appl. Logic 60, No. 2, 119-132 (1993; Zbl 0776.03027)] and containing the standard apparatus for defining sets inductively by ordinal stages. The system \\(\\text{PA}^ r_ \\Omega\\) contains induction on natural numbers for the formulas, where all ordinals are bounded. This allows to translate partial recursive computations over \\(\\mu\\), and hence \\(\\text{BON}(\\mu)+\\) set- induction. The system \\(\\text{PA}^ w_ \\Omega\\) contains induction over formula of the language, and hence translates formula-induction. The proof is concluded by the reference to the equivalences: \\(\\text{PA}^ r_ \\Omega\\equiv\\text{PA}\\); \\(\\text{PA}^ w_ \\Omega\\equiv\\widehat{\\text{ID}}_ 1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314542$F1DA333D-19A8-4275-815F-DE9BD8C20DCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314542$37C79B4B-7D82-408F-A277-75AE5F239857","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46125848f8d8c2aae21c120e7ec8d42b8e7a11b8","datavalue":{"value":"503015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314542$C1C92B67-E601-495E-A808-FE7DBF99D559","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8085d328ae4300a8e0cd7fc15a580a8bae7c9f3c","datavalue":{"value":"basic theory of operators and numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314542$DA207CBF-33C3-465F-9C1C-D850C316873B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92cd939212a186c51a62070a3f90dffef192aa72","datavalue":{"value":"proof-theoretic analysis of systems of explicit mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314542$DC5E95D2-EB66-4ECD-A72C-8A757C281A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314542$517BA427-0C4C-4C7E-89E3-928D834DAA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314542$F1C05991-60F4-4A84-809E-ED722051047B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfaa9b9e20665c5094ccf9cbb67a5dadcd2e087","datavalue":{"value":"ordinal stages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314542$3AAE035F-4E5E-45B0-8228-EA2E55405AB8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314542$5E63CF0A-A7C9-452C-B190-01B81D692ACF","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":"Q1314542$BA2AC53D-F3CA-4FAB-A4EA-63779DAF6C01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b692a1332e6e9fc5f9e8e9f4c2f2d2ba3837d8f3","datavalue":{"value":"https://doi.org/10.1016/0168-0072(93)90013-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1314542$D49C4220-1BE1-4F44-9CDB-5FDD535D7857","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8284ccebb3f59ffe6b4b425832a25ee3876ccd4","datavalue":{"value":"W2137355506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314542$54267CF8-5759-42FA-B4FC-C0FA4C606782","rank":"normal"}],"P223":[{"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":"Q1314542$FBAEFFA0-B9AE-4482-9933-81A40DC4E4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314542$4D16731E-62B4-40A5-9DCB-12F514CBF4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795988a055edb64e2872e1fd206565bb5c7a4af7","datavalue":{"value":{"entity-type":"item","numeric-id":5622162,"id":"Q5622162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314542$AEC2435C-08D2-4F9B-8E3C-B6763E5D1823","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":"Q1314542$B33D7914-281F-4197-8A73-D20968FF34FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61ddd64788745be925c7c4cbc9948dfa31aeee1","datavalue":{"value":{"entity-type":"item","numeric-id":4723729,"id":"Q4723729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314542$AD32D299-E504-4F77-9E80-F6917E91F8F7","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":"Q1314542$CC986537-5096-40D8-B9D4-A782B73A5562","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":"Q1314542$6238BA14-0A8D-41A6-BAFC-528B1CC743C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fccbe088f7c3a8c169e6f089f70d6b7da507d4","datavalue":{"value":{"entity-type":"item","numeric-id":3803081,"id":"Q3803081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314542$2F4868CA-B0E1-4008-8378-8FCD8227E250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5df7db95555fa1468e78d46d51f6b860611a5f","datavalue":{"value":{"entity-type":"item","numeric-id":4010354,"id":"Q4010354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314542$2777431F-D7F5-4646-AC69-3C7E06617EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18833ee5d6be366acf0e86e4da70da9a3f2df977","datavalue":{"value":{"entity-type":"item","numeric-id":5619071,"id":"Q5619071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314542$CE1AEB35-0704-4806-A23C-1B7F811B7F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314542$2257FBF6-B156-4272-9535-E5FCE4BD7FBC","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":"Q1314542$C4BCAC45-E4C2-4A27-A76D-D6B74E087488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd228306c03acaf84fd1c55f443623cadcf212a2","datavalue":{"value":{"entity-type":"item","numeric-id":1210139,"id":"Q1210139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314542$1B730DDF-CA29-4AD0-981F-BE555243A379","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":"Q1314542$62B72B1B-43D6-4D90-8D02-53F798038E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d356ebfaf5725a6262f13de5d5313f007ee40e","datavalue":{"value":{"entity-type":"item","numeric-id":5600870,"id":"Q5600870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314542$2128F5D9-F3FE-489A-9821-08C88FA768D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314542$3B787493-B74F-4F4C-AE58-C1249F7A48CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314542$40E6A853-FF41-48D3-8A41-BA5E7A3D189C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314542$481E0E3F-1202-4450-AE4E-C8BC807B2F41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cec389dbec5380b2d49d516875028782328c4b","datavalue":{"value":{"entity-type":"item","numeric-id":5687318,"id":"Q5687318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5e224de710d3778b622809e8afb51bff180620a","datavalue":{"value":{"amount":"+0.81972563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314542$68A6702A-942B-43F9-9A87-3FC1AE9C6B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"668bcb1c1a942ce16e0bd7468ad79496ad2fa844","datavalue":{"value":{"entity-type":"item","numeric-id":1919537,"id":"Q1919537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abeb49348596e7ba3bae2b7c5d8ebfd771fddace","datavalue":{"value":{"amount":"+0.78198713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314542$5C4C94B4-2EB8-4854-B5C3-B25799A3441B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27081edebe8529d76e0d99b7dc46dc143820f47a","datavalue":{"value":{"entity-type":"item","numeric-id":4032884,"id":"Q4032884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe1723c9b157149404bbeae31351bfd2b304f01e","datavalue":{"value":{"amount":"+0.77153087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314542$C0259992-947D-4A90-BF97-71FF9028A24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14a92b24d89c12e4743a7835410c4dc4906b44ee","datavalue":{"value":{"entity-type":"item","numeric-id":1267848,"id":"Q1267848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a8881e637e1bc999c071d80a9d6584094ca328","datavalue":{"value":{"amount":"+0.77058053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314542$44F192EA-DB8E-46B4-8223-425D9476E472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b06a363e99233f409cb556c258e79cd75b17df","datavalue":{"value":{"entity-type":"item","numeric-id":1295413,"id":"Q1295413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1135f0ee1d11515d2b4703d0d9d4126ec56ced5d","datavalue":{"value":{"amount":"+0.7620394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314542$D7A7A3DF-3665-4CD5-B31A-C0313DACFC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557eec930bee0c47a139b84a1c5cfe6cccd25912","datavalue":{"value":{"entity-type":"item","numeric-id":4212918,"id":"Q4212918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69acc248ea922a302cb5a65e4b32c0f603237a2d","datavalue":{"value":{"amount":"+0.7565471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314542$DEDA0DAB-3E98-4177-BAB7-F4087F777507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7154f3325514bba3684594faa8c4f4269f10a0bb","datavalue":{"value":{"entity-type":"item","numeric-id":1128178,"id":"Q1128178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccfc3690e8a3c9fbcc6e3b04ccf1c18c27943b5a","datavalue":{"value":{"amount":"+0.75596684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314542$63C3A41E-B4D3-44F3-B410-EBD9622E1AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"376d7026bd8a3057185ce625794676f45335d89c","datavalue":{"value":{"entity-type":"item","numeric-id":1577487,"id":"Q1577487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d454e00a5e92c2b7b5e0f5714ef8186b5a3342d","datavalue":{"value":{"amount":"+0.7550467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314542$7EEFAD96-10BE-464C-9089-D2BC73D1A6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c35cb0fa3c71429050b1ae1f8973100d43dcc9a","datavalue":{"value":{"entity-type":"item","numeric-id":1356976,"id":"Q1356976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6fce49e5f1d126337b8eec6b457f49e7d055b4","datavalue":{"value":{"amount":"+0.7515812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314542$12CE31B1-A75D-4255-9177-08581EFB5CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"039f7daad8d34e6c8ea6da9ff3d643960ac3a574","datavalue":{"value":{"entity-type":"item","numeric-id":3025192,"id":"Q3025192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f07c2a04b21b682da950a1762290749ef843b9","datavalue":{"value":{"amount":"+0.75150913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314542$12A2114E-1E9D-4338-9CE5-60E62BA1795B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Systems of explicit mathematics with non-constructive \\(\\mu\\)-operator. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Systems_of_explicit_mathematics_with_non-constructive_%5C(%5Cmu%5C)-operator._I"}}}}}