{"entities":{"Q832255":{"pageid":834103,"ns":120,"title":"Item:Q832255","lastrevid":57687309,"modified":"2026-03-31T22:12:00Z","type":"item","id":"Q832255","labels":{"en":{"language":"en","value":"Theory exploration powered by deductive synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498177"}},"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":"Q832255$55511BB6-BD7E-416A-8661-EA3388303039","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0e201a027d834bcddae6e9ec24c5b93bda95ed5","datavalue":{"value":{"text":"Theory exploration powered by deductive synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832255$B18A1EDA-C8B1-46A9-BE4E-D262B96F7F2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75fa75c65af219f70a8e0a9b04cd02c0b9d90470","datavalue":{"value":"1493.68388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832255$AAD7A91F-03CB-46ED-BC7E-88A19E9198FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4e6e2721695a17c4ffdbf3b54394f3341470e2c","datavalue":{"value":"10.1007/978-3-030-81688-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832255$34F8D75B-BEB9-40F9-BA97-78B0761DA283","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aac473b05b81b5636029568384c30f9892470141","datavalue":{"value":{"entity-type":"item","numeric-id":832254,"id":"Q832254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$05429A63-D013-4D89-AFA1-2C142809F2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"123bfafb2f4109e7c3df6b89fc9b0bf1a3482dfb","datavalue":{"value":{"entity-type":"item","numeric-id":784118,"id":"Q784118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$16056B54-A5E7-496B-844A-B6001AAF781D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832255$64596206-33CB-4405-BE19-554269016E03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19bd356186cde61652ecd5244bff6b2817a443fe","datavalue":{"value":"https://arxiv.org/abs/2009.04826","type":"string"},"datatype":"url"},"type":"statement","id":"Q832255$2FC9DEC4-082F-49A8-A135-DC5BFB5BAB7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832255$789EAA40-901A-41A9-8665-5F6A77B44E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832255$E8CC13F6-27BC-45BC-B81F-8CF71CFEC447","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0086ff960de1d428ff58c4ed530a76b19bfcb4b","datavalue":{"value":"7498177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832255$2E95F309-C5EF-45FD-969F-1202213D6D1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eef86f581c3c438a6a8d6ac2be8b08e9c6183209","datavalue":{"value":"theory exploration","type":"string"},"datatype":"string"},"type":"statement","id":"Q832255$DC350FAE-3E2C-4CF2-9719-4B9CBB5BAB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q832255$4AF161B6-F034-48F8-B0A3-4E16183ABD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q832255$5EE6D64A-BC2E-463C-9F55-9872A34C7283","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$FC7F9538-4D91-4DB8-A926-8B8174B70702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$676967E7-0AE8-4AD5-8352-522FAA7FA1DA","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":"Q832255$606ED635-AD6D-46B5-8F94-B234CD5F0CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$202CA88E-88CD-421C-9487-21A60D319D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"94a83aebbff287adfc2566cf5a58d543fa9638cc","datavalue":{"value":{"entity-type":"item","numeric-id":21152,"id":"Q21152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$1F2C09B7-AE8D-4BA2-9142-DB77AB16AA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b9c79bb992157d20fab6eb5fee397ed0e5c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":41198,"id":"Q41198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$E6D732FF-DF28-4F58-9A14-F8D5595E792C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2f043d0467daaea8e614a23d33bcf81980d3f549","datavalue":{"value":{"entity-type":"item","numeric-id":53655,"id":"Q53655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$BF92BEEF-1208-469C-BE58-951BF82A554D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ef769e964c162d9fc2eb5be086cec28e8fe11d8","datavalue":{"value":{"entity-type":"item","numeric-id":5973367,"id":"Q5973367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$1E9ED125-EF1C-4EDA-8273-58908E3EB237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$D55E5906-C03C-4FB6-B789-DFCBBAF28F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$BC9BF567-7146-46A9-ACD5-80C386BB6E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$18576E6B-EC76-488A-A4EC-B715955EA184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2196bc177966aee059cbe6dcb19371e0feb3fa3e","datavalue":{"value":{"entity-type":"item","numeric-id":19753,"id":"Q19753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$F29661C2-9616-4BA8-A01F-CEE2A7DE6BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76fd40323a824010079b2985e8bd74c40bfb4d73","datavalue":{"value":{"entity-type":"item","numeric-id":23170,"id":"Q23170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$D8DED019-0076-4FB5-BE73-7280329D0296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd1f11f1c714006456b4bd54bab92a11b4a8c134","datavalue":{"value":{"entity-type":"item","numeric-id":40388,"id":"Q40388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$E6329A58-9110-4072-B7CB-DA233225AFA2","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":"Q832255$F2BC518F-532D-4E66-A288-23C69C9772BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7534f61360542a3185a0d7b740a67defd3d5e6a2","datavalue":{"value":"W3185574054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832255$EBDD90DB-A356-4CDA-871D-D6925DB788E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b817619231fc1eac76232ebf12c798a2fab388","datavalue":{"value":{"entity-type":"item","numeric-id":2828322,"id":"Q2828322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$13A8599D-1F07-4FCF-B1AD-7131BDCA6BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db081a6ba37b413fd57cdd13b256d1f5696aed3d","datavalue":{"value":{"entity-type":"item","numeric-id":3303931,"id":"Q3303931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$97C45E96-3A13-4A5F-8487-06307DF48A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"891b68750ed32518a9a712f13cb431304bad6b82","datavalue":{"value":{"entity-type":"item","numeric-id":4780208,"id":"Q4780208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$409E9402-43AA-4C7D-9ED7-B47CFFD2EDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7e013849775846918727fac3e7e6455bd448813","datavalue":{"value":{"entity-type":"item","numeric-id":865646,"id":"Q865646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$ABA78673-E2F1-446E-910B-4CE84E0C2F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4097ecb980e2df6f5072c854a7151168d79b8bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4928454,"id":"Q4928454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$E80DB97E-9169-4F01-8FD5-BAD5F074F346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"898d2836e77c209a26cdc90309154e79d6e4a365","datavalue":{"value":{"entity-type":"item","numeric-id":3453129,"id":"Q3453129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$32F76AF6-99DB-4A6B-ACEA-90B1D61D0D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c32d3283dbc1fe39bfc7c16048659fcd75d91f","datavalue":{"value":{"entity-type":"item","numeric-id":1687553,"id":"Q1687553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$728749AA-E8FA-4214-804C-91469523A4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$E2301DB2-7BC3-4A04-9455-0B035E4861F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358a4e09d6cbdccb0a6a97551bee24c6efb9d080","datavalue":{"value":{"entity-type":"item","numeric-id":5326338,"id":"Q5326338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$D71449D5-DA31-4C0B-98CF-09D9FDE9D3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a870fa3d7679c3246c7791a327d02e8e5d730071","datavalue":{"value":{"entity-type":"item","numeric-id":2151254,"id":"Q2151254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$EA4CCD44-8866-475C-A799-C541572FB695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced51c72befd73801ec436b2c36c41eaabb2fdfa","datavalue":{"value":{"entity-type":"item","numeric-id":6108814,"id":"Q6108814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$D4B53BC8-1E71-4D14-A136-23A819470691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b457657b2bc0e74cd9171583ece7883a99c7582","datavalue":{"value":{"entity-type":"item","numeric-id":1687709,"id":"Q1687709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$07FA941F-5D3D-4615-9FF7-7EC07E0AB4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c19cd92e570c6dddc63b43d315e01307ee930c2","datavalue":{"value":{"entity-type":"item","numeric-id":5747656,"id":"Q5747656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$2686C7BE-E153-4438-BEB8-6733D693F612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc68d0c63fc526ea5871bf3910e143d716cf06f9","datavalue":{"value":{"entity-type":"item","numeric-id":438543,"id":"Q438543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$372C6D49-DA90-4F06-8689-3BCED6910C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0933abcee6e71217a619391222ae8646b0eea736","datavalue":{"value":{"entity-type":"item","numeric-id":5495917,"id":"Q5495917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$42682C5C-04E5-4BDF-BC9F-B25553C63E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69184041812ce300349a543c04386030ebf19f23","datavalue":{"value":{"entity-type":"item","numeric-id":1431696,"id":"Q1431696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$DCE6AC72-4705-4518-B5B5-1130B1102318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$F3588C55-5CD1-4874-BC40-1F42921C83D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$DFA563F4-A25C-49E6-BD93-B6ADB45EFDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09716697edb234ce77c2288fe827cd22e3a8915","datavalue":{"value":{"entity-type":"item","numeric-id":876046,"id":"Q876046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$8E4925A6-8BB3-4A12-8780-1F5AB75F14C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0935a3b1e6d95e91e21f7e9b447a76f61a8eb916","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$085BF201-6011-4981-96D0-C103D1914DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e797d69ccc16ac41adec3adfdcc63bc05d0208ed","datavalue":{"value":{"entity-type":"item","numeric-id":5172636,"id":"Q5172636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$00192A52-8182-4AD7-9E80-9A1FE48E4CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f927eef2ff97bc2ae67635a63548bc51b9896f2b","datavalue":{"value":{"entity-type":"item","numeric-id":5371995,"id":"Q5371995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$9F39D1BB-04BB-432D-ADCD-D5B118DD8FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b60f8e9e9ea433dfd668062c1fe6791c8745052","datavalue":{"value":{"entity-type":"item","numeric-id":2287069,"id":"Q2287069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$67BE3433-D0AB-4075-82C6-4AB4DD7860AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c0576a80ea35320dc73ac026073f8b09422c10","datavalue":{"value":{"entity-type":"item","numeric-id":5261523,"id":"Q5261523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832255$CB4A9D2E-F05E-41B5-9D08-2783867CD110","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb74a5f6fdd855d40fe5e7ba266ae46750d60ff","datavalue":{"value":{"entity-type":"item","numeric-id":4524787,"id":"Q4524787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6120301a9ed3ebe00423ebf14df58f747fb68f7c","datavalue":{"value":{"amount":"+0.865293","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":"Q832255$3639388A-3C61-4106-AA28-BBAF3BD97B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2581c12a75a0c9d896500c637ad68fa005c15f39","datavalue":{"value":{"entity-type":"item","numeric-id":438543,"id":"Q438543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85228be4da3f283a66ca712eaa11f6c0d757556b","datavalue":{"value":{"amount":"+0.858837","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":"Q832255$911EDFA2-3114-4B2C-A570-AB4FCB030217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49f60451485fa9e9c6923e461bbd9e0625899560","datavalue":{"value":{"entity-type":"item","numeric-id":3584945,"id":"Q3584945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"527248490a625107f1bdc71582a506648910f4e2","datavalue":{"value":{"amount":"+0.8339537","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":"Q832255$7386450D-BDA7-44D5-A3CF-D62411B537D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31f955c8c2b4a96312cbc5cadd18513eba82d29","datavalue":{"value":{"entity-type":"item","numeric-id":3454114,"id":"Q3454114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"717e29643da786049cf1cef7f49a0d5dd14c1375","datavalue":{"value":{"amount":"+0.8326129","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":"Q832255$EA9A1586-E118-41E3-90AA-65FBB682DEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed0acaefc4aa996df214234ab8bdb107cebbf27","datavalue":{"value":{"entity-type":"item","numeric-id":4530874,"id":"Q4530874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45ae23db583db98af3a61dbb2b7e34d6d1c54310","datavalue":{"value":{"amount":"+0.8200591","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":"Q832255$305682D2-4777-47C0-B21B-BB21C6FCF4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c8180d1eb491a81cc2877dec35135a66bd9e9a","datavalue":{"value":{"entity-type":"item","numeric-id":2741229,"id":"Q2741229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fbb4cccc41f17efbbe3a27b9d2de859caa9d359","datavalue":{"value":{"amount":"+0.8199639","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":"Q832255$9FFBD969-6EF6-499E-9212-B08720751866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da7dfc9bacf64d9d0755e3c8722fd20620670704","datavalue":{"value":{"entity-type":"item","numeric-id":1037405,"id":"Q1037405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da81ac5325f559cd14b023ce1b6b0351d32aa85a","datavalue":{"value":{"amount":"+0.819341","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":"Q832255$AE1452E6-6C50-4C37-A8E6-E80A7AD9CDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1470a97030887b8d84f75ee646436a0f66f52b","datavalue":{"value":{"entity-type":"item","numeric-id":3766889,"id":"Q3766889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"340d862ce75f57052c68f75108b5c1c3e8183846","datavalue":{"value":{"amount":"+0.81929636","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":"Q832255$A56E5D3D-76EE-40F4-994D-2C6F0D1BA4DA","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":"Q832255$58338488-EA27-4300-B2C1-3377627347E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:832255","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:832255"}}}}}