{"entities":{"Q5875448":{"pageid":7904999,"ns":120,"title":"Item:Q5875448","lastrevid":93267635,"modified":"2026-06-05T04:06:30Z","type":"item","id":"Q5875448","labels":{"en":{"language":"en","value":"Hammering Mizar by Learning Clause Guidance (Short Paper)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649983"}},"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":"Q5875448$57C90FD8-60B9-40F7-8317-7664386AC86E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87dc4de4518b8db4a5efca79e388ac462c23bd10","datavalue":{"value":{"entity-type":"item","numeric-id":831935,"id":"Q831935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$84CC5636-E5AE-40C3-B660-F46323CC1A49","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":"Q5875448$E4F2BCCE-748E-42D1-AF43-B8DCDFE0E36E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875448$8E9AD3CE-DE8C-4B77-B7EB-8866CA1E2FF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca140063ba31d49bfbcce5fddb8df1ba291de902","datavalue":{"value":"https://arxiv.org/abs/1904.01677","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875448$7354FC05-3E1B-46F4-B09B-1DFD27DF3060","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875448$A873CDBA-5B1C-41EE-8E8C-1609673EE8A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf927439527cfb153936b2d4655e0580bd2f04b3","datavalue":{"value":"7649983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875448$6EC773E8-5718-467D-B0B2-6B34A327CAC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d62798ced101241ac0d5e46110e32d69e73a0c1a","datavalue":{"value":"proof automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875448$3A03F256-CF84-42C4-AF62-0620C228FB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f534ff15f29563efa3a60bd562c6e88f3f25fc0","datavalue":{"value":"ITP hammers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875448$764B9C08-2854-4110-AF6A-1AA0CF9344EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875448$320A0906-0335-4918-AA4B-F976D44DAE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875448$45E8D148-E1B5-458E-B44D-1EE5CA891409","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23a51f85d1559d477e11e802f5846b239adc9d74","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$7C03AB0F-5B76-4A09-A6DC-3EB31A773EE5","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":"Q5875448$2E4CD491-8142-4563-A816-9F818AFA5B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ced8d6f2a9df1ee71786851c7533b59c2dba2f","datavalue":{"value":{"entity-type":"item","numeric-id":331617,"id":"Q331617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$8CBE4FAB-3313-4ED1-82F8-146F63A16BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee178f7541c5d2ed1d6ee17e1e99ce6d2d8a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5195271,"id":"Q5195271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$3296CBBE-41B4-4C60-9654-4F658E65FAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f57d4b59ecba636dcc4314360e03dd7bafca46b9","datavalue":{"value":{"entity-type":"item","numeric-id":3096176,"id":"Q3096176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$AED06693-205B-4D52-B115-8C6DCD28514C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05490fe10627fccbccba0d97cead358fcc16c362","datavalue":{"value":{"entity-type":"item","numeric-id":2964471,"id":"Q2964471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$265CCE67-57C8-43B4-B33F-5C11DDC498D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48db84ebca2b67f7c2a6c029d25bb907dfbb4b1c","datavalue":{"value":{"entity-type":"item","numeric-id":2405274,"id":"Q2405274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$33A6A728-DF14-4AD6-AFF1-3A2B0E4B24E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df01f1f257aa4e0eda78a40444b30a121e95f5c","datavalue":{"value":{"entity-type":"item","numeric-id":4645730,"id":"Q4645730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$750F884C-93D8-48A9-AB50-75276F30FA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1ac1f501cdec3462d0daf1ebcb19116685903c","datavalue":{"value":{"entity-type":"item","numeric-id":2180529,"id":"Q2180529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$415E0958-5078-4AA8-A543-3E1BD0E20BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bab11b75e766c233c3a1b9a3682b90b0e288d","datavalue":{"value":{"entity-type":"item","numeric-id":3075247,"id":"Q3075247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$6E35C539-5628-4EC4-9EF8-13C8BD6C3255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7d80b034d5bbc9c7be0be22781c5c67e99e185","datavalue":{"value":{"entity-type":"item","numeric-id":3454097,"id":"Q3454097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$F90AEC62-09EB-4113-BB18-BB1E3CBFA922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74d3fce405174a77b93de2a6b609361e3b5e6c0","datavalue":{"value":{"entity-type":"item","numeric-id":2364687,"id":"Q2364687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$4DE371AF-A696-4B85-8BCC-AEE75CC239A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73bb8ac33997c396ae6d35e49f76805212715260","datavalue":{"value":{"entity-type":"item","numeric-id":1798957,"id":"Q1798957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$BA984E40-CDB7-40A6-B4A9-09174E41B007","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":"Q5875448$501894E4-C77E-4D3D-91D8-7D18DAC77F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdebf38e9057b48da95e1d4aa1dd3058634e8858","datavalue":{"value":{"entity-type":"item","numeric-id":3460043,"id":"Q3460043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$74D64455-36BE-44B6-8589-68684D3A3FCF","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":"Q5875448$5FC310BC-8792-4A7C-BED4-610FAC4B6143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1b1fdbeae9e9a4637fac18d8099d9dbd0f3193","datavalue":{"value":{"entity-type":"item","numeric-id":2964472,"id":"Q2964472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$CB891056-EB15-4B9E-8107-D77014402FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4664bb57de74b2131833ba33d6f5ae1dd0bce5e4","datavalue":{"value":{"entity-type":"item","numeric-id":4645728,"id":"Q4645728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$5D179E8A-A24D-488D-A041-F6097F126B73","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":"Q5875448$98AD1F2A-87A4-49D7-BEE0-03C32832294F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44b125cf3594b01960f6a5396e298346e4cfbbd","datavalue":{"value":{"entity-type":"item","numeric-id":2870167,"id":"Q2870167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$EACA9B2A-3F5C-4E09-8678-8EFA04C3AB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf7b4ce3ab96d4236a4c36e2f89589530011a89","datavalue":{"value":{"entity-type":"item","numeric-id":877826,"id":"Q877826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$1F3EC5CE-EBB2-41F0-B77C-8FF3F778D441","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":"Q5875448$693C117C-0BAF-4213-BCF2-EC595644EBE0","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":"Q5875448$0180BEBF-B56D-4C69-9EBB-4DD973E0003F","rank":"normal"}],"P1463":[{"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":"Q5875448$AE921028-6B3B-4A94-BDA0-73B332E73774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"742d2cb656243f7db933c39696cbb7d1991ef1dd","datavalue":{"value":{"entity-type":"item","numeric-id":32848,"id":"Q32848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$E5323ACA-5423-4AC3-AD2C-979B49A7318B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e46473070f3c81a2b3e6d8305bbf4ff6145b7c3e","datavalue":{"value":{"entity-type":"item","numeric-id":30553,"id":"Q30553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$F8FE28E0-DF2F-45AD-82F8-2B7906A885CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d7080ec90546ccf740799d90136dfd2e93385c80","datavalue":{"value":{"entity-type":"item","numeric-id":39267,"id":"Q39267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$C3C03568-B53D-44FE-9995-6FE081A21F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a1e94f157d41116391eea794e4679c715853699","datavalue":{"value":{"entity-type":"item","numeric-id":32991,"id":"Q32991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$D080459E-32AC-46CD-A731-74CE109B5D23","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":"Q5875448$B0423D23-5BD6-4936-AB5C-1BA098DE54EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33061b9a75e57d93e8912d2c2b716b27d6bd52ab","datavalue":{"value":{"entity-type":"item","numeric-id":40369,"id":"Q40369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$C4831541-7382-4288-AE5C-C462A1380B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2dc6a93dee1ff6ab24db04bd93ce0f605963d1a","datavalue":{"value":{"entity-type":"item","numeric-id":17033,"id":"Q17033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$538CEFD1-B0C2-424D-A8D9-1951BD3F9531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c7e65d45048f1659040b4ae3ed77d872ceb74e5","datavalue":{"value":{"entity-type":"item","numeric-id":33390,"id":"Q33390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$164E33F7-51D3-4CB4-8C15-6209A9111723","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":"Q5875448$CE746942-49C7-4576-84D9-DEEECC566C75","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":"Q5875448$3D98A937-DB61-4194-9D33-90CC91501133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"484f589bd857c6ecd5604196ba88033adb11a795","datavalue":{"value":{"entity-type":"item","numeric-id":15128,"id":"Q15128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875448$2A8B4E9E-B3EE-45DB-B709-02857A7BE16E","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":"Q5875448$95A53689-A18F-489C-9058-4D0331D05943","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":"Q5875448$CAAC4258-9649-40E9-AC50-73FBC7371AE0","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":"Q5875448$56888C7B-F93A-4AC5-A413-FDF386AE675B","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":"Q5875448$F39E98E0-33E3-4B3F-83EE-C304D229499C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9603a52a3429c7f5b5726ca7462bd67340490d04","datavalue":{"value":"W2977777155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875448$635C26F4-4F50-40F8-BD81-76404FCFB06D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"730837276be639246bedea5aae59ee638935e976","datavalue":{"value":{"text":"Hammering Mizar by Learning Clause Guidance (Short Paper).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875448$158EECC0-501F-4BE5-B1D5-739025E90AF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0577feb5c99d171e92e6589aadccc9bd7c0fca16","datavalue":{"value":"10.4230/LIPICS.ITP.2019.34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875448$CAC95A63-C78D-47D5-B293-FA49EB423065","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e050f30d7185276802f36abdec5347610a74e3d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955e144c2bb6e9b2ba3da114741db49892897217","datavalue":{"value":{"amount":"+0.75393593","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":"Q5875448$A2AECDC1-2F48-44C1-B731-7E25AFA04C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d653b564b78faf4f12af25646bbfe2afa342f3","datavalue":{"value":{"entity-type":"item","numeric-id":5325865,"id":"Q5325865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57dc95744b8e9d1267c2dbcaa7f95054766c5e48","datavalue":{"value":{"amount":"+0.74914855","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":"Q5875448$EB888A53-A937-4D53-BBCA-8B7325F3B89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e44996a4f52d1763fe379a55cd9e40356bb49f4","datavalue":{"value":{"entity-type":"item","numeric-id":1945908,"id":"Q1945908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5302e9f6161820c4385fc0609976f8d969e5b56e","datavalue":{"value":{"amount":"+0.7488844","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":"Q5875448$804E8364-B25F-41A2-8B20-81955FC04C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ec411e0171a4d33de9631ee6a216d8dbf5bf468","datavalue":{"value":{"entity-type":"item","numeric-id":1405401,"id":"Q1405401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ffd1a8268dd2406424cde3a9735fdf413f2ec0","datavalue":{"value":{"amount":"+0.74073786","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":"Q5875448$00D110DD-21FB-4573-A913-806C8F5E21A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ae545b36435129d627104819ba15367958dc525","datavalue":{"value":{"entity-type":"item","numeric-id":3449228,"id":"Q3449228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a7bb13dde779ad2c3f51e5bcfc1304f72be2297","datavalue":{"value":{"amount":"+0.73435944","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":"Q5875448$0A95AC2C-57CB-4122-916A-9E12008290EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f824cff46c020fb22e0405c9167a4964f4a120f","datavalue":{"value":{"entity-type":"item","numeric-id":4707747,"id":"Q4707747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d05341328a15863b7f563cecd9114a8241df76","datavalue":{"value":{"amount":"+0.7317065","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":"Q5875448$70FF39BA-E943-463C-8D52-17F8F7149510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e24753ac1621ead6d5db174b1ca0f89473dd6b","datavalue":{"value":{"entity-type":"item","numeric-id":2055886,"id":"Q2055886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc6db677e00c5e229467e4ce36a34b1e80548630","datavalue":{"value":{"amount":"+0.7303519","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":"Q5875448$663A6093-2832-4EA7-B617-B35A780AF505","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hammering Mizar by Learning Clause Guidance (Short Paper).","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hammering_Mizar_by_Learning_Clause_Guidance_(Short_Paper)."}}}}}