{"entities":{"Q2389631":{"pageid":2400374,"ns":120,"title":"Item:Q2389631","lastrevid":72681450,"modified":"2026-04-14T06:28:22Z","type":"item","id":"Q2389631","labels":{"en":{"language":"en","value":"Proof planning with multiple strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5580263"}},"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":"Q2389631$B507617E-0B64-45E5-AF6C-3E48054A483E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"310233ea6db31f86d8512158fe9672befb509754","datavalue":{"value":{"text":"Proof planning with multiple strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2389631$49EF21F1-89A3-4C98-A392-DD1A8F56A1E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c794d32180066542f58dc3135f9b2c51a2cbe02","datavalue":{"value":"1182.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389631$5970E886-43C9-46EE-87BE-F0083723D308","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8277b97ee89f3f6e73af930a736006548fe36efb","datavalue":{"value":{"entity-type":"item","numeric-id":1188507,"id":"Q1188507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$B1A09885-B0B1-4F61-A0C2-CCAAA848FB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63a8ceece294270cdd3e0740817fe33ec4f8e10a","datavalue":{"value":{"entity-type":"item","numeric-id":862391,"id":"Q862391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$836A089C-D930-475B-93FB-40DE06899957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bab389976986f970f2e5f82d3fb7533f611db58","datavalue":{"value":{"entity-type":"item","numeric-id":1124374,"id":"Q1124374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$F992C551-5427-4A99-BDFF-56BB721CFD5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$65FE36F8-B03D-4CC2-AAE0-67E3F07B08EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"895fde569e76df2f055cb42fcee60c0329a59331","datavalue":{"value":{"time":"+2009-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2389631$6D8371BA-5E50-4A1C-A153-6EE710515A47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389631$C1E95197-43ED-4DC6-BE38-B9F5F1B7987E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389631$7FDF1CF6-B18B-42D6-9FF4-011168C5250E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06b3b235ff2475d36695872562209c5907e604f2","datavalue":{"value":"5580263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389631$1D5BC168-8897-4C83-BB37-FB7F0990B941","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389631$6275614F-0E3C-41B5-AA02-85F21A1930D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e925d21691ae524cbfb2c7846fe00986c22417c","datavalue":{"value":"proof planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389631$FB1E6DF2-F5C8-4F38-A215-7AD0CCBC72B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcff707f7cf464837c146e5d6c59c4d3f0f48ca7","datavalue":{"value":"blackboard architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389631$BB3ACA0D-89A0-401E-8C43-46DA4D0EC2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce248baa6ddc45c558e1072a9ef8778d9930096","datavalue":{"value":"planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389631$E6F22656-D9EA-4EB6-9293-1EB69491410B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3145abaa7601d9f42db69b98bf6cc9f9203cc38","datavalue":{"value":"meta-reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2389631$C429486B-DF8F-468B-A59E-D4736EE51025","rank":"normal"}],"P1463":[{"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":"Q2389631$AF0374AF-F9C8-46C5-99D8-87290248390E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b77acad8c60c24a83cd155be9e613e7da3e338bf","datavalue":{"value":{"entity-type":"item","numeric-id":32503,"id":"Q32503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$7D57BF86-3A7B-401A-A2A6-3672281ED662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"227cbd526ea4eef217fd567ef0b89e17137b97b4","datavalue":{"value":{"entity-type":"item","numeric-id":21959,"id":"Q21959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$6784F95F-848A-4A71-BFD6-E41645499599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4bf6b098c4c01159a1cdee4d92fe2d1a9384e1ff","datavalue":{"value":{"entity-type":"item","numeric-id":22353,"id":"Q22353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$5FC4F4AF-FAB4-4E88-BA84-679AC7842554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dab39ec190c7fb2818b71468da9efc600915608f","datavalue":{"value":{"entity-type":"item","numeric-id":33151,"id":"Q33151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$8AEE4B7C-5C15-4356-AB6A-8BB90FD51175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$7106F0BE-BD33-40C7-8787-752F3EBF864E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab1ccc8faeab7e6c417af9846c477f0e521ebe1b","datavalue":{"value":{"entity-type":"item","numeric-id":14592,"id":"Q14592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$C1BC9104-420E-4E4B-83AA-440451E7F1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c766f98bf98fe7cf06a05963cc75ed84be39ac3","datavalue":{"value":{"entity-type":"item","numeric-id":31394,"id":"Q31394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$24B63F2C-99DF-41FC-81EE-57DD9F9CCE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a761178b05ceb8505a589f51ea41c7640322dd0","datavalue":{"value":{"entity-type":"item","numeric-id":33154,"id":"Q33154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$01F4163E-C020-44D5-8CEA-9CE18621A9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef66738b9d04f9bd219c249468a3689be8ef7ac2","datavalue":{"value":{"entity-type":"item","numeric-id":33162,"id":"Q33162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$0E0D709E-B9BF-4898-BACE-7B5ABA5EB57F","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":"Q2389631$C0541430-4B7B-4BEE-9EAD-191F754A64EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec97af8dbde1b3f52d57c157b7fa0c737d48882a","datavalue":{"value":{"entity-type":"item","numeric-id":31439,"id":"Q31439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$DCB93513-A94A-4F4E-9778-41AD4080D7A8","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":"Q2389631$38E3D089-8B02-42F4-99E1-15FC24609130","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e8234b842938b9f77f6a352708ccdb74d5a6a4c","datavalue":{"value":"https://doi.org/10.1016/j.artint.2007.11.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2389631$EAF84758-3872-4BCD-9424-89187EF7702B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed2073bcfaee885fefac268bc588a769b6fe2dbc","datavalue":{"value":"W2081924722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389631$513889E6-35D6-473B-8D63-F31D79AD4C65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc514a599a92a33db1429bd8d1448db748465f1e","datavalue":{"value":{"entity-type":"item","numeric-id":1412856,"id":"Q1412856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$1BDD377C-520C-4197-BCB3-F71A8C9313DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb64f8b7745166e348b41a7109c37c633201964","datavalue":{"value":{"entity-type":"item","numeric-id":3957169,"id":"Q3957169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$C149E8DA-786D-4EEB-B64B-92A55879F8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb31cfec21be04f1ba8409c207f9c0a2daf7299","datavalue":{"value":{"entity-type":"item","numeric-id":915496,"id":"Q915496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$F5F58A04-91E3-4422-B785-31149F27F965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a238ed6c54d87ec163b1a7cb181d6ef07206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3804239,"id":"Q3804239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$AAE361A1-2730-4E29-A485-690BF096ACE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ae27268a48b91a2cb9712e13b2ccff954f2260","datavalue":{"value":{"entity-type":"item","numeric-id":809617,"id":"Q809617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$04AE6B7D-3383-4169-9292-EB6F78A4ABAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394c6fb48fdd76b4454ed7ac5ab39557ae477ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5900723,"id":"Q5900723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$EB718F00-51F4-4D75-B65B-5CF4E669B13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adb473fffc2c544140b019af170eaa1f11b1687","datavalue":{"value":{"entity-type":"item","numeric-id":3006508,"id":"Q3006508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$03D37BCC-08B9-4619-B119-A24CEC588459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db98659fd0d8d989353341e0c12c4246dfe6ee1","datavalue":{"value":{"entity-type":"item","numeric-id":1915134,"id":"Q1915134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$EB3F53D1-DA2A-4EB0-A97F-76237D130DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4470ad681c71989636fed60ae376323914a5ddb0","datavalue":{"value":{"entity-type":"item","numeric-id":2723444,"id":"Q2723444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$851B4067-74D8-4B77-9C91-E61C21F4DA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35fef3348d09225dba34212d74d8ab7ecf07ad26","datavalue":{"value":{"entity-type":"item","numeric-id":2767093,"id":"Q2767093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$11032076-3B51-42BA-875E-D14B8AD0EB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ac250073e47cc0171ca9a93b9d6bf038f313ff","datavalue":{"value":{"entity-type":"item","numeric-id":5898517,"id":"Q5898517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$3247F807-3909-48D5-83FE-27C6D51A5897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7980eea23ea96226c6a1c119c8ed80a8ea70899","datavalue":{"value":{"entity-type":"item","numeric-id":5394617,"id":"Q5394617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$9C54F551-7FB4-4543-8FC9-D1E2EA68382D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354e4906ac55e55361f2597ef0e0eaf177ef3a71","datavalue":{"value":{"entity-type":"item","numeric-id":4808725,"id":"Q4808725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$88DC05B8-ABC0-4C6E-B87C-65F572A078DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cdc8410680f0406092d6e0bc4dd9194588d339","datavalue":{"value":{"entity-type":"item","numeric-id":1978469,"id":"Q1978469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$7E9D1221-45FD-4934-8F63-C92CD1267B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3889f1c4e59f3caf0fad68024f018e3e2f0e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1389909,"id":"Q1389909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$4154CF07-393E-4075-9CF7-E9626474D968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$C483EDD0-9A13-402B-B26A-DF3A23B6AE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0d116fe8fd5b182a9c635836d96770e00e41f0","datavalue":{"value":{"entity-type":"item","numeric-id":3801492,"id":"Q3801492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$FE76DA5B-0963-4E6F-9EAF-FD81CCDADB5F","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":"Q2389631$3A06BC3E-E206-4350-81B5-AA89F62D6579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5762716a92ca21a3abf7cd096f35c5ef2b229a","datavalue":{"value":{"entity-type":"item","numeric-id":4428312,"id":"Q4428312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$1A44EFE8-D9E4-43BC-B35F-0F61235CF93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b31126ac59628f34f6320a73660382a36e561313","datavalue":{"value":{"entity-type":"item","numeric-id":4834396,"id":"Q4834396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$2244D506-6DA3-46D1-B624-4A0D59F84B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd230828d4326ec5a2fc7a7a61fae57af510bea2","datavalue":{"value":{"entity-type":"item","numeric-id":1273575,"id":"Q1273575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$BEEDC3E5-A961-486E-AEB1-59F0A414DBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de05829f88da0eb2c0cf9587cb937e329112483b","datavalue":{"value":{"entity-type":"item","numeric-id":1774557,"id":"Q1774557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2389631$D8DD4EF0-66B9-4CE1-96B7-491795CCC245","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d43b8611fd40a76c7ca529d74fbaf708488f54b","datavalue":{"value":"10.1016/J.ARTINT.2007.11.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2389631$2D6CD404-5599-48EB-8112-C48E6976781F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f1e1019335038d96d8ef8d40d3dbd40aa0ae81","datavalue":{"value":{"entity-type":"item","numeric-id":2767093,"id":"Q2767093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8550900687c702b342ece73642ce7dc629933d2","datavalue":{"value":{"amount":"+0.99999964","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":"Q2389631$2BE684A2-159E-4421-8013-D9C4786071FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe360a6e5e30503c21cd5d94de528a82f553af1","datavalue":{"value":{"entity-type":"item","numeric-id":4530469,"id":"Q4530469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf36603b651088db74008cccc32866c6f2bac487","datavalue":{"value":{"amount":"+0.89168566","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":"Q2389631$1994677E-471E-4E2F-8C85-E0FF5B6A21DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f973b9d4fa03e23db62545e9f971f8dae1bc0abc","datavalue":{"value":{"entity-type":"item","numeric-id":2848045,"id":"Q2848045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d9dfa3bf129d57d4e8f357555e42f113c24cec","datavalue":{"value":{"amount":"+0.88421226","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":"Q2389631$EAEFA608-3C95-4421-8846-34C13885BE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368be8f7076e9e6de4624eebeaf8eb07c3a3f0e8","datavalue":{"value":{"entity-type":"item","numeric-id":4858950,"id":"Q4858950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42e94311f453392446a373edfd1762fd47040cf","datavalue":{"value":{"amount":"+0.88375866","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":"Q2389631$423B21B9-70E1-414A-B8C4-66325CCF0EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b672819769f56e78f920c18ff9a2be8c99577da","datavalue":{"value":{"entity-type":"item","numeric-id":2751546,"id":"Q2751546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3287939e16370dfd740860bad115997dfe66b70","datavalue":{"value":{"amount":"+0.8818053","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":"Q2389631$C68985E8-2A0F-4275-8F0B-FCF44E0BE1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0462344f3ab5fc152b9fd7fc0d09f0c9b9f96dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4518862,"id":"Q4518862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad60060685741310a09256cd8cfbef7194578e9d","datavalue":{"value":{"amount":"+0.88171816","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":"Q2389631$54822EFB-9971-44FD-A242-CDC72662702C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eaa8577570472eaedb761c32959a0cdc05da156","datavalue":{"value":{"entity-type":"item","numeric-id":5027672,"id":"Q5027672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da9077fabbdc8e8b8f7e136635adb7c4c14f5893","datavalue":{"value":{"amount":"+0.8813694","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":"Q2389631$5BCBF8D0-FD19-407D-AB91-700A20038CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2c6b79329a05aebeeaceafc262ed034a0f25766","datavalue":{"value":{"entity-type":"item","numeric-id":2702597,"id":"Q2702597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629d8ea6a63b5e90898a5f1dbf3425662486ab0a","datavalue":{"value":{"amount":"+0.88094866","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":"Q2389631$AD25E9F4-2444-41CF-9B27-CE9B033E0D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7e0233cb3fc44da0ecce87d6c2e32991c353c0","datavalue":{"value":{"entity-type":"item","numeric-id":1774557,"id":"Q1774557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e639c7e14b4cfde2549abb34e809974ccf1f1be3","datavalue":{"value":{"amount":"+0.8804348","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":"Q2389631$9382DCC2-6F38-4786-8C85-5CB8AF5A106A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e53c11c206c753b30446eb4809e37edcd120c6a","datavalue":{"value":{"entity-type":"item","numeric-id":4707764,"id":"Q4707764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298754cde55e8c8c1f57d43cd73fbc1eb7de7845","datavalue":{"value":{"amount":"+0.87410945","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":"Q2389631$57F51870-DC95-47EB-BAE4-DF513B3D7633","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof planning with multiple strategies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_planning_with_multiple_strategies"}}}}}