{"entities":{"Q1014284":{"pageid":1016132,"ns":120,"title":"Item:Q1014284","lastrevid":42819795,"modified":"2025-07-14T10:29:40Z","type":"item","id":"Q1014284","labels":{"en":{"language":"en","value":"A solution to Curry and Hindley's problem on combinatory strong reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547509"}},"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":"Q1014284$FEDFE0C1-4307-4CC9-85C2-1FD1AD7D5282","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62b538ac7979f8ee6eed9ffedce04f30270dea78","datavalue":{"value":{"text":"A solution to Curry and Hindley's problem on combinatory strong reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1014284$E0AAB9B2-6207-4190-AAA0-D723203B4CFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c37c22bc929c9a544e257f09225c48ed8fb570f4","datavalue":{"value":"1172.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014284$B12DA595-A3CF-45EC-A401-AD74829FFCDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1618888cebf23d68c72b9159427d6441352a3ca5","datavalue":{"value":{"entity-type":"item","numeric-id":377467,"id":"Q377467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014284$C526404C-D3C3-4DF9-99C9-113EBE089C84","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":"Q1014284$CC45A9C2-5BA4-43EF-A856-40AFFA293C97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f40d4a7d32e7e554cba8a4f57f931cf8b36f1589","datavalue":{"value":{"time":"+2009-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1014284$D3500E12-A135-4748-B774-C889598FFF68","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7589dfa4f0becaed2d4e85db4e555e72953e7281","datavalue":{"value":"From the author's abstract: ``Curry and Hindley's problem, dating back to 1958, asks for a self-contained proof of the confluence of \\(\\succ\\) [the combinatory analogue of \\(\\beta \\eta \\)-reduction \\({\\twoheadrightarrow_{\\beta\\eta}}\\) in \\(\\lambda \\)-calculus], one which makes no detour through \\(\\lambda\\)-calculus. We answer positively to this question, by extending and exploiting the technique of transitivity elimination for `analytic' combinatory proof systems, which has been introduced in previous papers of ours [\\textit{P. Minari}, ``Analytic combinatory calculi and the elimination of transitivity'', Arch. Math. Logic 43, No.~2, 159--191 (2004; Zbl 1060.03033); ``Proof-theoretical methods in combinatory logic and \\(\\lambda\\)-calculus'', talk presented at CiE 2005: New computational paradigms, Amsterdam, 2005; ``Analytic proof systems for \\(\\lambda\\)-calculus: the elimination of transitivity, and why it matters'', Arch. Math. Logic 46, No.~5--6, 385--424 (2007; Zbl 1117.03020)].''","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014284$1F521FA7-AAEC-4D88-9FEC-11DA1C4E9523","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"698ef69cf2501558685cb66472f90d21aa909f07","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014284$891E68EF-FD9E-4593-8AD1-CE3ED9ED7BE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014284$9D855F40-4BE8-445F-8B15-4F3EEC1CE505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014284$CB4212AB-BBF2-4A0C-AECD-7C2A78430B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014284$95C06FAC-B1FC-406E-ACDF-5116A600B1CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3b583d31650b7ea05627e64cd1df55f086130db","datavalue":{"value":"5547509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014284$DF57D39F-C0A8-416E-A2F8-130AB0E59257","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014284$CC1AF764-717B-4748-9DE6-3AA1E9DBEDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014284$62D619FD-A12C-41AB-86C0-9EFF603CEB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22a0d6ecb714bf3e1bec561c0ccb78dc31fab570","datavalue":{"value":"strong combinatory reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014284$F1B5C320-2B91-4905-A0E6-9B349F62625F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014284$ECDE1C21-98AF-47DD-9088-6A437D98D2BC","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":"Q1014284$85CDD4DD-12CD-4195-9D58-86B12D24DF34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f089fedb1c6022f5691ea8545a64028d5555380","datavalue":{"value":"https://doi.org/10.1007/s00153-008-0109-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1014284$0BD8A6C9-22B6-49A6-B18F-888A3142AC1C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f78b853a41a75e90a8db5230ffb281663689b99","datavalue":{"value":"W2031719710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014284$CB614E3B-FB37-4CB6-B7B0-8AE473B58232","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014284$E943EB5F-F5C0-4E8C-9D00-D39BEE197013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014284$8DB86263-3382-4651-AFBE-672EE3EC262F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014284$EAECD45F-B62F-4400-A7B5-73980D856660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b98f1b8d3e198f13c8d4c7f34bacaca6a772f","datavalue":{"value":{"entity-type":"item","numeric-id":5532528,"id":"Q5532528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014284$2E7A37A1-E5B2-49F9-8EF5-7F5F10437365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0830af437384ce58d677e5295b485241789eb3f9","datavalue":{"value":{"entity-type":"item","numeric-id":5590804,"id":"Q5590804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014284$50728FBB-2572-420E-B1CE-796F34B14F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44abcddc39d6e09b3268b9b082d2594b8677707","datavalue":{"value":{"entity-type":"item","numeric-id":5686017,"id":"Q5686017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014284$FADD6215-5CC5-47B1-8195-BCD1F7E9FA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9b6c837d9448bc2b136325c331db8629ab4909","datavalue":{"value":{"entity-type":"item","numeric-id":3522248,"id":"Q3522248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014284$BF5D2D2B-DE80-4B58-8F08-150EA25DB0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b762c456cea55c3597950cdbfd74b56caff7b9","datavalue":{"value":{"entity-type":"item","numeric-id":5532527,"id":"Q5532527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014284$DCD69879-45E6-465E-A1BC-DA2FE01C7BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0201ae9d8935cabb012c84f4af38b1beb79f23c2","datavalue":{"value":{"entity-type":"item","numeric-id":5532529,"id":"Q5532529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014284$365B550F-FFE8-43C1-A89B-A178A4AF431E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1209dc7a450c74d467811038c4d37724efc2e59d","datavalue":{"value":{"entity-type":"item","numeric-id":2539219,"id":"Q2539219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014284$D15C5AAE-AC96-48EA-93DE-18E474988718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598a4a4694622531126f97393b25ec54c89497ac","datavalue":{"value":{"entity-type":"item","numeric-id":2539218,"id":"Q2539218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014284$5B770982-9880-4517-BB32-94008DF245A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e99a44fca9ff65aef3a299c3a4176ab737b66ee","datavalue":{"value":{"entity-type":"item","numeric-id":2537972,"id":"Q2537972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014284$AD809342-0619-4309-9E9B-5116473235AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38670832f2c847dc614f98e3069395c17b45752d","datavalue":{"value":{"entity-type":"item","numeric-id":1879319,"id":"Q1879319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014284$97564373-FBB4-4BCE-889A-F876A357ED80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85d9fb3b6404c9cdf276755bc581068fe7ef75e","datavalue":{"value":{"entity-type":"item","numeric-id":884953,"id":"Q884953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014284$EEE0C1B3-307C-4565-83C3-D7F8ECA0BBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36bf9d98ddb31cde733ea23d6df193235b8862dd","datavalue":{"value":{"entity-type":"item","numeric-id":2556396,"id":"Q2556396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014284$DF2E101F-4269-48F4-9DF4-439A5E7C463C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b14bf3f5dc44d247e39251b8fb23a7b264e59166","datavalue":{"value":"10.1007/S00153-008-0109-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014284$D1BA740F-0EA3-406F-BC03-003467D22A09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdcba01d645ce5ef7c27dc79a7e6a5e4229e4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2104281,"id":"Q2104281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5157c0c384c4b50b0d151b8f6264e166396df859","datavalue":{"value":{"amount":"+0.9035249","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":"Q1014284$6B4E3CA7-4957-40C2-AE53-75D28FBB7E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4741c4be621d9cb1dc206c96fc8a184aeda78935","datavalue":{"value":{"entity-type":"item","numeric-id":732008,"id":"Q732008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ebddd95291bd1b5a29bb2d4e9b885b89c316f3a","datavalue":{"value":{"amount":"+0.8974738","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":"Q1014284$E896C42F-E941-43A6-A38D-C5BC8D3B3DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6300963bf6730cf66108a360e5ccfbb6a075b9","datavalue":{"value":{"entity-type":"item","numeric-id":5532529,"id":"Q5532529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0e22f7bc30aa3a816996da361f861b5c29c85c5","datavalue":{"value":{"amount":"+0.8799013","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":"Q1014284$EAADF431-DA63-4D90-856B-EE7745649275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d888702055863ee42be75bbe7ef25f9da1cd786a","datavalue":{"value":{"entity-type":"item","numeric-id":2976339,"id":"Q2976339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f358390d37d3af667b5b8bf3016a30d04e27b0","datavalue":{"value":{"amount":"+0.8612358","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":"Q1014284$1EFFA110-C333-4E48-8A75-B2B8362B5738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5f5c6284fafbde4777cee1b2c208cef154fba9","datavalue":{"value":{"entity-type":"item","numeric-id":3715103,"id":"Q3715103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"313c6e096424ab508c33d683b06707a7ef8ddc8c","datavalue":{"value":{"amount":"+0.86021554","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":"Q1014284$2549E5FC-F7BC-4D86-B266-8DE3DEEF463D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba2b2c83bfb188c6c68685e48981cc4a23c852f","datavalue":{"value":{"entity-type":"item","numeric-id":800353,"id":"Q800353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"760fa3769a252e77ee535dd502bfa021d1e857f3","datavalue":{"value":{"amount":"+0.85755706","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":"Q1014284$44269ECD-BB90-4EE2-8DAF-46FF0EBBF81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b171dde0423d3f48718f03aab437cafacf114a3","datavalue":{"value":{"entity-type":"item","numeric-id":2537972,"id":"Q2537972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26d753c2b621ab0bfb211be3222e0099ed75102e","datavalue":{"value":{"amount":"+0.8572355","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":"Q1014284$C20401E6-5EBB-4B8A-B95B-078B2F7E84F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f46685d8492e3c6eac805e6e20720375a059d2d7","datavalue":{"value":{"entity-type":"item","numeric-id":3320340,"id":"Q3320340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"514970ade2dd227d82ec7d37a9e7b4acc8b15513","datavalue":{"value":{"amount":"+0.8567351","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":"Q1014284$C47087B0-0543-4AB7-ACC8-83B190127E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4d02e555b9d891ef7c4280539903606eb05341","datavalue":{"value":{"entity-type":"item","numeric-id":5096158,"id":"Q5096158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba6e680d2b98321bb948b340f6a2d147e5e33cc","datavalue":{"value":{"amount":"+0.8555272","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":"Q1014284$4244CF66-B0B9-4D65-94FD-E3824A19B40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7024b584150a2e1ba8672fba00213125bc7194de","datavalue":{"value":{"entity-type":"item","numeric-id":4016403,"id":"Q4016403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba6e680d2b98321bb948b340f6a2d147e5e33cc","datavalue":{"value":{"amount":"+0.8555272","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":"Q1014284$42032C52-B4AE-42D4-9C68-175462838F23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1014284","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1014284"}}}}}