{"entities":{"Q1896484":{"pageid":1907226,"ns":120,"title":"Item:Q1896484","lastrevid":71095680,"modified":"2026-04-13T19:26:55Z","type":"item","id":"Q1896484","labels":{"en":{"language":"en","value":"Totality in applicative theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 791273"}},"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":"Q1896484$2E7CC31A-E9CC-473A-856A-339CAFD2730C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d50aaa8e0211f17cadd459664f71c870190c1641","datavalue":{"value":{"text":"Totality in applicative theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1896484$C9B17247-7163-45B8-A4D3-AD0071540463","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7369d33d670ff66b9159470637b70dab4dc659e7","datavalue":{"value":"0832.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896484$117EA9A4-594E-4A10-8BF3-9007A4750B8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0c275d557898d6325a9b7325f39de020433e256","datavalue":{"value":"10.1016/0168-0072(94)00037-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896484$4B927C9A-4466-4B85-A27F-FA093619F686","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":"Q1896484$CE88500A-4EE8-4F9C-A946-8691E864CB37","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":"Q1896484$1C895B14-AC53-405D-A9D1-A8EAEDCC4D58","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":"Q1896484$7CB3A2E3-95DA-47B8-AB16-A420E39BF783","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c56b32a11bb039652dc2aab78babd20f4bd9104","datavalue":{"value":{"time":"+1996-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1896484$357BE005-7B5F-4516-93D7-0D4C55FDE9BD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a3a5f663a51e9a69e879ce558b87294eaf362204","datavalue":{"value":"This article deals with applicative theories of operations and numbers of the type considered by \\textit{S. Feferman} and \\textit{G. J\u00e4ger} [ibid. 65, No. 3, 243-263 (1993; Zbl 0794.03074)], but now term application is assumed to be total. It is established that the proof-theoretic strength of the theories considered does not change. One can even add the axiom of extensionality. The proof is by formalization of suitable term models. For the theories of the strength of PRA the elements are provably defined partial recursive terms. For stronger theories a suitable reduction notion is introduced by an inductive definition which can be modeled in a theory of known strength.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896484$0093FD6F-14C8-4B64-A402-290896D6CE91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896484$96F49117-2E2A-4D65-885A-882A7BF341DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"692ed9681f6175f77b12222f396e36cfdb4f2c8c","datavalue":{"value":"791273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896484$03AB3D0B-631C-41B0-9D7A-EE08607E22FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dc1fb19e4f19302fdc0dff613723b18dbfc1a4f","datavalue":{"value":"totality of term application","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896484$DD70428A-5C13-48DC-BDF4-CE067B7BBEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0e263dd65b9cf64375c850ecbfadd81aa71b342","datavalue":{"value":"applicative theories of operations and numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896484$35051B61-E005-4CD8-8695-1BED96FC5EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896484$0A3008F7-349D-43EF-9837-645AB66D8F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d69e6d816f61fbc1c7f09fd7028131c78dc53c","datavalue":{"value":"axiom of extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896484$A69974FF-4EDB-4E2E-AE0B-A3B75432D1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a068a363187808a9cf4da727e4e17b6f855cec41","datavalue":{"value":"term models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896484$9151C411-800E-476E-993B-39642317B52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1896484$B3E6B1E3-C75B-4C4F-A18A-A8EE5DFAF043","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":"Q1896484$98077904-4377-4246-90EB-70A3B420F948","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":"Q1896484$151A0CB7-35DF-41BF-B73F-8EB05896A9EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a05d09d2f3acb1321d5725e98cdd049b59d0e35b","datavalue":{"value":"https://doi.org/10.1016/0168-0072(94)00037-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1896484$0FDD6F6B-01FE-480C-8F30-B298A92B080F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2980216b03ce69cf5414e2d0a641421747d6daa3","datavalue":{"value":"W2007299957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1896484$4346FE52-BE0E-4E6D-B685-C385F2A0FCDF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896484$C9E18806-51E3-4646-9E91-DA2F5303E090","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":"Q1896484$1C04797E-A643-489E-AC65-BC75286036A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee742a038900cfbd62ae0c9ad27fa7f65ec58b07","datavalue":{"value":{"entity-type":"item","numeric-id":1920240,"id":"Q1920240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896484$1EA7F428-A0EE-4B83-8DB8-8756481E38EF","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":"Q1896484$72D159B3-872F-4BB8-B54E-8B3E49F22FA8","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":"Q1896484$23B6C2D3-D0DC-4CD9-B96B-14B67F6AB59D","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":"Q1896484$501524DB-D9BD-4740-A16E-87F5E07485D6","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":"Q1896484$2609E650-460D-4601-89CC-2F213B44D85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7de10908c6a54ef57b4383c3a54c934a390ea7","datavalue":{"value":{"entity-type":"item","numeric-id":1314542,"id":"Q1314542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896484$34229387-4B1D-471F-BD69-43ACD941DBC2","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":"Q1896484$3DBB4C93-A01E-4B44-B3A7-E3A625849657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967caee0f4b629b2770249b58352d882fa57e30d","datavalue":{"value":{"entity-type":"item","numeric-id":911585,"id":"Q911585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896484$C8C79491-5A9F-4B2F-9EFB-92C8671764BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896484$22AF4F51-5A27-4961-8193-7EC1974B64D9","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":"Q1896484$D7F52C0B-085C-4C39-A092-A29490094C9D","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":"Q1896484$C6DFB2D4-F9E9-4DF3-885C-71C1C9F91FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322310320fb601f7d9dc0d0e584af8d3c603aa99","datavalue":{"value":{"entity-type":"item","numeric-id":753810,"id":"Q753810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896484$89F05FE1-DF3C-4D3F-BB0B-D8C806AB2A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d80a4cbb84f27b8d64cfc42dcf6bdf89d6510c","datavalue":{"value":{"entity-type":"item","numeric-id":4870067,"id":"Q4870067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1896484$273FBA78-E007-4FFB-B0BA-302D3AACDE45","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":"Q1896484$F626F839-9499-41EF-9356-FBB6BCDE8A60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f73f4390c337f2e0ede50d85c757f7b18d342ff","datavalue":{"value":{"entity-type":"item","numeric-id":4941991,"id":"Q4941991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2afdd7707c8a4649f1c53d487d25e07afc439587","datavalue":{"value":{"amount":"+0.88208145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1896484$D719788F-405A-46B3-A1BF-D01784D5DCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11fb31218a40ef5a8f85b77a3e9032bda2daec13","datavalue":{"value":{"entity-type":"item","numeric-id":2566067,"id":"Q2566067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b905bf5508bb5dd2eb1a940e4fa576e0a434a70","datavalue":{"value":{"amount":"+0.86880744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1896484$740AD003-9365-45A6-BA2C-1F3555103C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9f137d85088d8d4183f84c2927366c2cafcc95","datavalue":{"value":{"entity-type":"item","numeric-id":5951914,"id":"Q5951914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a29d9ab529ce7eea248ad31dcf734e57d52fa0b7","datavalue":{"value":{"amount":"+0.85881156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1896484$56B410C0-501C-4141-8D83-9821029FB01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39cd015c45a9a6ebcd59290f54b7c58ebfcb2775","datavalue":{"value":{"entity-type":"item","numeric-id":4934811,"id":"Q4934811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e98b833e428eb8031056931efd8334fe6fad4a9","datavalue":{"value":{"amount":"+0.85278374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1896484$EE06FBC9-E3E0-45E4-B54F-9E1041875DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27811a89b9329ebed11a0654097d74c5f57335a5","datavalue":{"value":{"entity-type":"item","numeric-id":5947117,"id":"Q5947117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7fd8f9d82ac6b4d6e18e25d24727f0cb3b6450f","datavalue":{"value":{"amount":"+0.84698915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1896484$E36290ED-9A2B-48A4-9B24-8F60D6659112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de565a09c3f8c7a51218a5035381ff180a25ed95","datavalue":{"value":{"entity-type":"item","numeric-id":4870067,"id":"Q4870067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf5886137a34e49d8a93656d05ef750275f893d","datavalue":{"value":{"amount":"+0.84362185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1896484$E41BC0C2-81E5-46F1-B9C2-9A4F3D555D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8afd7e65aee59be5d2e4001b8b0bd9562b811f9","datavalue":{"value":{"entity-type":"item","numeric-id":1976882,"id":"Q1976882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c217c0d9e3286a018c0df9899f92be569510077","datavalue":{"value":{"amount":"+0.84188795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1896484$5C6B1AEB-E5CD-439F-84F9-E3E679C4E115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"021b8b968009ca48dc00c8ca6ee33b0f04828118","datavalue":{"value":{"entity-type":"item","numeric-id":3691644,"id":"Q3691644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc208e4a6f2f6883c2315633dc89f21e759bcb97","datavalue":{"value":{"amount":"+0.8355872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1896484$E329DDAA-4A8B-41DC-A51D-1083EA1C4E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d6189a3c03035a49dfe0a8992f762f1b6c9e0f","datavalue":{"value":{"entity-type":"item","numeric-id":4428710,"id":"Q4428710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a2d40946ab35805354e32e29f6e9edaa202526","datavalue":{"value":{"amount":"+0.8349485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1896484$72D92F6B-D01C-41BC-BCE6-133D699A1B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd973483a26d509c07830e26f8818de0b6c6d323","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38c2283c4744f4de58ce4f661d10b057b8ee0f3a","datavalue":{"value":{"amount":"+0.8324935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1896484$AEA9F39C-BEAD-40E2-8FA4-3D5E186DC901","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Totality in applicative theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Totality_in_applicative_theories"}}}}}