{"entities":{"Q885512":{"pageid":887360,"ns":120,"title":"Item:Q885512","lastrevid":50115674,"modified":"2026-01-13T04:43:57Z","type":"item","id":"Q885512","labels":{"en":{"language":"en","value":"Informal versus formal mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5164195"}},"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":"Q885512$71EDA2F7-5353-408B-A050-9B91C69AC58A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"059d6d39fe00ba480f45d65b0b179eb4251a151f","datavalue":{"value":{"text":"Informal versus formal mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q885512$9854F8DD-0A70-4E5F-93A5-E29467A0562D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2eb794afb93dc3372c9889e8007c6e12069fc4bd","datavalue":{"value":"1163.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885512$48717D8C-3196-46BA-BE86-516EEB723E4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"916a229cd0a9affd7bc6734d1141f02846c7f3d4","datavalue":{"value":{"entity-type":"item","numeric-id":885511,"id":"Q885511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$DC8573AD-93B2-425D-95AA-A6701FDD256D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$D45391BB-80F9-4E14-9AB9-8EE729AD8E1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bab32af2be3d6aa1853ef23f80d5ca9e92477a30","datavalue":{"value":{"time":"+2007-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q885512$C4F09478-2E3A-4A07-AB9E-99E57FD12AF9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e579f7d2da74ff0f424536fdb79f190ef3971efe","datavalue":{"value":"In order to illustrate the differences between the formal and informal approaches to mathematics, the author presents two striking examples. First, he presents a short discussion of Kunen's algorithmic implementation [see \\textit{K. Kunen}, ``A Ramsey theorem in Boyer-Moore logic'', J. Autom. Reasoning 15, No.~2, 217--235 (1995; Zbl 0836.03031)], based on the Boyer-Moore theorem prover, of a proof of the Paris-Harrington theorem (see [\\textit{J. Paris} and \\textit{L. Harrington}, ``A mathematical incompleteness in Peano arithmetic'', in: J. Barwise (ed.), Handbook of mathematical logic. Amsterdam: North-Holland, 1133--1142 (1977; Zbl 0443.03001)]). Then, the author's proposal, with \\textit{N. C. A. da Costa} [``Consequences of an exotic definition for \\(\\text{P}=\\text{NP}\\)'', Appl. Math. Comput. 145, No.~2--3, 655--665 (2003; Zbl 1046.68060); addendum ibid. 172, No.~2, 1364--1367 (2006)], of an `exotic' formalization of the \\(\\text{P}=\\text{NP}\\) hypothesis in Zermelo-Fraenkel set theory is presented and elaborated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q885512$6EC06E2B-3564-4A64-A8A3-A4DCAC8EA8BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885512$58095AA2-85A4-4D90-9986-0247B3273579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885512$4E93BEE9-DCCE-44F9-BEA6-E71F0FDEE424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885512$7B9BACCC-5625-404D-9D15-284F547898E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885512$CE737D26-3FE8-4199-ACB4-B76B49791A6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f4440619afc9cfce094b73a068374c4e73f738c","datavalue":{"value":"5164195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885512$A1A38DD6-8D0B-42F8-B27F-B3503E09F9B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"093d937b4b48463d307a0493650a880b7e806ad4","datavalue":{"value":"informal mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q885512$2DC04B57-7A5B-4C04-9F7A-0A4B2C3C447F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3a96a510fd7a7846523150dd8bb125ef8f415fa","datavalue":{"value":"formalized mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q885512$A4BD4206-DCA7-403A-A321-948E95E06B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddd1a3e6603501e950262ee61ae4930ef35d59e","datavalue":{"value":"consistency of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q885512$81C777B8-9609-43AB-B613-37C3AFBAFCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3c321106c52d493c8454b8627e5e3d0d3a97135","datavalue":{"value":"P vs. NP","type":"string"},"datatype":"string"},"type":"statement","id":"Q885512$78DA938F-0FED-4E79-B159-2F3D4019233D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$8741F619-ADEE-4568-BE78-DFF29F2CE9E3","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":"Q885512$514A926A-5084-4813-964A-236E9958B454","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"441d71c3edf6b26d41315c7ca19693e7554ee1f9","datavalue":{"value":"https://doi.org/10.1007/s11229-006-9126-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q885512$91597084-9688-40D3-B274-ADD08CC434CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41a6c36c0b94ed32e0df086c4e306a257dee9700","datavalue":{"value":"W2069091092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885512$F4B3E06D-F79B-4FDA-9FFC-797DFBCD3E56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c4b58f9e8478a4210509de111b81e4ccd911506","datavalue":{"value":{"entity-type":"item","numeric-id":4086709,"id":"Q4086709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$3430927F-5946-4B40-9C6B-491C0EC03C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cd3f56a649e15ca19a60ae05ff6c5a2d087137e","datavalue":{"value":{"entity-type":"item","numeric-id":2709403,"id":"Q2709403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$A7033DD7-F7C0-41CC-B32E-B0BDD056E36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eaad1b4a258688b4a5cea475a4f431a6649f7de","datavalue":{"value":{"entity-type":"item","numeric-id":1176394,"id":"Q1176394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$68E34C61-1417-42A4-A548-976FC6865E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9c3b8284f4de47146450cbd3f33a47b03813b9","datavalue":{"value":{"entity-type":"item","numeric-id":1412482,"id":"Q1412482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$CC112C80-4B9E-4595-9FC0-E053037137E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d68f28568115ff15ec3407e6a0f7fb09f6d6855","datavalue":{"value":{"entity-type":"item","numeric-id":4822150,"id":"Q4822150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$D9767986-CEC8-4769-B47D-F1D0FE822C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6ba638c6f2159a3c0592782cfe86c0f1831361","datavalue":{"value":{"entity-type":"item","numeric-id":2497877,"id":"Q2497877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$F045A5B7-DDC6-4CA6-982F-497665CD3738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9693dd83fbb8ba1e8f6649b7ba1a0f014e0e6fc","datavalue":{"value":{"entity-type":"item","numeric-id":2383632,"id":"Q2383632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$1B76591F-8D14-467E-87F7-8CB92998F3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$678CDDAC-914C-4AFB-8B76-5EFDF7A2D443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75a53d59efa144ed7cc8d7f6a5488bdec8059d8f","datavalue":{"value":{"entity-type":"item","numeric-id":5727661,"id":"Q5727661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$6F4C5348-200E-4234-85BD-308CC5924289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53bcfabc22212d3db2a4fa41c3566844e5ecdda6","datavalue":{"value":{"entity-type":"item","numeric-id":3668859,"id":"Q3668859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$92695DB9-0636-41FB-838C-522E5F1A85ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"941b7d3f9c4d270f63e869dc41390da27805a5a8","datavalue":{"value":{"entity-type":"item","numeric-id":4678945,"id":"Q4678945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$05888E2D-0215-4A56-B55A-455039115BBF","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":"Q885512$D646108C-C283-430C-8477-51C8C8A7C6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0f2e26d1a5e637b7f483d125d085e6f10f6ade","datavalue":{"value":{"entity-type":"item","numeric-id":2645094,"id":"Q2645094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$DDEADBA0-5B7B-4D50-9212-A1E3AEED242D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$284292F6-2AF4-4EC0-BADE-E416EE174CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b35e2af45e8e63da8bda1b0cc98175e783051494","datavalue":{"value":{"entity-type":"item","numeric-id":3037403,"id":"Q3037403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$1DCAF61B-9AC7-4A5A-849C-36E4FB2AF45B","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":"Q885512$8D2CBC8A-EF90-480D-BE63-9DDAFE66DB23","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":"Q885512$FFD22CE0-D670-43E2-8B3B-9BF531D14792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e085d23761b683ccabca7a184fc918b1460e91","datavalue":{"value":{"entity-type":"item","numeric-id":1904403,"id":"Q1904403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$3154777F-B61F-489B-A7E3-3AB9F716AA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c5c0e9f49dd16643fc7ccbd96b4a89b8eedbd16","datavalue":{"value":{"entity-type":"item","numeric-id":4736397,"id":"Q4736397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$5A521F69-33ED-4E26-A0E2-3930C465AAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917800fa52c098f2382f946c4094dc39e957bfbe","datavalue":{"value":{"entity-type":"item","numeric-id":4153600,"id":"Q4153600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$0B54BC20-6034-46A3-AC6C-D90AC2C821ED","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":"Q885512$9790A130-E634-4FC6-9C3D-4116765D85C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9636412683348c3a6eb5fcf0191c6aa2a44d7064","datavalue":{"value":{"entity-type":"item","numeric-id":3272468,"id":"Q3272468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$75BD4303-5447-43A4-B3ED-833C424F7D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d9deaa1d9155b9e4f8869013a093e908636c83","datavalue":{"value":{"entity-type":"item","numeric-id":1114685,"id":"Q1114685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$8340DCAA-59E5-4A2A-8B6E-1E6193817F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162d693aa76a5750175e9d46ffeb02a8a5b21d2b","datavalue":{"value":{"entity-type":"item","numeric-id":1188945,"id":"Q1188945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$9401B775-B556-4373-AB2B-B77E37D4CD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44cc4b056e275da4b099532ca241ac5945d2bb46","datavalue":{"value":{"entity-type":"item","numeric-id":2736604,"id":"Q2736604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$32BB5583-A2E4-4D86-BF37-38C89E3700CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f3cd6326ce8193c736d9ba96032feea94bf7fc","datavalue":{"value":{"entity-type":"item","numeric-id":5773619,"id":"Q5773619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885512$2AE3BC8D-04AE-48F1-BB02-393FADF7CB09","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":"Q885512$0F4FD367-332D-4785-8D9B-70AA63A48257","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"956237024070feb12f32378613f778d2571e0fda","datavalue":{"value":"10.1007/S11229-006-9126-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885512$D27AFEF8-BF07-41F9-9486-916771BAFE9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94c7b1cec4783320d53ed8a2641881d6c7104375","datavalue":{"value":{"entity-type":"item","numeric-id":711567,"id":"Q711567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35be7957dc3da17391ff64d2a0c7b03b4dca9f72","datavalue":{"value":{"amount":"+0.7342442274093628","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":"Q885512$053D2E95-10B1-43D7-B88A-588138B33A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01e97909cd0f0f07149211cb9c852236174beef9","datavalue":{"value":{"entity-type":"item","numeric-id":5421717,"id":"Q5421717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3c29fb08f1fccabe9470bebfbb6a802b848191","datavalue":{"value":{"amount":"+0.7149618864059448","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":"Q885512$231F4CC7-AF7F-4DFF-A44E-F4FDB68FDA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa6bd98da1bbdf3497e1b51e04ae382691b0db12","datavalue":{"value":{"entity-type":"item","numeric-id":3101071,"id":"Q3101071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1dfe19bab4f6a96c6b9ca9103cacc95f0feadf3","datavalue":{"value":{"amount":"+0.7144826054573059","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":"Q885512$E2F392C5-6A5D-494C-85D6-9FF47776795C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf3e1309b720aab4d5e3e6086f83e87ae9f0f9e","datavalue":{"value":{"entity-type":"item","numeric-id":2383632,"id":"Q2383632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e12aea17342e1246598b35e07bd0429b8dd79c","datavalue":{"value":{"amount":"+0.6974725723266602","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":"Q885512$E1474AED-3DC2-4D73-BD2B-6EAC21EF264D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5291b1d5bd13b301f5e4c4b467945271cf3860","datavalue":{"value":{"entity-type":"item","numeric-id":2804472,"id":"Q2804472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"007edf86bd6326110475a18aa73df5a42e786a97","datavalue":{"value":{"amount":"+0.6906752586364746","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":"Q885512$2BFC9ECD-0AE0-43A5-8EB9-623655C8E8DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:885512","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:885512"}}}}}