{"entities":{"Q930260":{"pageid":932108,"ns":120,"title":"Item:Q930260","lastrevid":42771870,"modified":"2025-07-10T14:50:25Z","type":"item","id":"Q930260","labels":{"en":{"language":"en","value":"Generalizing proofs in monadic languages (with a postscript by Georg Kreisel)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5291563"}},"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":"Q930260$887B753E-28C0-480A-9D71-69924D814BEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20588e891e39661bfa66b4714b134ce3450670a9","datavalue":{"value":{"text":"Generalizing proofs in monadic languages (with a postscript by Georg Kreisel).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q930260$215616DE-7B00-42ED-8744-91D0DFEAF7A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"273f0293495c3f1e7b00c5660b3dac85ecacf21a","datavalue":{"value":"1153.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930260$F5E76782-A5DD-41A6-9EAD-4D245AA39A95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$D7D51840-7E9E-45A4-A09C-4E0C7DD3D977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fb74110975662118ba1e2f7c9c93d7e4e73d80b","datavalue":{"value":{"entity-type":"item","numeric-id":195357,"id":"Q195357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$679A9383-12A1-460D-8E35-8FAD2DC751C8","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":"Q930260$9821EE80-AB1D-4979-B628-9DFE07B0F79B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c63cea62240ac8db5861bbe0ba2ad129d649c0db","datavalue":{"value":{"time":"+2008-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q930260$62AD7C71-5D68-496E-B493-7BDB543643A8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0fac1e77c86009c3d5b2a9f5eb65e53d0355a02f","datavalue":{"value":"Kreisel's conjecture stated that if Peano Arithmetic PA proves \\(A(S^n0)\\) for each \\(n\\) by a proof with \\(\\leq k\\) lines then PA proves \\(\\forall xA(x)\\). It had been proved by \\textit{R. Parikh} [Trans. Am. Math. Soc. 177, 29--36 (1973; Zbl 0269.02011)] for a monadic formulation of PA with \\(S\\) as the only function and predicates for addition and multiplication. The paper under review provides a detailed treatment in numerous special cases for the following drastic modification by \\textit{G. Kreisel} (in a supplement to [\\textit{G. Takeuti}, Proof theory. 2nd ed. Amsterdam etc.: North-Holland (1987; Zbl 0609.03019)]). Suppose that \\(\\pi\\) is a proof of \\(A(S^n0)\\) for just one (but large) \\(n\\). Then there is an infinite set \\(X(\\Pi,A)\\subset \\mathbf{N}\\) with proofs of the same logical form \\(\\Pi\\) as \\(\\pi\\) for all \\(A(S^m0)\\) with \\(m\\in X(\\Pi,A)\\). The central notion in the reviewed paper is uniform derivability of a schema (by one and the same proof schema for all instances) instead of derivability in \\(k\\) steps. Descriptions of the sets \\(X(\\Pi,a)\\) are derived from the properties of linear diophantine equations describing the proof schema. Equivalent (with respect to the set of theorems) formulations of PA behave differently in this respect. The ordinary successor induction gives uniform proofs of \\(\\exists x(x+x=S^{2n}0)\\), whereas the order induction schema \\(\\forall\\alpha(\\forall \\beta<\\alpha A(\\beta)\\rightarrow A(\\alpha)) \\rightarrow \\forall\\alpha A(\\alpha)\\) admits generalization from \\(n\\) sufficiently large to \\(A(S^nx)\\). Hence the successor induction schema is not uniformly derivable from order induction, while the other direction holds in the presence of finitely many basic arithmetical axioms. A long postscript by \\textit{G. Kreisel} supplements and criticizes the main body of the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q930260$F3594E6D-75B9-4EBD-BF70-0BB31A9DC63D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930260$4429AFF0-28D0-4385-BF7A-37C41D7F3A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930260$88FE8C8C-6909-4399-88CA-E985939EF60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930260$11FAE31C-48C1-4F58-8D8B-7E8B56E464BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5a287017ca5c3618443422748dfb4f94a9e6597","datavalue":{"value":"5291563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930260$AADB9CA2-A28C-4D34-B1D7-8BF66F593523","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"656f4c30887c3e7bf566d4d141ce6ea3743a420f","datavalue":{"value":"generalization of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q930260$6DA56971-F5F1-45F8-87E4-0CD3930F126B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d2ec062a75e4a6b81fb972cd5b4e547ba99403e","datavalue":{"value":"monadic language","type":"string"},"datatype":"string"},"type":"statement","id":"Q930260$9C85C51C-8F6A-48BE-8CA7-1052BDB85746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82088a3008b3f77783ec530dcd33135f237c2678","datavalue":{"value":"partial proof data","type":"string"},"datatype":"string"},"type":"statement","id":"Q930260$5F23037A-9A39-4A30-82C7-5FDAD7F30222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a574d5a61e55a5c8bfa9e7f29961a55398217d7d","datavalue":{"value":"modification of Kreisel's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q930260$717BFB66-897A-49FB-A088-CAAA1498B238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q930260$A928D8E1-A8B6-4CEF-9088-54C39AA123BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c989dba4bbcffd46b629b80787b8086814772c99","datavalue":{"value":"uniform derivability of a proof schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q930260$29C0232C-4904-4155-9F80-857D2E8C1702","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":"Q930260$1CE53CCC-2905-4E5C-BE09-3E4D68569D45","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":"Q930260$AE2D8957-7BAD-42D9-8EE6-7197019E6521","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e9d3af2015e4026e3192dd91c4295ff050e4c6d","datavalue":{"value":"https://doi.org/10.1016/j.apal.2007.10.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q930260$BFC18F31-DFA1-4FB8-AC9A-934BFCBB35F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"827ace4786eaca51c9dfc1f8973e30aa884b0b8d","datavalue":{"value":"W2030319866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930260$B7419EFF-4A23-4C3E-8F8D-D65C55AC1C43","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea89222d9022292d1ae628b55b56ffd59e9f0028","datavalue":{"value":{"entity-type":"item","numeric-id":3140630,"id":"Q3140630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$83B4523C-1D6C-48DA-9670-8501D6E6EC8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768d63e712fe6a569fb742c3aee2dac03be6ea11","datavalue":{"value":{"entity-type":"item","numeric-id":3140631,"id":"Q3140631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$CB3A9DD5-7209-41F8-B745-D203112F08C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"955a2e482911042acb84ad9dd9cf389aa82f2398","datavalue":{"value":{"entity-type":"item","numeric-id":4283227,"id":"Q4283227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$B670A817-FFC9-4DB3-A417-9E4452AE7AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cccbb1cd2371d9caafced4fbb9f78bebaacedb0c","datavalue":{"value":{"entity-type":"item","numeric-id":4525273,"id":"Q4525273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$CA708C62-3DCB-4660-8AE0-A3F7906FAE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21685544772fcb1b1695644f4d7b8dbab0a39bd3","datavalue":{"value":{"entity-type":"item","numeric-id":5791195,"id":"Q5791195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$9618EF9A-44CC-4BF0-9721-674B41BC3C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49508253f586991686167e53d90ae970b902e6b3","datavalue":{"value":{"entity-type":"item","numeric-id":1176199,"id":"Q1176199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$F202351E-B01B-4E53-A774-3A53F4A4F2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfdf5e4eef1c143cc2b9f90bf3afd0a7bb0f048d","datavalue":{"value":{"entity-type":"item","numeric-id":4314669,"id":"Q4314669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$291E8197-C6A6-4393-B500-D7A5684BE9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$893EA649-7A7E-4266-8965-9AA1C1CDE3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b757d362e566e6bb8567869560a0af0408a0e3","datavalue":{"value":{"entity-type":"item","numeric-id":1109019,"id":"Q1109019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$1C5109BF-C314-42DB-827E-8BA0D743AA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$70F8BB22-A77D-41BC-9537-25AEF1F55898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2260b996422f953b9b92d577d1bb801544dd765","datavalue":{"value":{"entity-type":"item","numeric-id":3285991,"id":"Q3285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$FB4EC5E1-71B8-4596-A72F-BCA78154CEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422e983d36cfecec9b58e1c37d6c18b89433801d","datavalue":{"value":{"entity-type":"item","numeric-id":1119576,"id":"Q1119576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$70AC8FF4-15EA-475F-ACAF-DBA38217BF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b880d3c8511f1d53c27d1537b521daf74193b4","datavalue":{"value":{"entity-type":"item","numeric-id":1102280,"id":"Q1102280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$276460DD-7CF5-4628-A1EA-10C952133099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1e497f8d578333e730d1effafbdb56917c53f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3228606,"id":"Q3228606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$CE5342F5-BAE9-4DBA-BA8F-EA85CABC8DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8755fff25bcbf365d5dd2dfde2f78f833a2371b","datavalue":{"value":{"entity-type":"item","numeric-id":4331764,"id":"Q4331764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$8DA67AF9-F426-4E6E-B9CD-12AC1C0616FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b12ffa638fd7fd2f8d42aaf2cea823298b1d441","datavalue":{"value":{"entity-type":"item","numeric-id":4146913,"id":"Q4146913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$7AD3ACC4-6E67-4BEE-AA7B-C076BEE7D63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0507fee35059744ae0be7a298fd352647cf35300","datavalue":{"value":{"entity-type":"item","numeric-id":3722624,"id":"Q3722624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$3CAFF61A-0AE0-4289-9087-E32F488F7C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f84ad1f60a1f20714136e8ae5050c52673864db","datavalue":{"value":{"entity-type":"item","numeric-id":3778747,"id":"Q3778747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$6E119E99-2E11-4D83-ADE0-2B0B0AB6326B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec35d9f646cc8d771faa909b820478537c01d869","datavalue":{"value":{"entity-type":"item","numeric-id":4274311,"id":"Q4274311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$5D64E5F7-FF99-4D04-8640-779E5DE20711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f70c7f0070211df81086d4c25b73a9ca61d45c1","datavalue":{"value":{"entity-type":"item","numeric-id":5686023,"id":"Q5686023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$22FA8BEC-4D1C-4A65-8DAF-2314347EEF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ffb7c4897464eade24b984dc253233d6968fb77","datavalue":{"value":{"entity-type":"item","numeric-id":1095871,"id":"Q1095871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$66EBE4DD-BE2E-4FD3-9DA4-801158D6AE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1b4998bdaf1a6b4855ad6d2b807b069f618a518","datavalue":{"value":{"entity-type":"item","numeric-id":4041554,"id":"Q4041554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$9C0C5FD3-8BC7-4EAD-ADEA-30BEE46AB898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee7f445bad00be8e64da6a901bb83345f3486b1","datavalue":{"value":{"entity-type":"item","numeric-id":5551451,"id":"Q5551451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$B49E712F-EFE6-4359-BA84-DC2EE8329867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$66A314E2-133C-4F14-B940-EC8CC946A2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dceed9706471916c17e5d32a2360579ff0e86b","datavalue":{"value":{"entity-type":"item","numeric-id":3312297,"id":"Q3312297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$C563D208-DF91-43F3-9B83-588B8F8BBDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ab5770f8798d2a47f1f5ef0274321ae9e9bc50","datavalue":{"value":{"entity-type":"item","numeric-id":3707995,"id":"Q3707995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$6282DA71-8924-4BD0-B6AC-B1FD956B90C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc0be5968ccc2796b7b9bccb3d567fd439ff3c3b","datavalue":{"value":{"entity-type":"item","numeric-id":2640597,"id":"Q2640597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930260$DA7435B1-4A3F-44D3-99D1-E801C3214519","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14639243519c3b9e7e5a4e6e020b5e62d6fc3255","datavalue":{"value":"10.1016/J.APAL.2007.10.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930260$C72C1C71-104A-4C60-A60D-ADB8FF342A76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"188ac09c6f3f9cd211c324f152e6cc171a2521ed","datavalue":{"value":{"entity-type":"item","numeric-id":3816071,"id":"Q3816071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46bd9350cebf78195456f21dc45e9d834669f9c4","datavalue":{"value":{"amount":"+0.79164284","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":"Q930260$770147FA-97C6-4653-86CD-52EDC8E0B6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9286bdc07f848e4c4ce5c1530917dc5e507d5aeb","datavalue":{"value":{"entity-type":"item","numeric-id":3426567,"id":"Q3426567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b533faf405e3f6bc520de93222df83b6fd6b0f6a","datavalue":{"value":{"amount":"+0.7604559","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":"Q930260$179BDF66-075D-47D7-9C8E-3680740734C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f96dbd05ad84233c354d50f4becf29f2234803","datavalue":{"value":{"entity-type":"item","numeric-id":3399187,"id":"Q3399187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a800893927f5c80db02d4deb8e8e76c1ff000aa","datavalue":{"value":{"amount":"+0.7567415","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":"Q930260$D99940BC-3978-4670-973D-1180C146F2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b21c589110c68473a92f7abc8e8208c2f9b21f94","datavalue":{"value":{"entity-type":"item","numeric-id":843609,"id":"Q843609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb01cea996a06cdf6d1db9b172be061c3c01ab1","datavalue":{"value":{"amount":"+0.7478086","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":"Q930260$ECB2B4DE-4DDB-4178-8CE0-4FCAFBD29680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a162ec4a2f7e470aacab7c6700fa892f6b52dce4","datavalue":{"value":{"entity-type":"item","numeric-id":3804701,"id":"Q3804701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"602c2380f051785319ab21d1132ec485bc7e33f0","datavalue":{"value":{"amount":"+0.74299365","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":"Q930260$BD293665-2C80-42EC-89DE-D1D6EA875AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb001512014a8546eb723f44ac77c4be954100a","datavalue":{"value":{"entity-type":"item","numeric-id":1176199,"id":"Q1176199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"307e396dcc232c92a4007c74e5233c4f83573a9c","datavalue":{"value":{"amount":"+0.7423067","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":"Q930260$99818220-D166-451D-A3EB-EB529397B5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f43c08d7286ae376b7d33d2e740f1b4b622299","datavalue":{"value":{"entity-type":"item","numeric-id":3727968,"id":"Q3727968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d58b0276e1845e9bceeba2ea5362e92e580b9a","datavalue":{"value":{"amount":"+0.72908574","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":"Q930260$F625E40B-4F85-4550-8F74-34E33662C43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698757a231787e28caa14219ffc2b61cd4692545","datavalue":{"value":{"entity-type":"item","numeric-id":3758815,"id":"Q3758815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be3ba7a89cd08328e9b81d6097ae9965aa51a6a8","datavalue":{"value":{"amount":"+0.7245935","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":"Q930260$E3E380C9-0D6A-4697-8BCD-1DA284246CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08ef57459221f7c5a0bbdd408e9d78f644dc8b52","datavalue":{"value":{"entity-type":"item","numeric-id":487218,"id":"Q487218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"799406295c65a9c79156a5fef97cc712186e801c","datavalue":{"value":{"amount":"+0.72044444","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":"Q930260$0C1715FA-9FE7-4D97-8520-5E316DCA9DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57e6943612077152e63bbf51245bd888ad98d266","datavalue":{"value":{"entity-type":"item","numeric-id":1353977,"id":"Q1353977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76df6bdd4b8a2fef4b3ab54c22f902da7e4c3e5f","datavalue":{"value":{"amount":"+0.718656","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":"Q930260$FB55112C-4D13-4020-9A90-CA29E823760B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:930260","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:930260"}}}}}