{"entities":{"Q2018657":{"pageid":2029399,"ns":120,"title":"Item:Q2018657","lastrevid":57684642,"modified":"2026-03-31T21:58:20Z","type":"item","id":"Q2018657","labels":{"en":{"language":"en","value":"HOL(y)Hammer: online ATP service for HOL Light"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6419295"}},"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":"Q2018657$10E2418A-3D7B-4AC1-9495-F83D30E688FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cabd163cbb8726ac098be016db0510e71cfeb2fc","datavalue":{"value":{"text":"HOL(y)Hammer: online ATP service for HOL Light","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2018657$2F2A3F99-F0AF-479E-84D5-506B618BFF56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52487d0bbd6fb7a554c0a11c4a44f903130ab74d","datavalue":{"value":"1322.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018657$75EE204C-7D2B-4C46-91C4-8C4CFFB81FCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$CC749F3E-5DAC-49EB-BCCD-E7CAC1DB4AA5","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":"Q2018657$9387F80F-087D-4ABE-80E6-64F31BC1311C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$2E1D3A21-B8C5-4898-9E21-9319AAA0510C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b77c42bc66f346d9aff545852c0924441ebde207","datavalue":{"value":{"time":"+2015-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":"Q2018657$BDBCE069-A3C6-4951-8C3D-B085A0830ACE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bd479e1c70ba918d50872b16cf1ce3f8811f56e","datavalue":{"value":"https://arxiv.org/abs/1309.4962","type":"string"},"datatype":"url"},"type":"statement","id":"Q2018657$0D810144-3DF1-47EA-82F2-8201E4BE5543","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018657$A509320B-CCB2-4AE7-B9D7-6D9EBF16C306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018657$76487594-11C1-46CB-87A6-0A34556F7B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018657$5B8BC19F-31D3-4E46-BFB3-CD717C013C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018657$37C8F8CD-F336-471E-9F33-5EF930546231","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec810dbd03870cab24ab316f97544ae6ca1527f9","datavalue":{"value":"6419295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018657$CD276125-A5D3-421F-8449-A61B0DD21492","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018657$F6B8DA97-6B95-4BA7-AD5C-FB44A2E12DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018657$C0CB2A96-D72A-4FA8-8487-E7D8D98F296B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018657$F4879B76-2FCC-4810-A4E1-171EFB9062EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7835d6f8a0f4987a155c718e311bddd696408ab","datavalue":{"value":"formal proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018657$97AD7605-CE96-4142-BCA3-FB5D73F93C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e2290c81ee7ac8d7e02d314e5fb459437e306b4","datavalue":{"value":"large-theory automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018657$B0E65BF0-36DA-48CD-8538-9B7957F370B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"104686f3a3b63f31fa6c79f5f0116fe39fff0a7f","datavalue":{"value":"HOL Light","type":"string"},"datatype":"string"},"type":"statement","id":"Q2018657$02C4E57B-C84E-4687-AF09-6C548CF557E8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$CA628348-CCBC-43F3-B327-7721D6442106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf8fe40ec0751f683b8f31fdc6f7f38f8aa07409","datavalue":{"value":{"entity-type":"item","numeric-id":13328,"id":"Q13328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$CCEC6191-B2EB-4B07-A6E0-B5CB5B494B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$09E7798C-1316-4074-8040-904C09F3FFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cccd35b34888307d4ad7b137783609eb5c56b79","datavalue":{"value":{"entity-type":"item","numeric-id":16825,"id":"Q16825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$8624DCD3-2FA0-4FFC-8C53-20787DAA2AE0","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":"Q2018657$3D45CC4C-E9C1-4DA3-81F4-68256FE0EA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8376bcc90e7c7f009563b97a4560743162f2cada","datavalue":{"value":{"entity-type":"item","numeric-id":22158,"id":"Q22158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$77659D9B-07D7-4358-A069-011BFAC8A196","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":"Q2018657$4DB21B11-41A4-4D21-95F2-D9A4931BB2FD","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":"Q2018657$AC4F19C7-2DCC-4889-B749-6A0180371D7A","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":"Q2018657$E257E324-5234-4391-B792-0EE3005AF25C","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":"Q2018657$70C7D341-76AE-4581-AADC-6BBDB9F822F7","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":"Q2018657$00C0D4DB-78D3-4E7E-8C59-A73F3817D8DE","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":"Q2018657$53D9F3FE-D37F-4511-BCCE-B64A2579AC24","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":"Q2018657$06C902BB-DF4C-4F7A-8DA5-FC4F16407E55","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":"Q2018657$C2C369CA-879E-47BB-9FCB-8F75D7DB1A51","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":"Q2018657$4235B198-C5EB-40FB-B649-55AD3F71EC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"23f1d4970d4f2ba01b8146500b5c1a10ed17d235","datavalue":{"value":{"entity-type":"item","numeric-id":23493,"id":"Q23493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$AD07092C-8AA2-42DE-99C7-CEB5537869FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"30c23680895c6c05b43b4be92074136c496750ec","datavalue":{"value":{"entity-type":"item","numeric-id":28682,"id":"Q28682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$F97067E0-F664-4EBA-A396-AD1F9207A7E0","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":"Q2018657$BF86A50C-E289-4BB7-A826-802370275C25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab1e8c720fb4d7062e8f927b676cb2d296dedd90","datavalue":{"value":"W2113065066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018657$29579B6F-434A-4A87-83CE-A207359405B8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0e872058bb4db47370c62339f570eee050ec5011","datavalue":{"value":"Q59425180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018657$26878970-A192-4DD6-8BA7-0286849159D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a602a31ec5858953936704adacfb1f5bdcaed350","datavalue":{"value":{"entity-type":"item","numeric-id":972422,"id":"Q972422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$D6793E56-0A7C-4158-BFEB-917AD9F1304D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579bdac171075790649277306a9c21fd3b179691","datavalue":{"value":{"entity-type":"item","numeric-id":5200113,"id":"Q5200113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$50DD67CD-CFEF-4188-B12C-976889C619F2","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":"Q2018657$04C4D650-B135-4A89-AC95-DCE0FC379D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52a45de8c1208b3a6a3b50a53088ff43e0469f7","datavalue":{"value":{"entity-type":"item","numeric-id":5326348,"id":"Q5326348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$485B36FB-DAE7-4EAE-B385-6746FC8C482D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4669aa80f1b8115df57035710adf683c0764c3","datavalue":{"value":{"entity-type":"item","numeric-id":4928456,"id":"Q4928456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$96FF70B3-7CFF-484F-9C20-8F35D7C7F33C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db313ff073ef9418f8a2ae12f236c0d8494fe4fc","datavalue":{"value":{"entity-type":"item","numeric-id":3613406,"id":"Q3613406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$1256E23F-4A1B-4817-A2B3-2CAE01F5B195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"014df434e19c98aa84979531cf42f2d47588711c","datavalue":{"value":{"entity-type":"item","numeric-id":4647531,"id":"Q4647531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$79CAD11E-FBC0-446E-9CAB-6E4A3B82ACB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c50bf30b5dabdf4dda50dde9e43de872f1c8761","datavalue":{"value":{"entity-type":"item","numeric-id":5200032,"id":"Q5200032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$ACA6AF64-F7DA-49E9-B0D7-9B1B0650ED0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07a7c2727e1494384a6155100756d5fedce918c","datavalue":{"value":{"entity-type":"item","numeric-id":2867935,"id":"Q2867935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$7D424784-57D2-4D47-A142-8B9BE124AB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb771eb1dd5ac3a4e83b6105ce84dd2191d8e367","datavalue":{"value":{"entity-type":"item","numeric-id":5327336,"id":"Q5327336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$700FA0B4-2A46-431B-B70D-6952B2D0D008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3fc60b7f0fb76cc0f065f148162a373198b73a","datavalue":{"value":{"entity-type":"item","numeric-id":2843009,"id":"Q2843009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$7937D5C9-D2E8-44EA-A659-F74B26ED82C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3aa637d12e7774743d5229e303a10e1589a2a43","datavalue":{"value":{"entity-type":"item","numeric-id":2870150,"id":"Q2870150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$93D0A282-9E13-4119-A9ED-5746AA0165EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14549321cbae3c57ae9ce6a9266b4af3d64fd4f","datavalue":{"value":{"entity-type":"item","numeric-id":286800,"id":"Q286800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$FB76BC47-10C2-4775-919C-6133116D3D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6af1483960b5acdfcc7fab2e7274bf3ab4268fd","datavalue":{"value":{"entity-type":"item","numeric-id":4928443,"id":"Q4928443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$35E1A367-78DF-41D1-8C62-AE9B26D3714E","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":"Q2018657$82CE3ED9-2A2D-4D17-AFBF-A8BAF072B0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483d3c17c09c578723154da4261b70aeda673d47","datavalue":{"value":{"entity-type":"item","numeric-id":2351415,"id":"Q2351415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$8CBD02A2-A05F-49C6-B93F-ABFEA64C867D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c58f40f8893ea08e9b168dd3629a56d2e8291d","datavalue":{"value":{"entity-type":"item","numeric-id":2908509,"id":"Q2908509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$82FDEDFD-A832-4D5F-8A22-00F13E7781C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f38c339bbd571c9f13a1b3052c0abde7b640b4a","datavalue":{"value":{"entity-type":"item","numeric-id":2471742,"id":"Q2471742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$4BEAF768-719B-442A-AF37-CCB05E560359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716d170b6d9b095492bf0c2b742ee0dbade5bbe0","datavalue":{"value":{"entity-type":"item","numeric-id":3523178,"id":"Q3523178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$B2406D41-D0A1-43B4-9BA9-5176D6D8DB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60e78f3a5cbdcade8fda91d2f65f010e0adbc083","datavalue":{"value":{"entity-type":"item","numeric-id":3613401,"id":"Q3613401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$2E6FF71C-D896-4076-9592-517BD8A7C73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb58a95fd58a090c4b255bc81edb808d7e4b3bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2843012,"id":"Q2843012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$8579989A-3CF7-41EA-99FF-ED7438696E08","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":"Q2018657$3CECED51-6896-4C2C-8221-61BA7C7FB395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58440edcaeedcca352c1514f0054f400484f00d7","datavalue":{"value":{"entity-type":"item","numeric-id":3582702,"id":"Q3582702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2018657$4DB07699-26A9-470D-B1F4-244D7BEFF65D","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":"Q2018657$B7F36CEA-9F78-42F7-865A-1C4FB2A469F9","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":"Q2018657$A7CC3A0D-417C-49B3-A5D3-D78F888AAB40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ee6d770572624bb5281a163de48a9e27519ace5","datavalue":{"value":"10.1007/S11786-014-0182-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2018657$19540D83-B6DA-4E19-A76F-17D0796197D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85400645ae2fb59fc9cccff35e42a877cc96a4b5","datavalue":{"value":{"entity-type":"item","numeric-id":2843009,"id":"Q2843009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ef2327c6d2b11814dc600be962c16721a88e898","datavalue":{"value":{"amount":"+0.9461746215820312","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":"Q2018657$FC07FC9F-E8E6-4D38-937D-8867CE2822A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1dfeb4f58629a3de8f2170811c634bc1408f23d","datavalue":{"value":{"entity-type":"item","numeric-id":1945905,"id":"Q1945905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec3c804ee8d7546e7ec467fde9027fbe51f3b55d","datavalue":{"value":{"amount":"+0.7588292956352234","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":"Q2018657$590C7A6A-951D-4A89-B2C3-446994B9A7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62eb5673352ddfd5c999328fdcfb0b637fbd9630","datavalue":{"value":{"entity-type":"item","numeric-id":2351415,"id":"Q2351415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45955a9caccc4055de671647a5205bf0854f62ec","datavalue":{"value":{"amount":"+0.7507340312004089","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":"Q2018657$493CCF67-AFD6-41E6-926D-8D9282703986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"355b50750bf5432d1bae32c8165bcf431e4de42e","datavalue":{"value":{"entity-type":"item","numeric-id":5195271,"id":"Q5195271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deec9166c32d572f05cf893de0fb2e18bd33b50e","datavalue":{"value":{"amount":"+0.7411549687385559","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":"Q2018657$688B16B7-9138-43E4-864A-5EC4F92DBD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5240345605b6df958dc529fb8dc1a54b30d31b3","datavalue":{"value":{"entity-type":"item","numeric-id":3183517,"id":"Q3183517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3be6f349c22978515e518a753f791f3a119e9f94","datavalue":{"value":{"amount":"+0.7353832125663757","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":"Q2018657$D41969D4-408F-4FE7-9741-753EA5F3FACF","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":"Q2018657$17AEB87C-1787-41CD-A66C-DC6ECF82A5F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2018657","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2018657"}}}}}