{"entities":{"Q2500470":{"pageid":2511213,"ns":120,"title":"Item:Q2500470","lastrevid":44214135,"modified":"2025-11-20T22:04:46Z","type":"item","id":"Q2500470","labels":{"en":{"language":"en","value":"A generalization of the second incompleteness theorem and some exceptions to it"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047240"}},"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":"Q2500470$EE25CF25-4EC6-4A04-A96D-D60A11A7A693","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94ad46720c7067e2414688a3f845da99110674c4","datavalue":{"value":{"text":"A generalization of the second incompleteness theorem and some exceptions to it","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500470$1AF54195-F51D-45DA-89AE-18165052F97C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be271c69b319aef76eae051491e4845c84d3f5e4","datavalue":{"value":"1103.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500470$E0C529D0-4CA2-4C62-A208-C29C9BE688C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ef3f83b5be7a709f851a5de8e8d01061e550d67","datavalue":{"value":{"entity-type":"item","numeric-id":731896,"id":"Q731896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$43D70DAF-E23C-4128-AA47-7F6AD59BA147","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":"Q2500470$A2206F05-ACEA-4060-B836-146E0A032BEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500470$1B2D6203-2C7F-44E7-9E90-059918176CD1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1985b433533cd51e3533b0f6ded3d34916b94c58","datavalue":{"value":"Generalizing a theorem of Pudl\u00e1k from 1985, Solovay identified a very modest set of assumptions under which a system formalizing arithmetic cannot prove its Hilbert-style proof consistency. The statement that the successor function is total is one of the assumptions. In the introduction, Willard gives a comprehensive account of Solovays's result together with a detailed discussion of the relevant literature concerning provability of arithmetic statements of the form \\(\\forall p[\\varphi(p)\\rightarrow \\lnot\\text{ Prf}_{\\alpha,D}(\\lceil 0=1\\rceil),p)]\\), where \\(\\alpha\\) is a formal system, \\(D\\) is a proof-system for \\(\\alpha\\) and \\(\\varphi(x)\\) is a formula defining a cut in every model of \\(\\alpha\\).   The main question of the paper is whether there are exceptions to Solovay's result for theories which do not prove that \\(x+1\\) exists for every \\(x\\). It turns out that, for theories with infinitely many constant symbols, the Second Incompleteness Theorem is sensitive to naming conventions for constants. Willard considers three such conventions: Incremental \\(C_i=C_{i-1}+1\\); Additive \\(C_i=C_{i-1}+C_{i-1}\\); and Multiplicative \\(C_i=C_{i-1}*C_{i-1}\\). Since addition is not assumed total, it takes some effort to formalize these conventions using so-called grounding functions. There are seven grounding functions, including, for example, division with rounding. The grounding functions also serve as primitive terms in the definition of the class of bounded formulas \\(\\Delta^-_0\\) and the rest of the arithmetic hierarchy.   There are two main theorems. Let \\(A\\) be an arbitrary consistent system in the language using the grounding functions, such that \\(A\\) proves all \\(\\Pi^-_1\\) statements true in the standard model, and there exists a \\(\\Delta^-_0\\) predicate encoding the relation ``\\(p\\) is a Hilbert-style proof of the theorem \\(t\\) from axiom system \\(A\\).'' Theorem 3 says that for every such \\(A\\) there exists a consistent axiom system, called Introspective Semantics with Continuous Expansion of \\(A\\) (ISCE(\\(A\\))), whose constant symbols are defined via the additive naming convention, which proves all \\(\\Pi^-_0\\) theorems of \\(A\\) as well as the statement declaring non-existence of a Hilbert-style proof of 0=1 from its own set of axioms. In contrast, Theorem 4 declares that no consistent axiom system can prove its Hilbert Consistency when it contains all multiplicative naming convention's axioms, proves all \\(\\Pi^-_0\\) theorems of Peano Arithmetic, and satisfies a certain technical constraint called the ``Concise Encoding'' property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500470$5B75F1C7-9A1E-406A-999C-8702DBC7196E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500470$D03D2DDF-11DC-4DC1-B6F3-ADD2428CC9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500470$887A1520-D645-4FA7-ADC4-082221B64D34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"559e6c7a5043aaca756ad5507d1ba008fb8f887e","datavalue":{"value":"5047240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500470$CF1BC9EC-7D96-4C26-A2E0-1319290633F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2c9255907236f765a45dc050c683a041f1e62da","datavalue":{"value":"Second Incompleteness Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500470$0F735D2A-3A65-4567-B02B-FBAA6207B50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beaaf2114cf5d6cd2b96cc9521ae23a1e9d4305c","datavalue":{"value":"Frege- and Hilbert-style proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500470$5526B60E-F631-4823-8337-E4B9F617B747","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$7CB839FA-201B-4515-8287-47FB3C7E9BF4","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":"Q2500470$80600095-1915-4F21-B72F-B85872FA1681","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b98767b508b6b09315f46573aec5405cbe901b3","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.12.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500470$991686EC-33F5-4A95-A872-B50115D89C1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0fbcaa28af9d12777c55aeff4117f03751ceda7","datavalue":{"value":"W2071373355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500470$16019309-DB01-4BBF-8CB1-551B63792AD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3dbe0918c11706990b4aeae4be4e97ec601092f","datavalue":{"value":{"entity-type":"item","numeric-id":2773372,"id":"Q2773372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$4B2D862E-0498-4754-B93F-538C379AAB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"663a431e6ccca1c8d3988aa37c7d7f1a6bceb46b","datavalue":{"value":{"entity-type":"item","numeric-id":4339021,"id":"Q4339021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$C581D804-6933-412E-A30D-9234D99363F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fb01ba64cb8cbb3acec998e8a3c187a7d0c1919","datavalue":{"value":{"entity-type":"item","numeric-id":5950714,"id":"Q5950714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$3E35BFF8-DEF3-4A58-8A23-4E27FA970C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865a580c588e979f3485b9f8d3fefd6f0a924509","datavalue":{"value":{"entity-type":"item","numeric-id":1343166,"id":"Q1343166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$4E284427-D338-4547-895C-EFD6255AD71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9616a7d402b3b724c982561bad38d0949aec1e","datavalue":{"value":{"entity-type":"item","numeric-id":4093419,"id":"Q4093419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$4FB58D8C-0DA9-4CE6-AE41-0BE29EFF86A6","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":"Q2500470$4A579276-2B05-4D46-A030-698C9B76E3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a38c068e030cc9eb3feb69a93e2659229fac75fa","datavalue":{"value":{"entity-type":"item","numeric-id":1896613,"id":"Q1896613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$E108D3B8-C946-468F-B389-75772E8E33E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f3f3d70a5569a188142f8ceb430c261be789be4","datavalue":{"value":{"entity-type":"item","numeric-id":5638320,"id":"Q5638320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$BE358CC1-1231-4665-BBF5-EA06B7FB1609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0089769c03e01b1aea2323f52a7a101fd411ce7","datavalue":{"value":{"entity-type":"item","numeric-id":5668798,"id":"Q5668798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$404F88A6-CCA6-432C-9FB6-2CC5E4BC97EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$558FEE2D-3D7A-4089-B85C-BA92DED0CA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf6ff8d0d80d56f825921b152f0aadcb4b3b18","datavalue":{"value":{"entity-type":"item","numeric-id":3770530,"id":"Q3770530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$9E721933-9D00-4D6F-B926-E4FEBBA65341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$E5909BB5-E6C8-472E-B8CA-913BF022B0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946af148f47d52c72c2eb1ea6817d1696cd28fb","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$B0ACE965-0FD1-40C7-933D-64D590B65E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf06aeee7433c1cc84e0544ea05fd502dcf84cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4103079,"id":"Q4103079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$F4FCEF6B-CDF5-446D-A8A2-3E319D8C503F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b946fb2f63c0dda27fa5ba25a5cecdec9a1c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4229041,"id":"Q4229041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$9E60FD15-6BFA-4646-9643-221E0FE9E476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3330fa5c6279898dcc093948722963f954b2b34f","datavalue":{"value":{"entity-type":"item","numeric-id":4726219,"id":"Q4726219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$F4EA5512-BB4C-4510-9DA1-197CE5A74457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17618ddb1fd34bf255fc52b39503d1e91d300018","datavalue":{"value":{"entity-type":"item","numeric-id":5654035,"id":"Q5654035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$32A674C9-F351-4596-8012-DF01566898A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c858ba356c63e6f92bc3e898fee39510d643a377","datavalue":{"value":{"entity-type":"item","numeric-id":3310622,"id":"Q3310622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$E0C59B7E-CCDD-47D7-BF76-A582EBC2AC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44aee1480eaeaf320249e8820f548f5b25dd3cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3686709,"id":"Q3686709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$0C3F35AC-65CA-46F1-954E-D116739A23C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c2968cc6b721b6a3c4a7d59ce8091493955850","datavalue":{"value":{"entity-type":"item","numeric-id":3360848,"id":"Q3360848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$6F6FD5C1-EEF5-4B7E-B105-854BA57B7E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463d5da9ce3bd717aa94af12374b31584172a9f4","datavalue":{"value":{"entity-type":"item","numeric-id":4885911,"id":"Q4885911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$DD685E95-C762-431D-9D75-BFA5C00E773C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$6EF5BD41-51FA-456C-A6C5-4A731A354097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63cdbd83b7f46d74372c8e13aa2d33751bfa018","datavalue":{"value":{"entity-type":"item","numeric-id":3331198,"id":"Q3331198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$A3664A41-FF9D-4A7D-8FD0-2664EC96B232","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":"Q2500470$04B522BF-5A38-40D6-A84E-E6AA7A9ED00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12622473e99aa3ff617f3e3a81fe56635c1b7633","datavalue":{"value":{"entity-type":"item","numeric-id":4527927,"id":"Q4527927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$0042AECF-A088-4FBC-9525-F3842DE55ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$8B9A373A-6393-41BF-BB3E-85AC45ABE8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74f3143ec42dbc01efa55df145132481cb2709d","datavalue":{"value":{"entity-type":"item","numeric-id":4694229,"id":"Q4694229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$0C572804-8378-4362-B5C0-40EB5546D5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dadf6c0afbcdaac692df9a4b7b618f0a3ecdff7","datavalue":{"value":{"entity-type":"item","numeric-id":4008752,"id":"Q4008752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$DB0F91DC-9F2E-4637-8475-E87D02095575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3fdfe8673c5379ab5fd3f0d37bf8efc00370630","datavalue":{"value":{"entity-type":"item","numeric-id":688510,"id":"Q688510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$3AF6ADD2-2CBD-481C-8A36-6BEC5669BDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c334e900d69147354fcd1b09f921638515832504","datavalue":{"value":{"entity-type":"item","numeric-id":705533,"id":"Q705533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$283C2C82-ED9F-4B0B-976E-2A6CD36CFED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f54c0cbc611ae4e73b8df4312f6baea0cd24de0","datavalue":{"value":{"entity-type":"item","numeric-id":5181365,"id":"Q5181365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$677E9BB0-7E6E-4898-A9DD-53E8CD638FEC","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":"Q2500470$19AC2CFD-0BF1-4D07-A5E9-00F6D0C71E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5009021d08f0229e7698f7d15d5117c9aa821104","datavalue":{"value":{"entity-type":"item","numeric-id":4282618,"id":"Q4282618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$D467BC84-B150-40B7-8504-F94E2A2E96F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c72afb4a0633206530c08bc8a3f00200b1cacf1","datavalue":{"value":{"entity-type":"item","numeric-id":4364524,"id":"Q4364524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$3AFCB4DF-6ED6-4610-A5A8-F14643714E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b02ccac2fbd2bd4bd9246e779130e2e51fd8fcd","datavalue":{"value":{"entity-type":"item","numeric-id":2721211,"id":"Q2721211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$C607E195-383A-4C6D-8AC0-831C97EE9F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0888a957eb1232464fd04f4d79bf690c9b9c6c0","datavalue":{"value":{"entity-type":"item","numeric-id":2747704,"id":"Q2747704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$BE54D717-7EDE-4C9E-8A54-3895BE910B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57dc0a92e73327004dccebdd15f698398210567","datavalue":{"value":{"entity-type":"item","numeric-id":4532626,"id":"Q4532626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$93D744BF-7C48-446D-8C0B-65A57AC18DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1367639b875485d18cc800a2852c162880a42826","datavalue":{"value":{"entity-type":"item","numeric-id":4412866,"id":"Q4412866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$79C50A42-8B11-4207-8261-F457D9355489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0e9001cc69b0c7df21d198b2559ffa325e91ef","datavalue":{"value":{"entity-type":"item","numeric-id":3367334,"id":"Q3367334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$F0FDFA8F-AF2E-4C96-87FA-1CA947ECFCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ea7863878fa767bcf354d7dba119d61e7d4c7b","datavalue":{"value":{"entity-type":"item","numeric-id":5479284,"id":"Q5479284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$CEC9CFDF-E4E9-499B-9DD8-A56BA707B691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"133a6e27b53031135abff108213947b9ba38d88e","datavalue":{"value":{"entity-type":"item","numeric-id":5486248,"id":"Q5486248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$63C746CF-7371-4E95-8F72-A8CB6A7E3DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cce85947fd71c4f5850f59f036a4dd761cfae66","datavalue":{"value":{"entity-type":"item","numeric-id":4154070,"id":"Q4154070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500470$75CCF76D-2A80-47A7-9FA2-C8A775A68278","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cb224e4daeffb94aa5b2d847650c78c1f8f7db5","datavalue":{"value":"10.1016/J.APAL.2005.12.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500470$FFBC1872-1E9F-4762-BC83-EACBAFA4F3D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d14ac9f24b5895d10b4e743f8ffeb86cc3cb1171","datavalue":{"value":{"entity-type":"item","numeric-id":454368,"id":"Q454368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93a7e88bec42a2774869912c42e23a7a7a8557ad","datavalue":{"value":{"amount":"+0.9140958","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":"Q2500470$3D79B8C0-FCDB-464B-866B-BE63C3CEC4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd99d5f9c37edc8c2a2bedd308f550d100da5d98","datavalue":{"value":{"entity-type":"item","numeric-id":4793765,"id":"Q4793765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f8166ffc5ff4372dea5d58d1c34d3674c3b1308","datavalue":{"value":{"amount":"+0.9107909","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":"Q2500470$85EF39EA-07EA-453F-94A1-3AB2F6E630AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0a2fc5f31fa16a453923c8033c34b66f03f98f","datavalue":{"value":{"entity-type":"item","numeric-id":5107534,"id":"Q5107534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46298c57d83ccd03332dd7f1b900c5f79006fafa","datavalue":{"value":{"amount":"+0.90956473","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":"Q2500470$F8CF8F6F-F63E-4C9D-AFFA-5674509CF28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bd38c53ff7172fd58ae1cb772f837c49d510e38","datavalue":{"value":{"entity-type":"item","numeric-id":5221590,"id":"Q5221590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d765e4ff36d85443cfb5b271ee2242abf4b6d1","datavalue":{"value":{"amount":"+0.9021477","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":"Q2500470$7D383407-BFD7-46E5-8A74-FD4F46C7211A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c15c66ffe9c99e19fd516c93276ea75968c4f63","datavalue":{"value":{"entity-type":"item","numeric-id":2732301,"id":"Q2732301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb74eb05da210eff5e626583b5d8b502c9a1fe9","datavalue":{"value":{"amount":"+0.8977071","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":"Q2500470$D1AD5BFD-1416-4C30-B49E-B6ADB8A0C393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffbe5a4942b746098e085903932c2ea99393baa4","datavalue":{"value":{"entity-type":"item","numeric-id":2891311,"id":"Q2891311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d029caede5cdb238370f2072998ea3a6d7f20485","datavalue":{"value":{"amount":"+0.8970041","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":"Q2500470$656D98E7-73D8-410E-A99F-D7D348363D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed9a3feedec63be21bcb9ee14cb7f27fd82d990f","datavalue":{"value":{"entity-type":"item","numeric-id":2097058,"id":"Q2097058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1126d5485b5a6566e5c74a9ca17da33d7bee4ef3","datavalue":{"value":{"amount":"+0.89601177","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":"Q2500470$CC39F8CB-C882-4E50-9917-D43EE3A54A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0632a28dc0b9d8425f0ed7eddc60b96288f0fe13","datavalue":{"value":{"entity-type":"item","numeric-id":5224682,"id":"Q5224682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0cccce4f7471ddfaf8f43e2942079d085eac63","datavalue":{"value":{"amount":"+0.89369583","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":"Q2500470$6BAA7507-24E2-45B1-82B8-29CA19F0611C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25c6c70dec9c9d2bb4b09852ee589acbcb6f388f","datavalue":{"value":{"entity-type":"item","numeric-id":4412866,"id":"Q4412866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c5a58e53e4f301619f58329e393f04cc3c14cc","datavalue":{"value":{"amount":"+0.8932494","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":"Q2500470$0D15DE3A-72AE-4ECB-899F-0BC477A8B835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7874fdfb1ba6d79803a43cdcdca0eb08a2ab273f","datavalue":{"value":{"entity-type":"item","numeric-id":5095636,"id":"Q5095636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0775254ada4c0a511fec387c619a0140e56fd9e2","datavalue":{"value":{"amount":"+0.8876766","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":"Q2500470$074718DD-2E30-4812-8F71-ED4C9F468016","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500470","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500470"}}}}}