{"entities":{"Q1606324":{"pageid":1617064,"ns":120,"title":"Item:Q1606324","lastrevid":67973436,"modified":"2026-04-12T20:35:21Z","type":"item","id":"Q1606324","labels":{"en":{"language":"en","value":"Evaluating general purpose automated theorem proving systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1770914"}},"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":"Q1606324$F76EF69E-089E-46B4-840A-03FF645C37BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c908e93ff3bccd0bfd8a4bc66ce8b3278c50d9e7","datavalue":{"value":{"text":"Evaluating general purpose automated theorem proving systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1606324$A3F51A64-537A-4A91-82E5-3247968EBF37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc5752907325b8d3a49711555687234b03f9ad2f","datavalue":{"value":"0996.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606324$FDC92701-7082-4F3C-A48F-BF9D9D6722A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eba8d1cacd3d1dbc04e84775e7dc0a1ec3206bef","datavalue":{"value":"10.1016/S0004-3702(01)00113-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606324$FBAA01D6-ADAC-46DB-8383-C8F77A200F40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c6d707c999cc6d62a42a2f34c4e05c6ede74383","datavalue":{"value":{"entity-type":"item","numeric-id":679254,"id":"Q679254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$D2AC0B60-91EB-458B-94B5-E3ED502AC5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88aab822a803d4995d8fec4a18a0120485b693ff","datavalue":{"value":{"entity-type":"item","numeric-id":1272605,"id":"Q1272605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$3B1D85C8-C2E0-41FC-9A96-8466A28D18C9","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":"Q1606324$9ADAA6DC-2EAB-4B7A-96D3-207FAE3AF2F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4596813155b5f871fa61ac7e439e59bead33caa7","datavalue":{"value":{"time":"+2002-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1606324$1A1B06B5-31F9-4D21-98AD-05101C698C8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606324$F80A7F72-BB2A-443E-8F9C-086FD069631F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c846643b03d8d32b15e1b6978fa79a04c98bde6","datavalue":{"value":"1770914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1606324$03A1A5E3-B9C4-4DF0-A10A-610FACC25BF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b75a1c22f6d9a9fcb355ad9323d67cd96a1591","datavalue":{"value":"ATP systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1606324$B4B79252-540B-4624-BD5B-9569146EA789","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$8867A838-CB37-4E51-9A86-4385E6A07C54","rank":"normal"},{"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":"Q1606324$52673BE6-AD7F-4569-8C3C-63B08214F571","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":"Q1606324$C55B20FD-DA04-496D-9FB6-5ED109C83532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"526ceb3dddb3792e27cdf843d28a6ab4409e728f","datavalue":{"value":{"entity-type":"item","numeric-id":44089,"id":"Q44089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$D1C19002-99FF-42DF-A8C1-B87EE667D1E0","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":"Q1606324$8B502567-A61B-477A-8314-CA37A4B0C06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29391b19386946f3f8609d95651483db905027b9","datavalue":{"value":{"entity-type":"item","numeric-id":22439,"id":"Q22439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$A45906EB-1943-4A3F-99C0-B2BACBF1AE4E","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":"Q1606324$EEE973A8-98DA-494F-A258-9FB534FE1390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$4FB2B497-425F-49A5-9E7A-A4FE4AD57839","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":"Q1606324$8E81FB70-EA25-44C9-B373-A5E5E82EDEB9","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":"Q1606324$AD039B33-BBE2-43C1-AC67-E160D5EE6864","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":"Q1606324$A3743A09-3C35-4A6A-90E4-16E20071C031","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":"Q1606324$89B06575-5D69-44C6-BF2D-13BFFEA3D064","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58c3a9e4976685d7e1f5e42b0c7df8599a954d3c","datavalue":{"value":{"entity-type":"item","numeric-id":1367083,"id":"Q1367083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$8C2F9DAB-EEF9-40BB-AA63-8D750085A765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c43a14224fa5235de73a12a4a92053be887ea6ac","datavalue":{"value":{"entity-type":"item","numeric-id":1272608,"id":"Q1272608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$B84BBB84-DA44-4157-93E2-279F54E2C3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3227430383174e53fe133e3ddc098d739ef3ea15","datavalue":{"value":{"entity-type":"item","numeric-id":5234689,"id":"Q5234689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$7DEA8D05-0D51-41B7-BCC9-3458A8F24320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"533ede9beb91c24206b6e406fa558e41408024e0","datavalue":{"value":{"entity-type":"item","numeric-id":5234708,"id":"Q5234708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$4265023B-8E7E-4BBC-8BB4-C341DDEB4A4F","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":"Q1606324$E3438EE1-32B0-49E1-9CA1-43F7F6FC314C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d2913ea9b1da0eff271d8ee3902caa554bd412","datavalue":{"value":{"entity-type":"item","numeric-id":1922626,"id":"Q1922626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$C34FB50D-3638-4ACD-9FBD-3076294316C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bde1b1ec996aeb071ba3c817fedaeed25122f5","datavalue":{"value":{"entity-type":"item","numeric-id":1189726,"id":"Q1189726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$1A256CCF-F97C-4CDE-8C5E-C46890B6C86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c51e24e1428721a6903741aba45a8914c5f370","datavalue":{"value":{"entity-type":"item","numeric-id":1373299,"id":"Q1373299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$D217B04E-64CD-46B8-A1AE-6484F42D8E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$63BF75B0-28E2-4A35-BA67-7D5695B31187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446632995204e3b2b92d723af23be59eb4150423","datavalue":{"value":{"entity-type":"item","numeric-id":5210762,"id":"Q5210762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$AB9779F2-635E-4062-A78D-B50F26D215F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c043d2799fc2d98f6a4b192df15139c7e790b11","datavalue":{"value":{"entity-type":"item","numeric-id":1295984,"id":"Q1295984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$D8522A33-782D-4EAC-9263-7B4A3E5111EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$43FD7C98-D997-4FA8-835D-E0A44A7500A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c2bbb140c4dbfa368d507d72919bce6409b4ee6","datavalue":{"value":{"entity-type":"item","numeric-id":1977578,"id":"Q1977578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$3B966B86-4CBF-4B71-AB9F-C2D9108916BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356118b3fcb70897b17bef806f7baa85cb704cce","datavalue":{"value":{"entity-type":"item","numeric-id":1272606,"id":"Q1272606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$CDA727C5-53E4-4299-87CD-9C22516E276A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3b11555faa74c9dd9ad74dc7ae9b8d6db990575","datavalue":{"value":{"entity-type":"item","numeric-id":1904404,"id":"Q1904404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1606324$D4BDB063-AC09-4545-81E7-90B11D03F6A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de035f677bc940e95a40c03e8df5350bb9add37b","datavalue":{"value":{"entity-type":"item","numeric-id":3216155,"id":"Q3216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a402ea0da353c355044b3c4439ab8661af428118","datavalue":{"value":{"amount":"+0.89807194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606324$2A7FD680-3B6D-47B6-B114-D46A9A43405E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c464355e162bb39742d35675ae4f88b3e02fa0d","datavalue":{"value":{"entity-type":"item","numeric-id":4370791,"id":"Q4370791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a12906aa449bf6d0c9f1460fc3375f94f5dcb4fc","datavalue":{"value":{"amount":"+0.8960613","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606324$CF0FAE0D-9362-41D4-BBDF-4CE343CB2632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b4440e24c330497025549da4d4dc8ba9f23acd","datavalue":{"value":{"entity-type":"item","numeric-id":5747877,"id":"Q5747877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0357499abd8034c14b9ea27c6ba8b8b79e978270","datavalue":{"value":{"amount":"+0.892797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606324$626C88EF-2681-4B43-9F34-CF838449FCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314d3d3cf0cfdb037b9211ea9a28bd7967136eb3","datavalue":{"value":{"entity-type":"item","numeric-id":3681965,"id":"Q3681965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f3ff2f4faf3a87c0ffad562701c663b1b7aba5","datavalue":{"value":{"amount":"+0.88877445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606324$29E72717-2E87-423A-A930-E62559129C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7bdb8bd55bdeddb7b2aca0d1ffe3ace97771ed","datavalue":{"value":{"entity-type":"item","numeric-id":5443571,"id":"Q5443571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9520ce009c7db4db217ee7f8aba9acc1570fe661","datavalue":{"value":{"amount":"+0.8871554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606324$01C313C8-E178-4509-B3E7-DF2E1CF674F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2cb6bb34055bd7687681718ca2c7bf00c0ca64f","datavalue":{"value":{"entity-type":"item","numeric-id":1057850,"id":"Q1057850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21bd4f9a63c75b009d398f90c48346d65138c2a0","datavalue":{"value":{"amount":"+0.8856072","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606324$786BA462-35B5-4211-A551-D0040E01E371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df4b0d16db5f218d4ee065f1f1897c47e139fa49","datavalue":{"value":{"entity-type":"item","numeric-id":3998281,"id":"Q3998281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa0dee07014d721f4e6ec81a5e8c06081acdbbf","datavalue":{"value":{"amount":"+0.8850485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606324$CD1B7D9F-3A55-44E2-B132-359F89FE88DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc908b5a67bc17bd2b3b9d7e3d3d9681aac12d3","datavalue":{"value":{"entity-type":"item","numeric-id":3781734,"id":"Q3781734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f4a97de022911862e960c470ab92fc1d1953702","datavalue":{"value":{"amount":"+0.8847654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606324$E1DFE8D9-B630-4DFB-8828-8ACA65C450B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0a3bf9bdd0f7ea5fe705aa2b46eefc4aba3fb6","datavalue":{"value":{"entity-type":"item","numeric-id":3034850,"id":"Q3034850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa973d6b2b8723381f52693e4db566b32313b76a","datavalue":{"value":{"amount":"+0.88367844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606324$999570D7-4372-4C1B-9600-F129B73DD8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d08cc44ffeea241be1d804c05939abb9a2c76c","datavalue":{"value":{"entity-type":"item","numeric-id":3571252,"id":"Q3571252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d59e7dfbc82a2b398ed036c1dc6983f3730336ee","datavalue":{"value":{"amount":"+0.8765875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1606324$3C33B8A7-5AA3-4539-BA84-FE76F2F59F77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Evaluating general purpose automated theorem proving systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Evaluating_general_purpose_automated_theorem_proving_systems"}}}}}