{"entities":{"Q287283":{"pageid":289050,"ns":120,"title":"Item:Q287283","lastrevid":56650617,"modified":"2026-03-17T13:18:23Z","type":"item","id":"Q287283","labels":{"en":{"language":"en","value":"The higher-order prover \\textsc{Leo}-II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585567"}},"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":"Q287283$D90C4260-3C98-42B8-95FC-0BC7D215D337","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27a457e8f77b4106002acea258c5b8c6c59136ce","datavalue":{"value":{"text":"The higher-order prover \\textsc{Leo}-II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q287283$FF9F7DDD-6C4E-4F07-8F1C-7E2B65FE9741","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fff593d40f01fbcde4184c81dcc3d7c6a6ce013b","datavalue":{"value":"1356.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287283$EBC4A513-E349-48BC-8F7F-07768BDCD2D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$C724E13E-03D4-4CB4-8228-26AEDF2D23F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b133b8e745fba01d0fa0576541e26ab5964439a","datavalue":{"value":{"entity-type":"item","numeric-id":287281,"id":"Q287281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$8ABD6969-8C85-4E40-BC2C-F582F9EFF250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68b7f3340a0a00e21a2a028d54af2e9ff7bcc35b","datavalue":{"value":{"entity-type":"item","numeric-id":287282,"id":"Q287282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$9999F813-C978-407D-955B-8B19610692E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$1FDA1D1C-68C6-4B66-85E7-76C4F5AD39C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$5CE2E06A-B1DF-4972-B561-76D6082A17A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q287283$153EB5F4-5619-4A54-93B2-DF083B9070B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287283$4EC5EA56-EDDE-4008-9DFA-5A785550B226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287283$410903E9-07D5-4716-9E1E-902760480D34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e2a644ba500d5e91954bf550829d99436240a67","datavalue":{"value":"6585567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287283$96B3FCC6-CB81-400D-A867-46ABC3152613","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q287283$D1ABB4D4-F83B-41F7-9F55-F2F352C0DA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q287283$4373265A-CF7E-488C-9A3C-2295C17FE58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q287283$11C32CA4-E5F0-44AA-96AA-19DB165F680C","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":"Q287283$E1FB5FF8-470C-4DEB-8210-78A417858569","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":"Q287283$75FD2268-1471-4D2B-B946-D3156F5B59E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$66399355-DF77-4E20-97CF-322DDDE562CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80ad234dc0924dda60983aa70fc106cb35f3b96e","datavalue":{"value":{"entity-type":"item","numeric-id":19080,"id":"Q19080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$94356F10-3011-4A8A-A9F1-E1557A1D94ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e8e1a11851464f0c7bf9424aaf8a0aa08f8b9e2c","datavalue":{"value":{"entity-type":"item","numeric-id":51773,"id":"Q51773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$C68E6592-3400-4CCC-BE0B-48C573E000B8","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":"Q287283$A965CA0B-53FD-4C6B-8C93-80E4EF1E0F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$CA924E88-FAAE-446F-8F54-DA5FF6FAEDFB","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":"Q287283$B8861050-A70B-4C6F-A061-EA9959732BAD","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":"Q287283$BCA9DCA6-573A-44F9-AB26-9901598C9751","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":"Q287283$25136058-2186-4A84-A64B-500F17B4E268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42d0367ffc4d2b82e6fb2192cfde6351c1daa402","datavalue":{"value":{"entity-type":"item","numeric-id":31432,"id":"Q31432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$B749EF84-1864-47C0-8787-62CB29B84867","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":"Q287283$FCB3CA3B-6992-4493-98E6-47CC86203EE5","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":"Q287283$A5A44E2D-CAB4-4130-9F87-952578F2444B","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":"Q287283$D9E570E6-A417-48E3-AC63-57A47011D65E","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":"Q287283$49D65142-912B-4E75-92A5-58F47ADDB1BC","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":"Q287283$F7ABFA85-E8D8-457B-8ED9-A2085175FA4B","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":"Q287283$1208C6FB-82BE-4BC6-A48D-3D3405B8A730","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32b537447ea828af98c72aa5148d240c193ab254","datavalue":{"value":"https://doi.org/10.1007/s10817-015-9348-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q287283$ABFA2B15-67FB-47C2-B3C6-5D7DD505D58A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97621e65455e386490e8eefb90c6eccbff8ebcd5","datavalue":{"value":"W1909465604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287283$69D78C7E-C94F-4633-BB72-324DE4E395D7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"03d075c862081c0161bf4490813b6a2d9e4e8e30","datavalue":{"value":"Q59402111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287283$7465F379-653D-4E6B-A62A-E3F653200307","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84661190c70e049933b7bb825904abf4b4a875a","datavalue":{"value":{"entity-type":"item","numeric-id":908896,"id":"Q908896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$61D76672-48B4-425C-B5EE-3A26CFB3C10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$09A10639-6DFB-458B-A264-0898F5267D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad0eeac3b2d9aea59d4e0a75de4182d01753ee","datavalue":{"value":{"entity-type":"item","numeric-id":1923825,"id":"Q1923825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$590C42FB-74E5-46D4-A707-06CCCF161921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43de7e0522f95a42a031f29dd1f48dd687623229","datavalue":{"value":{"entity-type":"item","numeric-id":438561,"id":"Q438561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$E0C9C5B8-F75E-45C2-AD0A-8243480441FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"858349811281be83d299d307d1b4871d7a92d84e","datavalue":{"value":{"entity-type":"item","numeric-id":4263170,"id":"Q4263170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$7BFB2D55-F501-4E0E-9282-3D5D640F7BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95ad3748c26d7907a9b2a2e66ec00a80dbda987f","datavalue":{"value":{"entity-type":"item","numeric-id":1868166,"id":"Q1868166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$107A0864-A1DC-4A72-A3BE-6B3336CC886B","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":"Q287283$95B88CCD-5587-4F71-A444-E9E4DC0DC74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5448f9ab6736da170ef8ee2679236b3f9e856cc","datavalue":{"value":{"entity-type":"item","numeric-id":656826,"id":"Q656826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$591291A8-FDC7-44C1-8025-9C6634A2E827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$A6CBE603-15B4-4031-B229-61F3071E262B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ea9919e9d875874bc360c6ea5fa3f90bb3e08d","datavalue":{"value":{"entity-type":"item","numeric-id":5477647,"id":"Q5477647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$0994FDC5-8AB6-4996-AA90-F0FC150827BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$DAB95E57-4A3A-40BC-B03F-63D73300C7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fdfe50642d43bcbc1e1abcfb32e3a3f77b86c3","datavalue":{"value":{"entity-type":"item","numeric-id":3061280,"id":"Q3061280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$34F3466C-18EA-415B-8821-4384A84BB45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6806978a979e5b32e84f7ae90552bdf193355f","datavalue":{"value":{"entity-type":"item","numeric-id":1945702,"id":"Q1945702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$75F9AB5D-B255-4569-8BC2-5471F2DD344F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d49380a5a0cffda5d1e1b4a498a844a9c2c454f3","datavalue":{"value":{"entity-type":"item","numeric-id":5311767,"id":"Q5311767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$EB39ADCD-BC8B-461A-BFCF-02304E1FCFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5acda27ce903d65178734fde914259ea4390f400","datavalue":{"value":{"entity-type":"item","numeric-id":5282959,"id":"Q5282959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$907CE750-0D5A-407B-922B-80D3BEFD5DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2a2cacadd3c3bd12d3fb85ce93d5f9e91b3ab1","datavalue":{"value":{"entity-type":"item","numeric-id":2970308,"id":"Q2970308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$54AC9DC3-091F-4248-92FC-B9D1C27272DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3526b6dc59fcce39025ddb78a0186693039ed731","datavalue":{"value":{"entity-type":"item","numeric-id":946572,"id":"Q946572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$5964AA28-DD47-4535-9452-58C1B7FDD25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abb395247f033fef2d5dccf3b9e631ac3727ad5c","datavalue":{"value":{"entity-type":"item","numeric-id":3623018,"id":"Q3623018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$E46B4816-4B5D-40EB-ACF8-9DAEC3B53D21","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":"Q287283$13A8F8F3-580E-4C4D-93DC-E1AAAA582836","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":"Q287283$9A3C317B-5746-42A5-81AC-1B9AD9BDBD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1fe080668c047a45e96256ef3b2962fb036501b","datavalue":{"value":{"entity-type":"item","numeric-id":5200026,"id":"Q5200026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$23B2FAD6-C4D1-4E96-A479-5A3B328D5166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$B60A5F9F-3487-488A-8BA3-94E9B87A1E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a69741364102658aa60a87b94db8d7506ce725","datavalue":{"value":{"entity-type":"item","numeric-id":3183517,"id":"Q3183517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$D66B9F89-6D54-4B4D-9028-7D2C57DF69E2","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":"Q287283$109CFD04-AA63-4477-8A0B-CE3B5DFE0B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1fa8e099c59f8b6819b5b09b786ac872f2d64b8","datavalue":{"value":{"entity-type":"item","numeric-id":688554,"id":"Q688554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$D004D53F-7997-43B0-8717-D80FC9BC9614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"649acc6a12397180fa1e9dcfe575ddfe054b5ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4262565,"id":"Q4262565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$E7C92B22-3255-463D-AB0F-7DD5C7A3E95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cff8a314d9fb157a7d13b3fe1123cbf96f16e53","datavalue":{"value":{"entity-type":"item","numeric-id":4539610,"id":"Q4539610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$7EEE0443-6F0A-4B0C-B37F-D3CB24B38A86","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":"Q287283$AC7D4AB5-95FD-435E-ADEB-3FAE62A3937B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f306d53ffaa3316872c03d5120ded3df09d397f","datavalue":{"value":{"entity-type":"item","numeric-id":5191491,"id":"Q5191491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$9C7C2476-2D70-4D9B-BFDA-87BF8015ECFC","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":"Q287283$84592975-C07C-44C3-80C5-D19BFB13B329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be986acc9e1b8514990926935f126389f1f796f9","datavalue":{"value":{"entity-type":"item","numeric-id":865650,"id":"Q865650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$03969AED-9FB4-4A94-995D-1B197AC2A1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdfa4fbdc97e0fc08891d84afa500828265b278b","datavalue":{"value":{"entity-type":"item","numeric-id":5361071,"id":"Q5361071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$C11FE5D7-8612-44DE-9B4C-441C0B1260A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad0df28a37b905ef25db50ba8460213c76d8056","datavalue":{"value":{"entity-type":"item","numeric-id":926451,"id":"Q926451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$5A0537AA-B998-4AA7-8FF5-03D77A2EF61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$A3E2B4F4-0769-446C-8059-042E5EEBEECB","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":"Q287283$600ABFD4-A1BA-42E2-AB19-EDC49ECABC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4ee858c8544ddaa2b36ea8b7a73636ae5df893","datavalue":{"value":{"entity-type":"item","numeric-id":3075241,"id":"Q3075241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$57E2D189-42A8-4BC2-962F-A524D342097F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49bddd3d8758939d2c56cea336fa15d4d01af13","datavalue":{"value":{"entity-type":"item","numeric-id":4809064,"id":"Q4809064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287283$CE555A4C-BEBB-4EFB-85DF-594C25BB912C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"4c3e54413bcd32e18e9fe644c75b526d651c56b1","datavalue":{"value":"journals/jar/BenzmullerSPT15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287283$823CCB6E-B6EC-488A-97E5-30FCEAC1D185","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3066953942f44a5d3535cd0c5157c390c48e043","datavalue":{"value":"10.1007/S10817-015-9348-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287283$1A4ECEC7-9E5F-4F59-BDE9-5692D2A9AC57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb697da6731caef5109d80b7ba8e021555045823","datavalue":{"value":{"entity-type":"item","numeric-id":3541699,"id":"Q3541699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3fadff234b3fa502170ac6fd25449d065f85b17","datavalue":{"value":{"amount":"+0.9241126179695128","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":"Q287283$82995776-4969-44C2-9D27-72FAB1C1C06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"496052fc3273e7e47cd8686294fee309f85ea3be","datavalue":{"value":{"entity-type":"item","numeric-id":1799072,"id":"Q1799072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d1dc249d0458e2c24f35f02fc05a56a769ac1f","datavalue":{"value":{"amount":"+0.8665338754653931","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":"Q287283$F1D5EF65-3A9F-4853-A6E3-D7334999459B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5071410fb4f588702a1cd4f98b5757b9c9f99e5","datavalue":{"value":{"entity-type":"item","numeric-id":2666959,"id":"Q2666959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d3e844dc4d3c8201a5495f60d9ad37d4c48a788","datavalue":{"value":{"amount":"+0.8326075077056885","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":"Q287283$93C37406-F4B5-4685-8031-FF394942383F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30f1d8f9b1d127514f6c20dec24f6e39fa58c46","datavalue":{"value":{"entity-type":"item","numeric-id":1948289,"id":"Q1948289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e034bf0235cf46b138738943c7c8ac0e763fb2b3","datavalue":{"value":{"amount":"+0.782606303691864","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":"Q287283$38AF237F-0557-4015-95C4-C95D44B267D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61e2a43b4930e1e1440ed8b96c6f962cc673db8c","datavalue":{"value":{"entity-type":"item","numeric-id":2829278,"id":"Q2829278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed615f97d3110c5965ca9ad4e9c93be5cd3f29da","datavalue":{"value":{"amount":"+0.7559289932250977","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":"Q287283$EF3CD17E-398F-4B84-9BBC-A0E0BF7D95BF","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":"Q287283$5D90E660-7A3D-4864-B59D-377C8225E9AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:287283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:287283"}}}}}