{"entities":{"Q7034879":{"pageid":21712158,"ns":120,"title":"Item:Q7034879","lastrevid":77522522,"modified":"2026-05-04T15:30:51Z","type":"item","id":"Q7034879","labels":{"en":{"language":"en","value":"An empirical assessment of progress in automated theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977146"}},"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":"Q7034879$94ECA47B-BCE1-476E-89A9-03362F620D67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ff8ef3bee3c3545b5bdd7ec001e949e1aa0a7d2","datavalue":{"value":{"text":"An empirical assessment of progress in automated theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034879$EB55EF90-AE76-433B-B332-BF50A22FC2BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fe2b792ddb76ec507e5260df85ebba0d30fba1c","datavalue":{"value":"10.1007/978-3-031-63498-7_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034879$6D3A0ABF-B9F0-437C-9BA8-2E49FB48A2F6","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":"Q7034879$0CE3ADE1-BA39-4399-BC7A-2BAE82016355","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":"Q7034879$A4867530-62F8-4801-A8F4-98CCA5AF0445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ddd57135a7e2c6fcff6e62255e1a6751cda339a","datavalue":{"value":{"entity-type":"item","numeric-id":286383,"id":"Q286383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$AA2E28F1-E73B-43F2-80D6-0B3F7A6DE685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c90c5e8c5259f0e3fffc1be5fa266513eee7a5f","datavalue":{"value":{"entity-type":"item","numeric-id":7034877,"id":"Q7034877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$F1F6F6BD-E755-431A-BB3F-D9A74B3BB063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66c2c9126073ae730fdf92c0c0a02fb652b5d90f","datavalue":{"value":{"entity-type":"item","numeric-id":7034878,"id":"Q7034878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$1F16B1A8-8C35-4B9C-AC60-D503D034BA1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034879$D410D9D7-0A79-4FB9-853D-D1F82A1E57F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034879$65D24B37-70E5-42F7-B517-2C1D42620408","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f520be468e30a033a0465ee92a29e9dc2388fcc","datavalue":{"value":"7977146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034879$9B23281B-2B06-4CB7-90B8-D6EE93FB3059","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":"Q7034879$AD3C4493-CF10-44E0-A63C-A672F44B32E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034879$F8BDD15B-37EF-447A-81AE-DA56F6A7B74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c8c2e5027a62c7964406ffa7c5d9053cd10b460","datavalue":{"value":"empirical evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034879$2C7A4D5E-23B2-4E69-877F-C996229411F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56dd37b947bda5a6427b7991d62f3e7539df1588","datavalue":{"value":"progress","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034879$14F578AB-DE33-48A3-A23A-52E472A7E791","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":"Q7034879$9FD50C82-30D5-4A02-BFB9-4D812899BF5D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2167c65cce7cae937a43193ffcc320dfd4570b57","datavalue":{"value":{"entity-type":"item","numeric-id":5716582,"id":"Q5716582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$1AC89ACF-4E22-4C18-84A5-057E49EF78EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f8c21e6d82f31fa2f7618306ddf28c9bb5b315","datavalue":{"value":{"entity-type":"item","numeric-id":2055874,"id":"Q2055874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$44024F63-9FAC-455E-A011-A5DB9BFBAF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7e9017e9f92808788a0b971125d9368ce41250","datavalue":{"value":{"entity-type":"item","numeric-id":5919500,"id":"Q5919500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$8089F64B-6245-406E-894E-529451C10038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"943222b48fb2ff6fcf7e319058da15020dff526d","datavalue":{"value":{"entity-type":"item","numeric-id":6492727,"id":"Q6492727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$E8E0318A-E6B8-4D1A-AEDF-9FEE3CE2BD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a0bc91167b07d4a815fc8e545c25eb6c16c5d4","datavalue":{"value":{"entity-type":"item","numeric-id":2305407,"id":"Q2305407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$FA2D8478-1AFA-4FEC-93BA-51D69172E949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57cb9de9297b83ec14624a1e09b8792da5237b6a","datavalue":{"value":{"entity-type":"item","numeric-id":5049013,"id":"Q5049013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$763494FF-A528-4FBA-83C1-25A610A26807","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":"Q7034879$9E0A0206-4059-465F-9FA0-51B7445D6880","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":"Q7034879$C4F2C674-4CD5-409A-8B14-A41219904DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f57ae34ae72d8b1a2535f9d0702a9257e7c40404","datavalue":{"value":{"entity-type":"item","numeric-id":286784,"id":"Q286784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$A0E389A3-88C0-479F-BF05-AAF62661CA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b945f2840d1c2d5e46ba120dbb78eb02edc11ef","datavalue":{"value":{"entity-type":"item","numeric-id":5049017,"id":"Q5049017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$23C4DCF6-9BE8-4315-9814-925232EAE650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55cea594f37031bf55b82bc70b085187bfc9c6b5","datavalue":{"value":{"entity-type":"item","numeric-id":2096461,"id":"Q2096461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$1AB06B91-5AD5-490F-9C37-EE64B55B42D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c47996ece75ce993dce6ae30ef206590df431f6","datavalue":{"value":{"entity-type":"item","numeric-id":2096454,"id":"Q2096454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$08263507-843C-4C3F-B2CD-A4274AAFAE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$001576A9-DBBD-4E65-9F4C-2FB5D7365226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c50bf30b5dabdf4dda50dde9e43de872f1c8761","datavalue":{"value":{"entity-type":"item","numeric-id":5200032,"id":"Q5200032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$6D5B8E12-85C2-4135-A7AD-7B0FB478A46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf2a467582e2ce551e8d6f09e937481123bd1d1","datavalue":{"value":{"entity-type":"item","numeric-id":5049022,"id":"Q5049022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$28DEB34E-C101-4F57-87A6-4669FC1510C6","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":"Q7034879$A287D95F-C260-4E19-B849-0785C2860251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c79011eb677d6e971ef98e3684922f919c5be84","datavalue":{"value":{"entity-type":"item","numeric-id":5875448,"id":"Q5875448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$D3D4872F-63C9-48BB-AEFA-C0B7BC97E1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b3ee1c7869e66d499e227e078da2d7175afdd76","datavalue":{"value":{"entity-type":"item","numeric-id":3454109,"id":"Q3454109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$048064B7-55EC-4857-8ECA-8CDF767E3C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$2188EA4F-839B-470B-B09F-B28CFB56C540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f29d3b1c48db9e92b0a043f16c131a152db51f7","datavalue":{"value":{"entity-type":"item","numeric-id":4982443,"id":"Q4982443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$7919471B-D33A-4E19-BAFC-4BE0A33BAAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1e46bde366c9665559a7c22a84b5c9d3a328b4","datavalue":{"value":{"entity-type":"item","numeric-id":5408415,"id":"Q5408415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$4893B69B-AF79-492A-A7BD-C5605C81CDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c749cacf7214e709d79a5dc896004d1ffa511b","datavalue":{"value":{"entity-type":"item","numeric-id":3150302,"id":"Q3150302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$71C56433-06E9-46BD-BC45-A33D622F5AAF","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":"Q7034879$04CB6EF4-7B38-4E9C-B35D-2EE124978B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$241F4AEF-2868-4D9E-840A-2C03E69B8F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661f0b9795f66b5d2362d9e2b01387b3e66c126c","datavalue":{"value":{"entity-type":"item","numeric-id":3150299,"id":"Q3150299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$9C0F3485-28BE-419A-B0C4-9E5CFBFA813C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c35f601f769b95e8a481ff9aaa800c7c31bcc91","datavalue":{"value":{"entity-type":"item","numeric-id":1825046,"id":"Q1825046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$589FCE03-9395-4475-85B9-6D316F721570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fe68dc912a4be45802e1a509289a669130abb3","datavalue":{"value":{"entity-type":"item","numeric-id":5505560,"id":"Q5505560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$42BC9781-ADA0-42E8-8B13-C4F8571EB8E1","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":"Q7034879$192CA711-37FA-4D89-BBFF-FBCC8248FF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9297b6a91a7c29eb2b70ce4159ebd40915c17240","datavalue":{"value":{"entity-type":"item","numeric-id":2305435,"id":"Q2305435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$D746C5A2-3605-44D2-BC49-020204FD33DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8549a72adcf761e26ac06f668c8502d7f581da97","datavalue":{"value":{"entity-type":"item","numeric-id":3678266,"id":"Q3678266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$6BB288F7-9359-44CF-87C5-E51D748E02C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8660c5ba66b97ae18a82fbaa0457964f9317ee39","datavalue":{"value":{"entity-type":"item","numeric-id":1343395,"id":"Q1343395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$13056DB3-B3A7-407D-A319-8FD45AAAD274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7fffb2327a6ce82997a120ef9ee1d8fe591d78","datavalue":{"value":{"entity-type":"item","numeric-id":2055894,"id":"Q2055894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$A810399C-7D07-4BA8-AD46-EEAD07BCDBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e469516266f4e2890c1ac8cb1d1faa4dcfd0c0b","datavalue":{"value":{"entity-type":"item","numeric-id":2104552,"id":"Q2104552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$F3F4D11E-713B-46D7-AE16-E712F35171A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4e9b71792220f050b9daf27c1fd409ef1133a","datavalue":{"value":{"entity-type":"item","numeric-id":3499763,"id":"Q3499763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$8A14CC49-D45F-4E65-BC6C-7B7AEF85D347","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":"Q7034879$226AEAC9-7461-4763-BB66-D75340CB1349","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":"Q7034879$D28A7289-8F70-4E60-8245-DF1DE5CECEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$F87FF1DB-27C9-41F1-8113-FE3F0177D4FB","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":"Q7034879$116A7F72-CD20-4113-B16E-56C0695786F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89bb690d82158de9c3d7b82fa1b8420468715e47","datavalue":{"value":{"entity-type":"item","numeric-id":6095787,"id":"Q6095787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$87E7112B-6FCA-4901-A59F-FFB6DEE5D997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4e0edf0e28b481677ec6286aff34ea615b8e86","datavalue":{"value":{"entity-type":"item","numeric-id":2891471,"id":"Q2891471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$AC2B45AF-23DC-42B5-8FA1-DC475B4EDCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ed1fd88663850940208777b453a5e31171f5d4","datavalue":{"value":{"entity-type":"item","numeric-id":5486135,"id":"Q5486135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$341170F7-C5E5-47F0-BDA9-68609B82EC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed4338cc88d42d689fda3243956f7504154c17b","datavalue":{"value":{"entity-type":"item","numeric-id":1606324,"id":"Q1606324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$D775B635-CBBF-4F69-BD56-45DFAB7E0B30","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":"Q7034879$F246F573-F4C3-48DA-837B-54B2859E6F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c0add849e43aaf7cc42b807929c5137f2ab852","datavalue":{"value":{"entity-type":"item","numeric-id":2102924,"id":"Q2102924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$203F469B-2973-4F27-98DE-0AB110B66E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de61fdcccb88d2f352f7a27c4d3d90e13a3d174a","datavalue":{"value":{"entity-type":"item","numeric-id":2198231,"id":"Q2198231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034879$A935BDD0-D7A6-4326-9E2E-5BB88C07AE1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An empirical assessment of progress in automated theorem proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_empirical_assessment_of_progress_in_automated_theorem_proving"}}}}}