{"entities":{"Q2104548":{"pageid":2115291,"ns":120,"title":"Item:Q2104548","lastrevid":56991741,"modified":"2026-03-25T13:40:07Z","type":"item","id":"Q2104548","labels":{"en":{"language":"en","value":"Guiding an automated theorem prover with neural rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628211"}},"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":"Q2104548$F4E1ED42-36DE-4C71-B07D-4923631C4A45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf5d9dbaed6c05a4abdeaece31a0b934886a03ed","datavalue":{"value":{"text":"Guiding an automated theorem prover with neural rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104548$4D2701EB-E448-4637-BDEC-D7F1734B26BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"011aa151414ed44de509a75868dae131cb07dbd2","datavalue":{"value":"10.1007/978-3-031-10769-6_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104548$BA31E449-190D-4FC2-9057-1C6684D883E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5f30ac8f64c830ff35885ac79f04fe72b752068","datavalue":{"value":{"entity-type":"item","numeric-id":2104547,"id":"Q2104547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$6E31DD13-DCE2-48F4-AFEA-1C046474FF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"773d25d043c40243644d131d63393ada39d41e4e","datavalue":{"value":{"entity-type":"item","numeric-id":1009255,"id":"Q1009255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$C4C33B70-6F02-4C4C-81CF-263A979285DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e24c4e43654848209a68060f96d6b8df113db0e5","datavalue":{"value":{"entity-type":"item","numeric-id":253961,"id":"Q253961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$DFF70C38-EA4E-4BBB-BA4D-A9BD7D0E6F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc204e2e78d924e815f2b640ec35c8c2356ad41f","datavalue":{"value":{"entity-type":"item","numeric-id":286786,"id":"Q286786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$E4E3DA46-40D0-4D61-92FF-CCE40B919ADB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2104548$CEC51CBD-0D08-4710-A566-CFA8B26AE224","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e98d52b56ee50f50085fc3a53812afa312dd8bf1","datavalue":{"value":"Kinyon and Veroff used Prover9 to search for the proof of the abelian inner mapping (AIM) conjecture, an open problem in quasigroup theory. In this paper, the authors improve its performance by using neural synthesis to suggest useful alternative formulations of the problem. They designed a method called 3SIL (stratified shortest solution imitation learning) which trains a neural predictor through a reinforcement learning loop to propose correct rewrites of the conjecture that guide the search. The authors trained 3SIL on a simpler task and demonstrated that it outperformed other reinforcement learning methods. They then trained 3SIL on the AIM benchmark and showed that the final trained network outperformed Prover9 and Waldmeister, another automated theorem prover, in solving the AIM problems. The combined system of 3SIL and Prover9 achieved a success rate of 90\\%, which is 8.3\\% higher than Prover9 alone in the same time.  For the entire collection see [Zbl 1499.68012].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104548$39D26074-E7D9-4FB5-BF84-68378E4ABEF1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b9ba793c71a27d4a99ae022bf7e20f7627cdc4b8","datavalue":{"value":{"entity-type":"item","numeric-id":376017,"id":"Q376017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$26B3286A-A76F-489A-A41B-20644B7D7824","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104548$907D4BAD-3376-4AFB-8DFE-05B80778C5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0c2591ec5b25df22c2ffdb20083debbdbf6fa8b","datavalue":{"value":"20N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104548$DECFEA0A-295E-4014-8AEF-052BA855DD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104548$761BAD68-4BE2-488E-8A86-E62E6918DBAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"441e7dc59ad29100a203605feca4c5f594a9f30b","datavalue":{"value":"7628211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104548$F2D19385-2E2A-46DC-8034-D281E4AE7F91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104548$962EB11A-37E4-4D8F-89AE-522ED15ED8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104548$90ACF444-B5B0-40AC-B407-B931674C839E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae791c6f8c9a04b271f607fafb8ca9f79ab43a2b","datavalue":{"value":"abelian inner mapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104548$A3CADD05-8D26-468D-AD4E-718BCC0D5E2C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e4770c36771c8464a97244d6a2ca4f447a98c1","datavalue":{"value":{"entity-type":"item","numeric-id":5974099,"id":"Q5974099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$A8A540F3-5242-4B91-A82C-A6D581FCAA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b0802dd9ffb89108bee25aa26120dffc46ad60","datavalue":{"value":{"entity-type":"item","numeric-id":2352489,"id":"Q2352489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$31D0039B-47F6-48FD-9440-E870286E87BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af6b847528569308c270822a9e669d3f5e692fc","datavalue":{"value":{"entity-type":"item","numeric-id":2219409,"id":"Q2219409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$2B86D3FC-7326-4229-AEC2-7770ECD581EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee178f7541c5d2ed1d6ee17e1e99ce6d2d8a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5195271,"id":"Q5195271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$3A0A2DBE-78C6-46BE-9228-73A56FF63229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ae3186b750126567f78f8fbe4fd7d86109b7ac","datavalue":{"value":{"entity-type":"item","numeric-id":2305414,"id":"Q2305414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$C9BFF8FF-CDEC-42A4-9B1B-9775E56759F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbdc4dfdb7d7969581a358c621f8c9ce3827bda6","datavalue":{"value":{"entity-type":"item","numeric-id":2219410,"id":"Q2219410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$77E1E976-BA78-4E1C-8EC5-1AEF2669A572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c577e428611609f51c98d78844448d28a70865f","datavalue":{"value":{"entity-type":"item","numeric-id":2031416,"id":"Q2031416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$5265562D-5271-4D8A-B4FB-6394A5C50484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864e6cd07adfe1faae3d13ded07e47ac288afaf1","datavalue":{"value":{"entity-type":"item","numeric-id":4916218,"id":"Q4916218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$1ED014C9-422F-4BDE-A8CB-31D2E593FD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92a8b5a195a9ab5cffef1f281a7b28dc8b024756","datavalue":{"value":{"entity-type":"item","numeric-id":5204800,"id":"Q5204800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$02312F63-3A30-4AAB-B8EC-7E1D9B54D7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42182537caf540a6b7314fdf96f3b68cb2793047","datavalue":{"value":{"entity-type":"item","numeric-id":4913865,"id":"Q4913865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$12080EF5-D923-4B65-BDD5-5C847BA54C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce187d54500a2db26ceae6e0205ecb0b0752213a","datavalue":{"value":{"entity-type":"item","numeric-id":4773313,"id":"Q4773313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$9A0E339C-E0CA-40C0-974B-AE61C2D3BA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af0686a917af490cd6b8fd4a74084a47e3e83805","datavalue":{"value":{"entity-type":"item","numeric-id":3568233,"id":"Q3568233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$6123AB8C-0852-46F6-B50B-3A0F1029F411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$B5A0443D-C3B0-4082-AD7A-1AFA4B090E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9297b6a91a7c29eb2b70ce4159ebd40915c17240","datavalue":{"value":{"entity-type":"item","numeric-id":2305435,"id":"Q2305435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$0214E8F4-87FF-4FEF-9CB0-FBDDD6B6DA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7fffb2327a6ce82997a120ef9ee1d8fe591d78","datavalue":{"value":{"entity-type":"item","numeric-id":2055894,"id":"Q2055894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$1B6FC00C-6327-4550-8AB2-7FA7FEB59C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae658c7b9ce655f09bbbbf265b43c9366e7c7d1","datavalue":{"value":{"entity-type":"item","numeric-id":5145460,"id":"Q5145460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$8003331D-37BE-455B-B8B3-4263A68788EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d3bd02791f3fd6f2c39b3ae9244b7d656a93c72","datavalue":{"value":{"entity-type":"item","numeric-id":4626283,"id":"Q4626283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$7C7CA36F-131F-4B28-A12A-003730831CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3087f1a7eb9309c1646d3032c16c6ac9f3d28d8c","datavalue":{"value":{"entity-type":"item","numeric-id":1923820,"id":"Q1923820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$457A04A2-004B-4A1C-BBFC-56580D8CC4B8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e348d19a330aa9d1ca07463e53587f5fedf765f3","datavalue":{"value":{"entity-type":"item","numeric-id":5974099,"id":"Q5974099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$0D518401-1CED-42A7-ADD8-DDB0E42D09FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$75F24363-1E12-461D-A749-AD4FEE9717E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7788e96f7710fd06d5acfc0fd58327b3bfce3e4c","datavalue":{"value":{"entity-type":"item","numeric-id":40346,"id":"Q40346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$DC8A75CC-24E4-4021-BAE1-C04E61C87E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"30bf75efb36ce548a631ba3177096a709329cc05","datavalue":{"value":{"entity-type":"item","numeric-id":34000,"id":"Q34000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$97D7361E-B892-4DD5-821F-E82BD1323DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$88923C40-A905-4626-8CEF-380F5090C725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$0C9C2BAE-1EBF-4EF4-B4C9-419A434079F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$E10741B8-45DC-40FC-BB0C-A27909B2D91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a28c49518b2391a3c9e2da3891679e04c0308e5d","datavalue":{"value":{"entity-type":"item","numeric-id":32752,"id":"Q32752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$9CEC02D6-9AF1-48B0-90AA-B27A41390C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33061b9a75e57d93e8912d2c2b716b27d6bd52ab","datavalue":{"value":{"entity-type":"item","numeric-id":40369,"id":"Q40369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$3C689E6F-06C4-4931-B4E1-6B69669A480A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c766f98bf98fe7cf06a05963cc75ed84be39ac3","datavalue":{"value":{"entity-type":"item","numeric-id":31394,"id":"Q31394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$B50C9227-C6BF-4D76-831B-EDC73FDAE19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efbc9c0ffecce111990689e7c9fa5153da65c282","datavalue":{"value":{"entity-type":"item","numeric-id":5972779,"id":"Q5972779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$1E4C99C3-30AD-4A51-B6E0-C26ADE1C200F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$21ACF8DB-CEFD-4C25-8013-DCEE32A88329","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":"Q2104548$AEFC0059-2A50-4F73-9C84-EF80FDC1F041","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60ee2f4429c899813db9764cc795ed6679b05828","datavalue":{"value":"https://doi.org/10.1007/978-3-031-10769-6_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104548$2FCF878F-80C7-4156-B497-0D7820F13ACB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb07d3b39bdbeb8b08ecde294d165e0e9894307a","datavalue":{"value":"W4289104042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104548$B71EFF1C-C33F-4186-A9F4-C8612ADC8332","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e6913043492ae567a50f78cbe3de589d12453a","datavalue":{"value":{"entity-type":"item","numeric-id":4530367,"id":"Q4530367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"239eb5e8970495dd1dae948f2c44d12283fae29b","datavalue":{"value":{"amount":"+0.9431837","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":"Q2104548$4121F82B-5063-4FE0-816B-D370FBF69158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ebaf6830eef584d7ab2dc884caeba9d75a64948","datavalue":{"value":{"entity-type":"item","numeric-id":2180215,"id":"Q2180215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1533bfe3d879f3896e3c92535a0ccf6ac30c1058","datavalue":{"value":{"amount":"+0.92231953","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":"Q2104548$5BB26A68-3319-46EA-86EB-3F1D43C9E106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7450ef75eab7759ec3e2c41e6b79462da7c276b1","datavalue":{"value":{"entity-type":"item","numeric-id":4645728,"id":"Q4645728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7a63a36b8934600d169a110e2583b342b546074","datavalue":{"value":{"amount":"+0.87475526","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":"Q2104548$CBFA5192-748C-4311-9EBB-5253F390A286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c1b94eaf00f419592c0db5550312cdb39e980b","datavalue":{"value":{"entity-type":"item","numeric-id":6166153,"id":"Q6166153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ccef9fabfb9d0c417bde1fa4c6f2189a082975","datavalue":{"value":{"amount":"+0.8732988","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":"Q2104548$A57E59AA-4A4E-4E41-BF79-20E3E2EAD119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da609d20dbdbe2bfd6c5168a4c9a04e0787c3e5","datavalue":{"value":{"entity-type":"item","numeric-id":2145332,"id":"Q2145332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc10e775998531e7ef743d54f19ceeb64a9fae7c","datavalue":{"value":{"amount":"+0.8593558","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":"Q2104548$5E29344D-9237-4445-9847-C76128CE70CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a58b0f42e40f533fa2abbe3a482712fc826f5945","datavalue":{"value":{"entity-type":"item","numeric-id":2362206,"id":"Q2362206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049f97294b01beaff0ff74f9dfd617351af38610","datavalue":{"value":{"amount":"+0.848452","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":"Q2104548$EF586883-5715-40A1-9608-F9A7D41A7061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491a229ab4ccd35f5b9174dcd6e464cba396a8b5","datavalue":{"value":{"entity-type":"item","numeric-id":4015952,"id":"Q4015952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae697d42e881200dde1bc0de5c6613f4e1211e6","datavalue":{"value":{"amount":"+0.8440331","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":"Q2104548$D9D72AF1-5D20-4D73-BE89-DAE9164D9096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcfcd51c2fbd2726dcf9a89335d8e7db15c01c4a","datavalue":{"value":{"entity-type":"item","numeric-id":3095242,"id":"Q3095242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"012160e6542c6c229d1fe6fe72a7170bed1fc093","datavalue":{"value":{"amount":"+0.83824325","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":"Q2104548$6AA29357-CA2E-4BF1-A600-3CF97BE2A015","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104548$EAE33328-6DDB-4EF2-A0A2-051096D96599","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104548","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104548"}}}}}