{"entities":{"Q1703015":{"pageid":1713756,"ns":120,"title":"Item:Q1703015","lastrevid":72819690,"modified":"2026-04-14T08:03:28Z","type":"item","id":"Q1703015","labels":{"en":{"language":"en","value":"The matrix reproved (verification pearl)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845819"}},"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":"Q1703015$FE069927-8326-437E-B940-CC6D7EA8C758","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bec35d7494b7532f6d1f7b85cd850d9c0f380eb","datavalue":{"value":{"text":"The matrix reproved (verification pearl)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1703015$6DCF4092-5ED1-463F-9C0B-ADB7A82AFAC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2522f7d2e95c874bb1cb11ce20cf41aeac332de","datavalue":{"value":"1426.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703015$8800B1C5-7952-441F-BD99-C5BCC169402A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ddf53fb09c4e4ee45ac66fffeba937512fdd55d","datavalue":{"value":{"entity-type":"item","numeric-id":1667024,"id":"Q1667024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703015$4BFA0E6D-5A87-41C0-AED4-9A69538AB2F1","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":"Q1703015$A309A4F1-EE24-4839-8F9F-A5ED017C3E19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ead1def560b38beae02ca12f5c5bf33059d8b8e","datavalue":{"value":{"time":"+2018-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1703015$A7FC535B-3848-4EDC-B138-5779D468EAA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a34bd48106be4927caa7c95dbaddbbe15b211b7d","datavalue":{"value":"https://hal.inria.fr/hal-01617437/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1703015$3F321A82-9FE8-43B1-AA52-1E1F2C8E0E6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703015$0BAE4795-41BC-4D8C-B8FB-3E5F0DC90F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72309745094959b676ca20810c7af21a33fe24b5","datavalue":{"value":"65F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703015$1C902BA0-D015-4335-B2E6-1D268C5CDFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703015$74D722D4-0ABE-4B89-868B-8CCEB7B2B04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703015$54DF3B06-C15E-496F-862E-F4C48EC62BC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87f3c2b53723b101bfcc34c2875587bf431227c8","datavalue":{"value":"6845819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703015$32C78B42-5DBF-4410-8D96-C9797AE50248","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ace784b1bf6b3ec86687dceb5e087ed5c12bfdd0","datavalue":{"value":"Why3","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703015$935096DB-16F0-4B2E-9307-18702D6C2910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"757d965346c06c3204f84840816c70899ad83131","datavalue":{"value":"deductive program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703015$38ADED31-951B-4421-842C-884FA9E71A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1a2eba9bac9971207298009871199e651ca130","datavalue":{"value":"Strassen's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703015$A7EA105F-E75E-4012-A566-BD5CC9E447EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95b67bc981090b288e40939345a46ef449359586","datavalue":{"value":"proof by reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1703015$08190620-A47A-4788-B12D-451FD6B2DF3B","rank":"normal"}],"P1463":[{"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":"Q1703015$57D14372-BD0C-4EF6-8D00-E7375E2E97B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703015$27E83283-06E1-4629-8E2F-1BFBCE6DD728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aac7c058832ef463bb967772839a9a3a80997b0","datavalue":{"value":{"entity-type":"item","numeric-id":40280,"id":"Q40280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703015$169465C2-7F80-40CB-AE06-ADD364752A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703015$C0EC8AAC-334C-4DAF-94DD-C710FB180DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31f1ce98b178abd797205654762ca461950434bc","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703015$580A0012-D959-4FC9-A09B-ADE0F91803BF","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":"Q1703015$3ECC53E9-2AB8-4F3E-8D7E-7C9062F28454","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fcc8837103858ab702195b2a0d07099eecf1879","datavalue":{"value":"W2763423918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703015$958A1BD6-0DED-4778-828E-9CA75D36834B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703015$9BEF796B-2BD0-4540-ABB1-44D25800A53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d449c1e2d22c4797dab726112eca47edb2457b","datavalue":{"value":{"entity-type":"item","numeric-id":2914734,"id":"Q2914734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703015$93A1434D-4D0E-47CE-9F85-CD85FCE6EB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d2d917a98e9ba47f267e20d5dc5fbd3a2f2e909","datavalue":{"value":{"entity-type":"item","numeric-id":4928425,"id":"Q4928425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703015$7DFE0793-256C-4D2C-B81B-446D49FDEF22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703015$4E43A53B-E1C4-441D-B23D-FF5B7EE3474D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0c92d03289446e128e8c1b5528c6f94929a65a","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1703015$A6CE5E9E-BF21-4EBD-919E-0123C26C9318","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba3be7d7aa0b4604f831ef58c04cd0f85a7e65fa","datavalue":{"value":"10.1007/S10817-017-9436-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1703015$CB1A73F4-16F6-4384-A14D-7EF91B37348B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354259b40bbf0c06b8cf1c3cdc6207226e1fd38d","datavalue":{"value":{"entity-type":"item","numeric-id":1799078,"id":"Q1799078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf9bae84cd965aaf1c87dfc571ffcbd53ffcd54","datavalue":{"value":{"amount":"+0.7154501080513","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":"Q1703015$5CCC20A8-0C12-4A1C-AB97-EF91287CA71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4633aa06e6ac00edf78e20fbeb7b341a1d7768fe","datavalue":{"value":{"entity-type":"item","numeric-id":2938115,"id":"Q2938115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edbccc9d5d2e155d6db66a062e3d0e87431aad36","datavalue":{"value":{"amount":"+0.6859712600708008","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":"Q1703015$0AED5DB8-4B60-45D7-AE4A-0386EF25855E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aad5bed82476f737ab4db62ff76bac456f438c0","datavalue":{"value":{"entity-type":"item","numeric-id":1209332,"id":"Q1209332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1bd57f28b26eccf1519fcbad0468811c31020fa","datavalue":{"value":{"amount":"+0.6835494637489319","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":"Q1703015$C5EEDB11-6ED1-4EDD-A8DC-299E435832F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9c2bbb3df2b96668f129f74b95b0e10b1d032e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b824dc50a0a94f0679ae5e45f0d35882fa73d43f","datavalue":{"value":{"amount":"+0.6829906105995178","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":"Q1703015$D31FF63A-7986-4C77-904C-21BE9E94C646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99ca25a611573d6fd856d744dff4114698661ed","datavalue":{"value":{"entity-type":"item","numeric-id":1664391,"id":"Q1664391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b638fda3188706c221f6e1fe17163942d578c965","datavalue":{"value":{"amount":"+0.682803213596344","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":"Q1703015$1C7A14DE-C95E-47B6-9746-5F13AEF39EB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The matrix reproved (verification pearl)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_matrix_reproved_(verification_pearl)"}}}}}