{"entities":{"Q2804472":{"pageid":2815210,"ns":120,"title":"Item:Q2804472","lastrevid":42138138,"modified":"2025-05-23T17:16:41Z","type":"item","id":"Q2804472","labels":{"en":{"language":"en","value":"Informal proof, formal proof, formalism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6575404"}},"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":"Q2804472$9A195586-2C73-44E8-9DE6-AC63DEF0CEAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b704155550e909bae268e974c35fda6d3722590f","datavalue":{"value":"1381.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804472$7D671FE7-F018-44FE-ACA3-73BB508EB685","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e8bcaffe21c8a05bc762078973177da8a658d96","datavalue":{"value":"10.1017/S1755020315000234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804472$FC8CE1B5-51B1-41F2-A6C6-F59235CCC624","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a439cea88eead044e15f4718a70f195ddf2d1bc5","datavalue":{"value":{"entity-type":"item","numeric-id":558726,"id":"Q558726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804472$CEEACD50-7998-477C-B5FC-C25351FBF3C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804472$09881150-72B0-40F9-85EA-9B8836E8F59A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c64d6bdd320829ec442feaf78067f68056a43a6","datavalue":{"value":{"time":"+2016-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2804472$BA698D8F-0400-4E8E-9738-62266F591A31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804472$8C3E6A45-8C3B-4F29-AA5F-3DD8BF9CA518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804472$7DF84672-9753-4818-9F0C-3EAD9DF58380","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c422a586d9808c3a43c81ffa9a2a51cdadd57acb","datavalue":{"value":"6575404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804472$51D40140-361D-4718-862E-64E30EA5C4E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85ccf19c733843368334fae478a2facb2957850a","datavalue":{"value":"fromalism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804472$C9D96E1F-F77B-4E4C-A281-C0E84081600A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804472$4DB79036-0469-4119-AC47-AA0D4C0DBF41","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":"Q2804472$B730D71C-A05B-4A6F-8741-500A2A0D3BC5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0143976a519a40832ae7b581629a269b0ecb7957","datavalue":{"value":{"entity-type":"item","numeric-id":5426521,"id":"Q5426521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804472$4CE8E979-44C2-45FF-A82A-9C013C74628D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dced61c474d74b066ea6e7a2ea36e3a8679966b0","datavalue":{"value":{"entity-type":"item","numeric-id":4239945,"id":"Q4239945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804472$954CEA63-4F4B-477A-ADE5-609B58E9AA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23007ba80f870bf7af8b25681114e41fa87447a2","datavalue":{"value":{"entity-type":"item","numeric-id":4223096,"id":"Q4223096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804472$79D73E36-E4D2-4E93-B8F3-1CF24FC77E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456346942c6f1df25e2d0aa0dff23b3f8bb2b4be","datavalue":{"value":{"entity-type":"item","numeric-id":603900,"id":"Q603900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804472$CAFE2CCB-5B52-4DD6-938C-766F7F871794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f1543689961bc852ed1680e2013ccf92f3712c9","datavalue":{"value":{"entity-type":"item","numeric-id":5301856,"id":"Q5301856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804472$5B8DEF59-4221-46EC-93C4-88B754FB43D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df3b5986a52fcc2d2c195e8c5c4d5114798b2c18","datavalue":{"value":{"entity-type":"item","numeric-id":4001745,"id":"Q4001745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804472$F3CD42F5-E185-4B00-8415-7FF74F5F520C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8f6ddcec8fcd36ef8deb59db6c94aca9d80d53","datavalue":{"value":{"entity-type":"item","numeric-id":4793817,"id":"Q4793817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804472$54CF62BA-3C03-4000-8149-9CE3FF580948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804472$9889C76D-D707-400A-BAA9-8EFD9DEC7112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbfcfd4e010d7135eec0ee04d3986a2f32f1c204","datavalue":{"value":{"entity-type":"item","numeric-id":603906,"id":"Q603906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804472$D9D5B926-52C9-4D5B-83BF-E9796B2FDF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe99b50db11087f4036511c25930e45d9db62ca1","datavalue":{"value":{"entity-type":"item","numeric-id":603904,"id":"Q603904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804472$B0AC04A0-B084-4AB2-940E-E8A7A53698AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce2f20607566da3a7fa734898d4caf6d17f9607a","datavalue":{"value":{"entity-type":"item","numeric-id":2271071,"id":"Q2271071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804472$EDD0907B-6730-4479-A2B9-2E06D701E0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224eaad81b990a424186577648107c94617b46de","datavalue":{"value":{"entity-type":"item","numeric-id":5200692,"id":"Q5200692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804472$ECB73041-E1A0-44EC-91A7-2EEE9E98ABAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7d08e7dc6b27b3200e9586d780fa940c4ec0c82","datavalue":{"value":{"entity-type":"item","numeric-id":4662815,"id":"Q4662815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804472$E364AE38-72F6-43CC-BB7B-61B5F1F8A80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b148b7783b900a466f8d1fed0378d25962d91c","datavalue":{"value":{"entity-type":"item","numeric-id":3114251,"id":"Q3114251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804472$6DA62879-7494-4F2A-AF1D-BDA979A5D03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c9607beb7d7ae9086a4e822bdaa2296e7be88f","datavalue":{"value":{"entity-type":"item","numeric-id":4237642,"id":"Q4237642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804472$467D2433-76D8-4088-9844-38FC4D8BACB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a91d825e44e6515a00d1ef9131c4efc766af156","datavalue":{"value":"https://doi.org/10.1017/s1755020315000234","type":"string"},"datatype":"url"},"type":"statement","id":"Q2804472$5E4CE732-637D-4D80-845C-18711429D423","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a5e9edbc9154c9387f8ed338498c60aaab41d4f","datavalue":{"value":"W1947756087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2804472$0AE53381-9CEC-4318-9209-32AA07A4D4C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"350788b563f5f461c02415e9db15942876a6eff9","datavalue":{"value":{"entity-type":"item","numeric-id":1293009,"id":"Q1293009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f317c2a8342783bcfeed1df0fa61e90f08f791","datavalue":{"value":{"amount":"+0.79649043","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":"Q2804472$E4F5EE88-8F33-45CB-9B17-F4C925A7E55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a478e45c908957e570a0db86ac5f3ebef79af4","datavalue":{"value":{"entity-type":"item","numeric-id":5694561,"id":"Q5694561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded90d19cb393b02b09f5a485bc2f6c8bb7e75ef","datavalue":{"value":{"amount":"+0.78448796","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":"Q2804472$1E94170D-A88D-49E6-879D-F6A3A331AFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c5082b1cf88b20c02231bff6a09974b140b1464","datavalue":{"value":{"entity-type":"item","numeric-id":2042732,"id":"Q2042732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5432b667ca969195e3c5922279dad043fda4e2af","datavalue":{"value":{"amount":"+0.7766742","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":"Q2804472$61AF163B-3538-441B-AEEC-DECD30542C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ad32c36d47f1bf5d2240597ec6806ac7a51abfa","datavalue":{"value":{"entity-type":"item","numeric-id":1828976,"id":"Q1828976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"799fcfd0aa4516b8d0b2d714db23d3d0265bd1f4","datavalue":{"value":{"amount":"+0.77078295","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":"Q2804472$90D74C2A-D1CA-4ED9-A519-9D50CA46C0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b1a702daa3242e7fc16270b9f6c5c8432151c4","datavalue":{"value":{"entity-type":"item","numeric-id":5747346,"id":"Q5747346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2361860822241a83201f1098bf627fc38c7817be","datavalue":{"value":{"amount":"+0.75713676","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":"Q2804472$B99D706E-097B-4069-AD2C-A3AE11FE577F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8184752261383fbe4b9f99fbb8ae22306618d73","datavalue":{"value":{"entity-type":"item","numeric-id":571222,"id":"Q571222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6a390510b4f84c528d25a7c879fc21629a73c7","datavalue":{"value":{"amount":"+0.7531921","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":"Q2804472$108C2D34-8D6F-49DA-8CA7-EA0B6EEECD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66df5a890e85055bc572ef0202e4b926a55fa5b","datavalue":{"value":{"entity-type":"item","numeric-id":5856200,"id":"Q5856200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5b8a4ca42ce25f578091f30ea0b1a4b4e8c5868","datavalue":{"value":{"amount":"+0.7506549","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":"Q2804472$7A2B02D5-4669-44BF-8053-200FED503925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991f0a0d01b0a98d538b91b6b4422d888fb4f6e8","datavalue":{"value":{"entity-type":"item","numeric-id":3654811,"id":"Q3654811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a961a4cf09df1da4322bc2d364932d80dd70bcd5","datavalue":{"value":{"amount":"+0.7485827","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":"Q2804472$BD2623CD-28CD-4CFE-A360-8EB08E4A9973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5777eb9af789c1a7952fdfaf6f677660337084a","datavalue":{"value":{"entity-type":"item","numeric-id":1202497,"id":"Q1202497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfdb72c73c14eda644328c3aaf04bf66e4cbc111","datavalue":{"value":{"amount":"+0.74762666","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":"Q2804472$47B156D4-B1BF-4351-896A-61FA639D0B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e37ec314e091d543c7119272a2961cc7b665eccc","datavalue":{"value":{"entity-type":"item","numeric-id":2616493,"id":"Q2616493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25358b57db5e2fff3e38608d53fb9fc144e8678d","datavalue":{"value":{"amount":"+0.7431029","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":"Q2804472$B798A04F-0236-4B7C-998B-E2476CDC6768","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1de8307486e58e161ca918f2b4ee784dd69cfbe2","datavalue":{"value":{"text":"Informal proof, formal proof, formalism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2804472$0BADEF17-03EB-4D47-A843-FA69445B4279","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"097f50597efd49886c6481fdcc70327bdfa79a4a","datavalue":{"value":"This paper consists of the author's attempt to save a metaphysically motivated formalism -- one stemming from ``a desire to avoid commitment to a platonistic ontology'' one believing ``that this can be effected either by replacing the notion of truth, as applied to mathematical sentences, by that of proof, or by closely identifying truth with formal proof'' -- from \\textit{Y. Rav}'s objections to what he calls in [Philos. Math. (3) 7, No. 1, 5--41 (1999; Zbl 0941.03003)] ``Hilbert's thesis'', stating that ``every mathematical proof can be converted into a formal derivation in a suitable formal system.''NEWLINENEWLINETo this end, the author introduces the following modified version, called Hilbert's thesis II (HT II): ``In any cogent mathematical practice there is a systematic process of transformation (not necessarily known to the practitioners) which turns any correct proof into a (suitably related) finite derivation in a formal system \\(S\\). The system \\(S\\) in question is determined by the informal practice and its transformation process; in particular, the formal rules of \\(S\\) are rules which are implicit in the mathematical practice.'' While rejecting HT II, and thus agreeing with a part of Rav's criticism of formalism, the author does not accept Rav's anti-formalism, by assigning a role to idealisation, replacing the claim that ``truth is determined by concrete provability'' by ``formal idealisation of truth coincides with the formal idealisation of provability.''","type":"string"},"datatype":"string"},"type":"statement","id":"Q2804472$49DDE47A-0509-4C79-9126-5534475D0DB1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d2936d2ca75b282fe91002e3a0760ae48486e8ea","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2804472$C4C421EB-6CF2-43A4-8FA8-B977E506D091","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2804472","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2804472"}}}}}