{"entities":{"Q2641297":{"pageid":2652040,"ns":120,"title":"Item:Q2641297","lastrevid":49468534,"modified":"2026-01-07T05:18:03Z","type":"item","id":"Q2641297","labels":{"en":{"language":"en","value":"Herbrand analyses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4189719"}},"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":"Q2641297$C23E7F87-20F4-49C3-8AB4-8365A4D60985","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"568bb1fd01f1517e80edeab8849b8f90841c13b8","datavalue":{"value":{"text":"Herbrand analyses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2641297$9729E370-12F8-43C1-9579-CF0923A96C24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb20af1df962a639cbe0e549428943033bd20ace","datavalue":{"value":"0722.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641297$FD65BBD6-7006-491B-85A6-18AACBA560E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5fea4cde6110ecb1c39187c0a599addd9dc46b2","datavalue":{"value":"10.1007/BF01621477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641297$B4BC3CB6-0AA7-48F0-BE7B-F427CED71C5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baf65bf84a9471e07b9412f58991eb0597943057","datavalue":{"value":{"entity-type":"item","numeric-id":762483,"id":"Q762483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$0BA4A600-0FD9-4FE6-9771-79EA6D758C00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$CCE879D9-59D2-4F7F-860D-1A59744A063F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2641297$49102AEA-273A-439E-BC38-FB06FA263640","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"736ad104eb3ee42f14b797ea5f4f0343a98ae098","datavalue":{"value":"The Herbrand theorem shows that if an existential formula is provable, then so is a disjunction of substitution instances. The author first sharpens this condition to, for Herbrand theories, just one instance, and thus extracts a term t such that \\(\\phi\\) (t) from a proof of \\(\\exists x\\phi (x)\\). Here, T(\\({\\mathfrak F})\\) is said to be an Herbrand theory when it has QF(\\({\\mathfrak F})-IR\\)- induction rule for quantifier-free formulas with function parameters from \\({\\mathfrak F}\\)- where \\({\\mathfrak F}\\) is closed under explicit definitions, definition by cases and bounded search. This is further sharpened for \\(\\exists \\forall\\)-formulas. [In this case a number of disjuncts are necessary.] He gives a number of interesting applications of these to the Grzegorczyk hierarchy, and the polynomial hierarchy [in bounded arithmetic of S. Buss et al.]. Here are two samples. (1) \\(\\Sigma^ 0_ 1({\\mathfrak E})-IR\\) is genuinely stronger than \\(\\Pi^ 0_ 1({\\mathfrak E})-IR\\), where \\({\\mathfrak E}\\) is the Kalmar elementary class [Parsons]. (2) Elements of \\({\\mathfrak E}_ n\\), \\(n>2\\), are exactly the functions provably total in \\((\\Pi^ 0_ 2({\\mathfrak E})-IR)_{n-3}\\), where the subscript indicates that the induction is applied at most n-3 times. The author's tool so far is nimble, and yet ``elementary'', transformations of proofs and extractions of relevant functions from proofs. By means of the same tool applied to second-order arithmetic, he gives a new proof of a Friedman's result that as to \\(\\Pi^ 0_ 2\\)- formulas, PRA (primitive recursive arithmetic) is as strong as the second-order version of \\(\\Sigma^ 0_ 1-IR+\\Sigma^ 0_ 1\\)- AxCh\\(+Weak\\) K\u00f6nig Lemma, among others. Towards the end of the paper, the author uses a more ``sophisticated'' method to prove powerful results like (a) QF(\\({\\mathfrak E}_{\\infty})-IR+\\Sigma^ 0_ 1-AC+\\Pi^ 1_{\\infty}-IR+WKL\\) is conservative over (Hilbert's) Z, and (b) Provably total functions as of the second-order \\(\\Sigma^ 0_ n-IR\\) are exactly the unnested \\(<\\omega_ n^{\\omega}\\)-recursive functionals. He first embeds the given proof in an infinitary system (with infinitary terms and the \\(\\omega\\)-rule). This transformation is then formalized in the finitary system, and the reflection principle delivers the desired result. In the ``Concluding Remarks'', the author talks about possible directions of future research in proof theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641297$FA27193F-9A78-471F-9F80-EAF3B47F2E77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641297$F9198E90-6825-4EB0-B22B-7303F246F65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641297$7F3C3719-A1DB-4AF9-AECA-E201B868E1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641297$AA8E54E5-9CB0-4BFA-860A-BEE86DB7A44C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a60bffd9f6c0ff67389996541fe1cd5ab6ba7c04","datavalue":{"value":"4189719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641297$B3FF475F-E1A6-45B6-8EE3-8F7F0938DF5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b66c6531605642201eac88586885d8f237b626e","datavalue":{"value":"reflection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641297$E32A1B9B-BE60-4F6D-A567-20950C4F98E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558e32a0884c5233110fd5a023672e91351272ab","datavalue":{"value":"Herbrand theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641297$E6AECD9E-EED8-49A2-9CB0-EE67D422E655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3971da9782971e1592edee4657006ba03b7f3c","datavalue":{"value":"Herbrand theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641297$D3BE6AA0-6473-4ECA-B7B9-CBD8792B4D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6d03a26b1247abcc543247067285a4ba6c9025","datavalue":{"value":"Grzegorczyk hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641297$B15AB6A9-9798-417A-9811-DBD56B3DFCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154ea0589dca3b50bef0f626c64f0e117c0eb521","datavalue":{"value":"polynomial hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641297$8396F333-785C-4876-948A-2BB31B3B08E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641297$18A8A227-E01B-4FCD-AE5C-DC160F7BCBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b512aab4c6d5c3b3dbfa9a757a34a3f5f176e7ad","datavalue":{"value":"Kalmar elementary class","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641297$F3D85EE1-1898-4340-87B2-40468975E705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62c1a38cd883f10a76731485c742e7ef8af75b87","datavalue":{"value":"transformations of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641297$C48CE661-760A-4049-B145-B0C2DFEF9A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb4e369b9546bb464e5e5ed55c95bd64d93ad67b","datavalue":{"value":"extractions of relevant functions from proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641297$7C3F5305-23B8-4CB5-9A9D-BC370ECB4DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641297$19B9414E-6DD7-4918-B36E-0EF0754337BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16d94a848d6d9a19127369bb06d6ecdfa9f98906","datavalue":{"value":"PRA","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641297$5596BB17-D5FA-4E92-9A51-3816491EAF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641297$3113E9DB-098D-4F0A-9C9C-1DC01F4F9020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"222c3d5c773fa37f010816dea4976072572c64aa","datavalue":{"value":"Provably total functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641297$7FE30401-78E1-4107-A7BA-2593ADA92E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d1b7a2c28e77906da4104fb636290a5dcfcc3d","datavalue":{"value":"recursive functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641297$5AB02D60-2A8B-4D22-A141-73AA31708C48","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":"Q2641297$8FEAC291-0408-4A20-A6E5-9A484B2D03E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40edb9c89b5d712c5c96f6015314571961bea6da","datavalue":{"value":{"entity-type":"item","numeric-id":3035275,"id":"Q3035275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$CDE8403F-1C08-41B6-9D8F-BDB71F5A80DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01efc25ed464947db938a04eb05895d66c9b35fd","datavalue":{"value":{"entity-type":"item","numeric-id":3472100,"id":"Q3472100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$32D1DAF2-3153-492E-A705-6141D4FFE021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a454ef6b42682012c40ff7e7cb072f359af068d","datavalue":{"value":{"entity-type":"item","numeric-id":3773880,"id":"Q3773880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$2AD32D78-B391-4370-89F5-7F4C2D25AEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$B75D4FBF-D9AB-4A71-A398-2839F4C8F357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab28a128d06599b12bbfda72007f018a92bc5270","datavalue":{"value":{"entity-type":"item","numeric-id":3478384,"id":"Q3478384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$C26A84DB-2591-4CAE-A80F-6E3C85E96E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ec65e395f02d63a980a349374a1113006b8bf6","datavalue":{"value":{"entity-type":"item","numeric-id":3487327,"id":"Q3487327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$21CFE446-CE5A-4CB2-977E-3D507106041B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c45866e6366266fc85213b2eb8d896f6640763","datavalue":{"value":{"entity-type":"item","numeric-id":1063593,"id":"Q1063593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$73210E2C-724E-4253-AB93-A72C45FF9F50","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":"Q2641297$C48E469F-1648-4D1F-A1BB-CCD55BF2FFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d966d8fb41a3564f4060a1b833eb768ac2e0597d","datavalue":{"value":{"entity-type":"item","numeric-id":5806808,"id":"Q5806808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$23293AE7-30DC-4E67-AA4B-44C50E6BDF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a0f5ab3a82f792e215192b74a3f7485b0840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5809142,"id":"Q5809142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$2262166C-87F4-4A17-96BE-479536C4396A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766d123780f1e3d44c279eee3073682f29150e27","datavalue":{"value":{"entity-type":"item","numeric-id":3260570,"id":"Q3260570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$415D84C7-B5F2-4891-9D15-AF38CEB36A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d71305c8d9d041668e564bf7f2f69f04f88a1b7","datavalue":{"value":{"entity-type":"item","numeric-id":3822154,"id":"Q3822154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$EE851BE2-3031-4562-AEB1-19526A370D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76f9a44a41d968d437c996e0e1e0be731222ce0","datavalue":{"value":{"entity-type":"item","numeric-id":2557247,"id":"Q2557247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$28DEC9A0-EAB9-4456-99C6-99E88A278EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d71800724159c7acd1bc0bf3551c799a99785d","datavalue":{"value":{"entity-type":"item","numeric-id":4149746,"id":"Q4149746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$2F674EC4-6621-46FC-8A9D-5B3EF94E66D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cc241747ec6fa1130277e3fe9cbb65e8f8d05e","datavalue":{"value":{"entity-type":"item","numeric-id":5680103,"id":"Q5680103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$DC4ECDD2-2E13-4C2B-870A-2566F1BAD2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2aa95a3bdd69806ce76efe825083d7a9e9aaaa4c","datavalue":{"value":{"entity-type":"item","numeric-id":2395748,"id":"Q2395748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$8593B10E-86C1-4DC3-A34C-A51F92AC9B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$D19044AA-B6BD-4978-8EEA-E3E80D42BB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2114f7df9ef5b523eb89d9f18f0f9c43acb71ed","datavalue":{"value":{"entity-type":"item","numeric-id":5639704,"id":"Q5639704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$9E0F6A4B-3FCE-4D6C-98EB-FD8183F137AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c59bf00a70c2cce6357ba2427fb74188016b991b","datavalue":{"value":{"entity-type":"item","numeric-id":4079601,"id":"Q4079601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$F234DB20-6AAE-4777-AF2C-F6E053C79AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82318748b8514096d13bc80763ff6e3cbefb3d9","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$A7657B83-FAE3-4909-A117-2C84E8C72818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7218d08bdbf1feb5806a495350f5ec0d35e265a","datavalue":{"value":{"entity-type":"item","numeric-id":3767346,"id":"Q3767346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$F08D447F-F798-49C0-92BA-ACBF53778ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0acfb5fb04b44afb8f48e216513668fecec440","datavalue":{"value":{"entity-type":"item","numeric-id":3824312,"id":"Q3824312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$20DB79B4-A6B4-49E0-88F4-AE933A4F557B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21aa2c8417444bb3098b83ec743e607734c3bfb","datavalue":{"value":{"entity-type":"item","numeric-id":3285631,"id":"Q3285631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$0F7EE8CC-D019-4619-8284-32466EB171AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857dbc721bde21e7be82840ed4977ac267de115f","datavalue":{"value":{"entity-type":"item","numeric-id":1082338,"id":"Q1082338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$BE5D0007-E956-45C7-B4DE-F4CAA9D555EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def5659e262d9601c2de72c38ef43bc16faa2300","datavalue":{"value":{"entity-type":"item","numeric-id":1131248,"id":"Q1131248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$73038135-9FDE-4F62-A78F-EB0102CE3EE9","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":"Q2641297$8ACF0B6A-6F62-4B04-85F2-A432E514BA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5037c04c9c92c64619d5eb9e67e54d8bcab3371","datavalue":{"value":{"entity-type":"item","numeric-id":5635436,"id":"Q5635436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$C07B8114-56CF-4F21-A493-0FC28B2DF6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d93c0216bb7a2404c766e146541a6f49efebe1b2","datavalue":{"value":{"entity-type":"item","numeric-id":1104318,"id":"Q1104318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641297$3CB572EF-4575-49F5-84A6-1260E7FCFE30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cb0cf51f28204936df2d69ecc2f9d2853e0a9b5","datavalue":{"value":"https://doi.org/10.1007/bf01621477","type":"string"},"datatype":"url"},"type":"statement","id":"Q2641297$5B24E569-20A0-47A5-8C04-38950EA28517","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99570860a60b0eb56942d83dbb798d132e25d240","datavalue":{"value":"W4239618235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641297$EA8182E4-C4DE-45CF-8CE5-393719E3CE14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b05a8a7361cb4a835d63033312d40def941512","datavalue":{"value":{"entity-type":"item","numeric-id":1813063,"id":"Q1813063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e118a5908bc3edb901e9cea5c5c0699caf728754","datavalue":{"value":{"amount":"+0.8196315169334412","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":"Q2641297$5B9DFC15-F68C-4696-9BC4-47FCFCD6FFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b45db420521eb08f46a4d86a7c19498e5668c97","datavalue":{"value":{"entity-type":"item","numeric-id":2915894,"id":"Q2915894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b61c09ea34e796453dcedbcb90dbde91054d81d","datavalue":{"value":{"amount":"+0.8030813932418823","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":"Q2641297$EE0B243F-9C30-4854-885D-D65505CCBFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6fa88b9a58052f95dd2389b84358c6b5186ea9c","datavalue":{"value":{"entity-type":"item","numeric-id":3635861,"id":"Q3635861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37717636bbb34c42388915fa8666260ff2333b23","datavalue":{"value":{"amount":"+0.7949697971343994","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":"Q2641297$131DAC2D-0807-40DE-9A1A-2EAD7535CC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf689db4e35822175315748c96844ad3826c6cc","datavalue":{"value":{"entity-type":"item","numeric-id":3140639,"id":"Q3140639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a521bf2719aebdc83fafb6b24adcef5a85a0368","datavalue":{"value":{"amount":"+0.7880082130432129","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":"Q2641297$53BB8124-65B4-49BC-A34E-C7AE84DBC395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1590ce945709859e583973741e1267839f8cd55b","datavalue":{"value":{"entity-type":"item","numeric-id":2486989,"id":"Q2486989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18425b49575daed180018829a3e2ebb6776d2fc5","datavalue":{"value":{"amount":"+0.7826611995697021","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":"Q2641297$560BCD45-8D00-42E2-B7B1-4E67F321A4C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2641297","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2641297"}}}}}