{"entities":{"Q4913871":{"pageid":6943450,"ns":120,"title":"Item:Q4913871","lastrevid":58354851,"modified":"2026-04-04T20:51:34Z","type":"item","id":"Q4913871","labels":{"en":{"language":"en","value":"Theorem proving in large formal mathematics as an emerging AI field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6154729"}},"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":"Q4913871$2A1F740A-B58B-438E-9281-DC2DEB5294B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9222343c1b14b4b96c3edc67eab25a909becfc7","datavalue":{"value":{"text":"Theorem Proving in Large Formal Mathematics as an Emerging AI Field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4913871$4F4C0521-E0F0-4A7A-AC84-7AE0A148B705","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b82820076c290ebcdac214a1392f4485c5f997ad","datavalue":{"value":"1276.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913871$69C673DA-B6CE-40B1-9DD0-BB924FD317E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"987d4c71a7d4b624c7b92d37c96553f040710888","datavalue":{"value":"10.1007/978-3-642-36675-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913871$0FEBBF8E-BFBB-4DE2-9C56-551AF8998BB6","rank":"normal"}],"P16":[{"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":"Q4913871$1A387AAB-99F4-45DB-9EC0-436F11500212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c9eb10efb36d91b4a71eba9375e0f24add1b3f2","datavalue":{"value":{"entity-type":"item","numeric-id":1687710,"id":"Q1687710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$AF6D28B3-A745-4AD7-AB33-3251A0C6213D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8aa0b3ee498e77ce1255c8f711acc0df364677a8","datavalue":{"value":{"entity-type":"item","numeric-id":4913857,"id":"Q4913857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$D2BAB98E-7C81-40F9-976B-A0BF85364C75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3eba33b2385974e8774017fb8f69a7f11b91e4d3","datavalue":{"value":{"time":"+2013-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4913871$2BEDF023-04BA-4108-80BF-FEA5AC4827E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"755cf7930f92513279c584be729de28067a296db","datavalue":{"value":"https://arxiv.org/abs/1209.3914","type":"string"},"datatype":"url"},"type":"statement","id":"Q4913871$7B2EAFBD-8F08-4BDD-8345-CCA3ADCA35A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913871$40851027-E3AE-473E-8E8B-F04E6D9F94E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b30fb704b674ee84816b3edc5f6f9db75eca2737","datavalue":{"value":"6154729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913871$48A871DE-67A6-4578-A5A3-6C9A187D0CD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913871$633E4742-44EB-4D60-AA8F-5FE3978DF01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913871$E8F46281-7562-42BF-94C0-A4211CBBA92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfe7b70b8bcc3f6ae43888d2b9d0faa474556907","datavalue":{"value":"large knowledge bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913871$556E441C-116E-477C-B38D-C9BA9E9AB94B","rank":"normal"}],"P1463":[{"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":"Q4913871$CAF185DD-DBDC-4F40-ABFB-6B621962C8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effe99d4b547ffcbc07915d8ced5dc197768f166","datavalue":{"value":{"entity-type":"item","numeric-id":15028,"id":"Q15028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$4E6AD303-DD91-43C0-A803-91FEB446125A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$6864F82F-0D8E-4FFA-9463-528C6F205D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"491e4169c914222bc349264f15b36cbf2c3ef446","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$A4ABC4C4-92F4-4977-AF62-D150052AC9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$FC297268-7338-4CB7-9C5C-7E0F18DD2690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12995736fe82d65918938fdd42b1d647f84d490b","datavalue":{"value":{"entity-type":"item","numeric-id":33178,"id":"Q33178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$BA3076CB-AC6F-4AFC-A645-431274E49755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$6F261B8C-1E38-476D-9D61-18C3A283D3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"484f589bd857c6ecd5604196ba88033adb11a795","datavalue":{"value":{"entity-type":"item","numeric-id":15128,"id":"Q15128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$9250F9DD-777E-4402-983F-B26249A7F0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a2e4454b50103c6e6499c664726a4f18fc7c5af5","datavalue":{"value":{"entity-type":"item","numeric-id":16784,"id":"Q16784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$126662A9-C0BC-4467-B37C-FE51096E79B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$F803352D-265C-4091-9847-DCF469B5C573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$1FD0E96A-CEE7-414E-884D-0A531F8C5F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$03664B68-A4C2-420A-963A-70EC63E4E347","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":"Q4913871$FDA9F53B-EB0E-434F-98DD-AA944C0D274D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8617a61c90a632f23d3851deb94e1069d2479a78","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$1B28C6F0-A107-49C8-A9C0-C4E43A092DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$9E9AD65C-1671-468A-80FD-6BFB04D30318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$90B7A8EB-508E-4FFC-9EF7-BE8C9102D282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$CD422215-655D-4E4F-AFD6-7399F6772673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7cbb37e14a01458626c5623c37a9141435c8062","datavalue":{"value":{"entity-type":"item","numeric-id":19250,"id":"Q19250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$28C65850-06C6-42BA-AD73-54C3A8DA8AE5","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":"Q4913871$E0DE0032-FB40-4DDF-B642-448978B012D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62af2c5e450adf37bd9acb47c5a55b60b68447ea","datavalue":{"value":{"entity-type":"item","numeric-id":22241,"id":"Q22241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$09628CBC-C7C1-451D-AEBA-CE44AF693EE4","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":"Q4913871$151632C7-7466-4DDC-975B-9243E33DAC13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18174894b78f6e7e3280cf84ff7f94f579b9c74a","datavalue":{"value":"W2155552045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913871$FEAB3375-78AF-402C-B365-62697DF53322","rank":"normal"}],"P223":[{"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":"Q4913871$848F6779-FD71-4F2B-BE4A-628F96055410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065f96a47cd2c09ae1ea2ab42886a32d0c8223cd","datavalue":{"value":{"entity-type":"item","numeric-id":2891438,"id":"Q2891438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$4F5B5A5D-FEBA-4E78-A2FE-7250C18FAF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49cdde0e4e93beb3ec22ebb07bdb6ff64fe9a7c","datavalue":{"value":{"entity-type":"item","numeric-id":3655193,"id":"Q3655193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$1EC40519-7924-4D7B-9F31-8A35EE0BD43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4adc22ed174f33297ffa675f67b5ee27a98ff71c","datavalue":{"value":{"entity-type":"item","numeric-id":3541699,"id":"Q3541699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$D09D8485-097A-4D12-8CBD-2DC492F00F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f85fd02f887f9e6cdc6efa73686f469882f2acf7","datavalue":{"value":{"entity-type":"item","numeric-id":438533,"id":"Q438533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$EBBD42AB-16FF-4BF5-A74F-1B1840EF7BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73747d1be528c82497c6517bd1ecf143bfa790b1","datavalue":{"value":{"entity-type":"item","numeric-id":2908482,"id":"Q2908482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$CC229F7A-0A44-45F0-AEA3-FE95081F6AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bab11b75e766c233c3a1b9a3682b90b0e288d","datavalue":{"value":{"entity-type":"item","numeric-id":3075247,"id":"Q3075247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$A322DE2A-5938-4D56-B9AE-2A80CD8F0C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52cd1a25a23d6ee1d2d790b85193089c176c154","datavalue":{"value":{"entity-type":"item","numeric-id":1840387,"id":"Q1840387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$4108C568-DC1A-4217-A7DE-78B316D2136B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817ee4f5358d83048f7143c1c798ef96590ad2ef","datavalue":{"value":{"entity-type":"item","numeric-id":3608415,"id":"Q3608415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$9BD96B35-55C0-4EA0-B6B8-51A2FE2BE88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741b1c2a1697c669d1b3bbdff87dd79f9f007366","datavalue":{"value":{"entity-type":"item","numeric-id":1006731,"id":"Q1006731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$D390F4EA-FA9A-4591-AFB9-75E0B91488AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$0CC12A31-97D0-48F8-8592-3E547495426D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28deebb9f03725888e2cb415bbaa29688963935e","datavalue":{"value":{"entity-type":"item","numeric-id":2751358,"id":"Q2751358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$7877019F-4EDA-4F0E-90FF-EC43010A848D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e114146a9d2d5e6b8c252e3e4a144fcee5ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":1404981,"id":"Q1404981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$E7CACD4C-4BA9-4674-8312-27FD9C45E9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9e9c7ff207f36939585420da3be0c8db2297ca","datavalue":{"value":{"entity-type":"item","numeric-id":1187858,"id":"Q1187858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$ABE523BB-3D5E-464B-8AF4-5B99BBFBA199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847e3dcf8d17a4bf2ebc16dc465d8fb6ca2c9cf1","datavalue":{"value":{"entity-type":"item","numeric-id":4032144,"id":"Q4032144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$9949B34E-F084-4C74-8FA4-A0AC8C6B3BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb051a6b1eb9b88364c46513701492fc0e99189","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$9EB69B9F-1D2F-458D-AC2A-A7919C6CE0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81eb1bed6fe619f48a29f5aee3e7db00567c1586","datavalue":{"value":{"entity-type":"item","numeric-id":3608780,"id":"Q3608780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$9C04F0A7-8188-49B4-B945-F59BFA57C84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4acf12f6f2468476af5b80237d12aa6e90faaa","datavalue":{"value":{"entity-type":"item","numeric-id":3066085,"id":"Q3066085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$CB37064C-61CE-4D7F-8530-B726F4A981DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe0bfb57e9a97e56fde1afbd62d0dd2171c33df","datavalue":{"value":{"entity-type":"item","numeric-id":4413895,"id":"Q4413895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$FB9D2DC7-A466-4918-9BE5-4DAA7D50AAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dbaa83286082fe9f22efc1424c5503085916666","datavalue":{"value":{"entity-type":"item","numeric-id":556682,"id":"Q556682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$4F94C6EB-7790-4F94-9B65-9C71345870C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2da92fb913582a601af7173c06716220bbf7eb","datavalue":{"value":{"entity-type":"item","numeric-id":5898530,"id":"Q5898530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$329E6F89-7841-4558-AE52-927469147ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf7b4ce3ab96d4236a4c36e2f89589530011a89","datavalue":{"value":{"entity-type":"item","numeric-id":877826,"id":"Q877826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$9773D085-912E-4DEF-A4CA-E6E781720413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61da99f28e60564f7afecd65f75f5c4f34763685","datavalue":{"value":{"entity-type":"item","numeric-id":3498492,"id":"Q3498492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$1151CD99-F589-4F9B-BC4C-5E1A4F6E7ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1d0235461a49d24f36b9a64ea22f473f8531ad7","datavalue":{"value":{"entity-type":"item","numeric-id":3582731,"id":"Q3582731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$EF9EC034-8B15-4000-AC5F-1448E3DE09C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed473c6e01919b49d2a3d56d48fd6fe4dac1c845","datavalue":{"value":{"entity-type":"item","numeric-id":1945905,"id":"Q1945905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$F48875ED-360A-4473-8A72-0359E98CB9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9655c068a195af6d54bbb62184581b058670a2b2","datavalue":{"value":{"entity-type":"item","numeric-id":3541722,"id":"Q3541722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$BCEB2EBB-3550-4E1E-8A0E-671D5A2D6A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5195f079b24d72ee2311e1fa679a5be0342958f5","datavalue":{"value":{"entity-type":"item","numeric-id":3010374,"id":"Q3010374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913871$4964592C-A0B0-4645-B545-5870798FC120","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"733045d4bdb6ac84e39d437da15db86acd1c641d","datavalue":{"value":{"entity-type":"item","numeric-id":6108816,"id":"Q6108816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"432ff11c27a9e06b39e112e297cc89f230032e11","datavalue":{"value":{"amount":"+0.7965036630630493","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":"Q4913871$4D639262-C1CE-4E4B-AD41-02CCDDA1062F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eab127e20c4e479e5e30e398294a19c06fe4cca4","datavalue":{"value":{"entity-type":"item","numeric-id":2351414,"id":"Q2351414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dfbd03b37bfcd251c00f3e9ff82a4d1733fb39c","datavalue":{"value":{"amount":"+0.7873411178588867","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":"Q4913871$8CF63BAB-298B-41E9-BC69-19351D3016E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e6e726c1ccf3d48bbd9191c4571af0a1046a6a6","datavalue":{"value":{"entity-type":"item","numeric-id":485842,"id":"Q485842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bf1e3f5df5d2433a92967ba17c6bccde5f5f763","datavalue":{"value":{"amount":"+0.7843284606933594","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":"Q4913871$E59EB059-4D4C-4C2F-8D02-E1A51CDA8A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e17ad5cefe2934a9da315d890618323f9b182ae","datavalue":{"value":{"entity-type":"item","numeric-id":4982446,"id":"Q4982446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdbcd9fa47cee41d579c09b57f3dab6c6a2d9cf4","datavalue":{"value":{"amount":"+0.7604615688323975","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":"Q4913871$F5CA3B77-0E21-465D-AD00-566918F9E814","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":"0d9197d1a05d5cb8bfc795af6ddc14c6bcd5eaf3","datavalue":{"value":{"amount":"+0.7595567107200623","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":"Q4913871$EBAFC178-5993-469E-ACDE-B77A3B6035DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4913871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4913871"}}}}}