{"entities":{"Q4915380":{"pageid":6944961,"ns":120,"title":"Item:Q4915380","lastrevid":58360221,"modified":"2026-04-04T21:23:18Z","type":"item","id":"Q4915380","labels":{"en":{"language":"en","value":"Proving finitely presented groups are large by computer."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6152629"}},"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":"Q4915380$46D7D032-41E2-41B7-9959-E72FD9FC1725","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e61a54b31c24553574c7722c527a2e04f1e4e37","datavalue":{"value":{"text":"Proving Finitely Presented Groups are Large by Computer","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4915380$5FC5D25D-1E2F-41BA-81F3-186A0607ED7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b9b599af569c966284129d88ac252da848f37e3","datavalue":{"value":"1266.20044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915380$57CFED59-5890-4D20-A15B-241AAA255FE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"703ae03776f350b22ab07393dc7c8eb66a3a76e2","datavalue":{"value":"10.1080/10586458.2011.564540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915380$62B3767E-89A7-4D09-947C-DBF61C42B0E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8ce533b63d10b7f2de5da010e89f9963c037687d","datavalue":{"value":{"entity-type":"item","numeric-id":2706533,"id":"Q2706533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$275613A7-252D-4A7A-80D1-0B1210152495","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cb6ed3c1088d66429541b7e12ca76bcf603472f","datavalue":{"value":{"time":"+2013-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4915380$69E8A51A-2A68-4695-8BF3-928BCFB7C1D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbfb27ccfda3cc76789ccf665ef0e2200fcf519e","datavalue":{"value":"https://arxiv.org/abs/0812.4264","type":"string"},"datatype":"url"},"type":"statement","id":"Q4915380$A2EA162F-0829-4754-8410-F3B8013143D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a8a201d197dc55f09901854dc0baefd9d928259","datavalue":{"value":"https://projecteuclid.org/euclid.em/1317924407","type":"string"},"datatype":"url"},"type":"statement","id":"Q4915380$9B8BF471-24B7-4B53-9A2A-82C00104A905","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915380$F0E21053-3F48-40AB-9B39-B75F06B55E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915380$28F22A7D-BAB6-4FB8-8D60-C2968BCAE71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3c70959db83bb3351da86f0b2d926a9c118da288","datavalue":{"value":"57M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915380$CE0DCFBF-1545-44DB-AF57-2FDEA299CEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915380$88CEB270-B106-4406-96E6-DFC9823C4D1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df47e9e9a93c5af25969d0ddfbb493280e2cb8b0","datavalue":{"value":"6152629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915380$5C43F9B2-37FC-4E9A-B11E-D99048E2752B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb45a7fad3616cfdc6377269f8a1b970b78470f","datavalue":{"value":"finitely presented groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915380$72E8F668-48DF-4D3B-8336-71D67B8BE1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915380$927BD7E0-40E7-4770-93B7-FEFE4BD57791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd3a717a410888fcd36a0016c77128bdcb29a4cf","datavalue":{"value":"two-generator one-relator presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915380$58839C27-C8D2-4EEC-A22D-52EC8B895230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8d296e453f127c4cb60c0574b8c5601c174de99","datavalue":{"value":"word lengths","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915380$41C5EBA8-EA69-48E4-8718-620D862F5E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eda900f0f78874872dcf7308505a5407cfee082c","datavalue":{"value":"large groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915380$035F3BA0-74C1-4A64-BD2B-72B09C8D9DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b4dad2c27f1c3822f213b8da272dad72ce9d057","datavalue":{"value":"fundamental groups of closed hyperbolic 3-manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915380$46ECBEC3-CD2B-46B1-BCB1-FDFDC0008A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"824a1a7cb1220a8f156a74c4c745ff685f34e520","datavalue":{"value":"SnapPea","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915380$F072257D-D0C2-497C-A916-75D5A0FFD81A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"460bf7aad59d396b34852f213b2628a18c5e295d","datavalue":{"value":{"entity-type":"item","numeric-id":1733167,"id":"Q1733167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$89CC4823-D192-45C9-A943-F72BE8BAD23B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4fe03e5b78d9974ebdfc0233dbd377f30d5d075f","datavalue":{"value":{"entity-type":"item","numeric-id":13295,"id":"Q13295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$74FBDABC-9233-4EB9-BF07-CF11DC114992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab3da1a2f6d3bb5205dfdad78569fceeb7974976","datavalue":{"value":{"entity-type":"item","numeric-id":18942,"id":"Q18942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$78FEC293-446E-46CE-A089-01530BF5FC50","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":"Q4915380$05A80B69-88D5-4841-9C5A-DAD5EC45ACB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34b757f2a937902492678d3a610a1e5e3040eb15","datavalue":{"value":"W1997006123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915380$C85DE7A1-441A-4526-96A6-D09FC389DF6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1f8e9cb6827779c083b72ac35802c08e3d28ce5","datavalue":{"value":{"entity-type":"item","numeric-id":5616882,"id":"Q5616882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$895CECA4-B806-43FC-9EB2-E7FB3476490C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092fe189ca51aebaa12f31a68a609d11c477ef59","datavalue":{"value":{"entity-type":"item","numeric-id":2472582,"id":"Q2472582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$54C52A58-A5C8-4F64-91B1-05144BADEC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a95752be5e62e4610eca2c5f75d196417bba7df","datavalue":{"value":{"entity-type":"item","numeric-id":1190607,"id":"Q1190607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$4B45437A-E762-46BB-89CB-7CE10707420B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c68d420dd2345957c95905a01157d57c695b5d","datavalue":{"value":{"entity-type":"item","numeric-id":1231977,"id":"Q1231977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$9A9A3669-CE58-48E4-9967-1C40E43C2807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c125f12960fc28233978ebedcc633660b02e31c","datavalue":{"value":{"entity-type":"item","numeric-id":4190813,"id":"Q4190813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$3E730975-D2B8-44D0-8F45-436116C507F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0522638bda41542408f244cf8ed1bb6b43e0db3","datavalue":{"value":{"entity-type":"item","numeric-id":2370104,"id":"Q2370104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$51D466E7-3BE3-443F-8B6F-130E566E2C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5beb587085b9dddd46b8fa0fedbf26a604666571","datavalue":{"value":{"entity-type":"item","numeric-id":1001403,"id":"Q1001403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$8C44834C-9976-4D50-BC98-55E255ACC8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"438e35e27eca07950ac1af4910ce94ae4f172de3","datavalue":{"value":{"entity-type":"item","numeric-id":531907,"id":"Q531907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$176954E3-C887-45E3-A3B5-2B74767AEA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34dc626d5f163836401c8b299cdd447585e590fc","datavalue":{"value":{"entity-type":"item","numeric-id":2464443,"id":"Q2464443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$226E6D3E-0A3E-47EC-B9EF-AD47D0BBE704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4515fb784ec654631fc8285e0a337e6c93e2935b","datavalue":{"value":{"entity-type":"item","numeric-id":3215419,"id":"Q3215419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$A4709167-DEE9-4447-BBE5-69CBB24A4CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"502078db064576ddcd4d1dd238c062d906f95f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1426823,"id":"Q1426823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$384CAA0B-E079-4A4D-BE9D-433A8C615ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d39b5869d83034d553bc57e556881374a03bb7bc","datavalue":{"value":{"entity-type":"item","numeric-id":5803291,"id":"Q5803291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$B334CCBB-0493-4259-9BF2-7EE8A8DCFAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e10914d68d156a37c7f79350c300ecb8941a75","datavalue":{"value":{"entity-type":"item","numeric-id":4717335,"id":"Q4717335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$9EBBB36B-1735-4175-B197-2CBBFE668577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd6383e052a708731c9d1a96903310b91f9aab5e","datavalue":{"value":{"entity-type":"item","numeric-id":4375861,"id":"Q4375861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$F0313400-0D8E-402C-A71F-2A0F5EE23FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87dde13fbca232fcb39ef106789d147e4c8f842","datavalue":{"value":{"entity-type":"item","numeric-id":860121,"id":"Q860121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$FD294D39-AADD-4F33-81EB-2C7214BC1398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be410a7be1b7872cf376ab90838070edc06b0071","datavalue":{"value":{"entity-type":"item","numeric-id":2550806,"id":"Q2550806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$785E6CF5-8735-4FB8-9931-2857C0CFF7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f029e59f980ea198ce6e4240665de2c65e59fbf","datavalue":{"value":{"entity-type":"item","numeric-id":948884,"id":"Q948884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915380$EBC2B8F5-FB68-45D9-9F26-880A08DB4C31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"204375dc17cc4711ff5abb7dbabe48431884ca58","datavalue":{"value":{"entity-type":"item","numeric-id":556975,"id":"Q556975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f48c7ffa8453bb76670ba7a0086002d17cb32493","datavalue":{"value":{"amount":"+0.7861579060554504","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":"Q4915380$22DE0288-40EB-46A5-BCEB-0B7A93C95608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9f82d19291e24d8f2171ada11d93cc2ce209a2","datavalue":{"value":{"entity-type":"item","numeric-id":619020,"id":"Q619020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20180432784739bf8ead8e348cb48084a2db6b66","datavalue":{"value":{"amount":"+0.7731109261512756","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":"Q4915380$2E5272F5-85C5-477C-B0F2-48A484CE5933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae3fe5b52f3abf4d85452b504a47ecdf860404d1","datavalue":{"value":{"entity-type":"item","numeric-id":4717335,"id":"Q4717335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9dfe7583bc63e9359e8fd010ce1851812f33e93","datavalue":{"value":{"amount":"+0.7607823014259338","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":"Q4915380$43556AE9-3808-494D-9BD3-D9DE6AB5C2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef394dc36ebb367aacff8a0fab5743984dcf9ef4","datavalue":{"value":{"entity-type":"item","numeric-id":2255553,"id":"Q2255553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9dfe7583bc63e9359e8fd010ce1851812f33e93","datavalue":{"value":{"amount":"+0.7607823014259338","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":"Q4915380$EAF1715D-D6C5-41D7-AC5A-05B58BBCA6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ba143ef55f0067a950cc6e0a6dbad57615c8f4","datavalue":{"value":{"entity-type":"item","numeric-id":2474603,"id":"Q2474603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"475d6593ea038d38c6617f7201a4188505b50e60","datavalue":{"value":{"amount":"+0.7531757354736328","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":"Q4915380$688D2B8C-404B-4C85-9342-E11542719C3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4915380","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4915380"}}}}}