{"entities":{"Q3440005":{"pageid":3450708,"ns":120,"title":"Item:Q3440005","lastrevid":50099875,"modified":"2026-01-12T22:47:22Z","type":"item","id":"Q3440005","labels":{"en":{"language":"en","value":"On proofs in finitely presented groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5155384"}},"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":"Q3440005$B6660EF1-5AC6-4DA4-9CA3-BFE7C8AD6535","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63717a8524f2aba90c0f65f167502cfba0905c50","datavalue":{"value":"1120.20032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3440005$737535DD-8EE6-4B48-914D-41284F90EFE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf94dcc4990ebd8fdadb121f50602061215ca424","datavalue":{"value":{"entity-type":"item","numeric-id":606654,"id":"Q606654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3440005$0E15A6E4-436E-4102-8291-AB9F160B9430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efbde7386d3e25a7fc82d35806718351f97faa15","datavalue":{"value":{"entity-type":"item","numeric-id":414618,"id":"Q414618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3440005$2639B064-2585-4AC8-88C9-40AE55852F29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c59fbad6c8ea71cce099c10b2a0da0dcbcbe2eda","datavalue":{"value":{"time":"+2007-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3440005$9550F3F5-0D72-416D-881C-DCBF5F9FE8C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3440005$BBF120D4-91AF-4C77-AA77-06565A9D5787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3440005$6BC6FA0D-9F04-4C95-AF20-F7E5D4671AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85721e41fd9cd62748521a1a3e2d4a9ff2acb1e3","datavalue":{"value":"20F06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3440005$5090BB96-10BB-4450-9858-4B33A895DFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3440005$43EBCF47-2E79-4D84-ACC2-AAE4282CC84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3440005$C36D4F37-A651-48E9-9511-DBE90C38E104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3440005$9CE36418-0D07-4B33-87F9-84B6B961DC23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31863d0f795def59f4a0a5cba78c4c92988507a3","datavalue":{"value":"5155384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3440005$C51216F7-5595-4545-80FD-357CA63826B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c2b42618fc6a7afe0018e2b117b4ee04cc9ce6","datavalue":{"value":"finite presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3440005$878AFB4E-31E8-438F-A33A-10A4638820ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb45a7fad3616cfdc6377269f8a1b970b78470f","datavalue":{"value":"finitely presented groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q3440005$2074B075-ADEB-4892-97DC-B608D9675CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3440005$FC943B5C-D2E2-451F-9A30-DCC47C320FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74cd230aacdf2e1038b9c0f2c8e91938225f3713","datavalue":{"value":"Todd-Coxeter coset enumeration procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3440005$2457D895-44CB-4FA1-954D-82E82C9020CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc1cde10002fc45c1ed67d43f9b934ce54049b2","datavalue":{"value":"coset enumerations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3440005$B5B94502-E199-4BBE-9150-786AD79BEEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3440005$F683C545-0AFA-464E-80B8-C7E0E0C0DB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56e2bb29096bece740dc8e645256701aee83d754","datavalue":{"value":"proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3440005$BBE62695-5224-4DB2-8E27-5E8B29584D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30a63c02ec584293a72cb4f288aa055e43eb68e3","datavalue":{"value":"24th Hilbert problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3440005$A7D9C984-9E5A-4528-9387-D3CFFE89BADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ac1fabf106ac1d29f414f41df0c0edd882a5d67","datavalue":{"value":"Fibonacci groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q3440005$445426E7-8335-4D0C-9C0F-168C6C270751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee9121c0801c3856a783c75d0b3df478c6230b4c","datavalue":{"value":"van Kampen diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3440005$48F92393-0583-474F-8BCB-A81286D2F6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a94ae5f42c0acf3491f31819103437a047339a","datavalue":{"value":"trivial group","type":"string"},"datatype":"string"},"type":"statement","id":"Q3440005$6D42EABA-C9CC-4DAD-A7FA-99BE5953CB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7451ed6c506c8bf371614084bfb5b7b9b71420","datavalue":{"value":"Andrews-Curtis conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q3440005$E3CF63EA-6C56-4F13-B76A-AC0CCACE4932","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":"Q3440005$9BEAFC57-A63F-4ED2-8154-A436DB6AA1F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d04b280da4d1fcb142c9044ca32cea03e0ff8bf","datavalue":{"value":{"entity-type":"item","numeric-id":4463894,"id":"Q4463894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f3acf30fc13310c67906818b5de8ef855c7815","datavalue":{"value":{"amount":"+0.7960888743400574","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":"Q3440005$7DE71D5A-86E1-439B-91BA-B06A4E15CD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e880e181a944f8cbb9f2cd0dcde8f9d3507a546","datavalue":{"value":{"entity-type":"item","numeric-id":4895378,"id":"Q4895378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b232faa69ed2305c6514e6eb86ff9f141177ebf","datavalue":{"value":{"amount":"+0.7573423385620117","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":"Q3440005$7DA077D0-54F6-415A-B697-973A424754C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaff9e40ac8a868b099ca21d6613cb34f814c0fa","datavalue":{"value":{"entity-type":"item","numeric-id":5292275,"id":"Q5292275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baec1de9cd6f7a8b109f30aafe3c7f91e165d751","datavalue":{"value":{"amount":"+0.7469707727432251","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":"Q3440005$8715DB7B-9120-47A0-8709-7A6C67F7FC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b190b94339dc4746f22a523e281065d7d5f7c6","datavalue":{"value":{"entity-type":"item","numeric-id":4285784,"id":"Q4285784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f37aa0fc99938e834f7acc2bfce6af050aee23","datavalue":{"value":{"amount":"+0.7463764548301697","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":"Q3440005$FD44A6E7-2684-4930-AE52-016FF513BC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66e9477ca4e74a581d66cd40147d3aa2f3feba43","datavalue":{"value":{"entity-type":"item","numeric-id":4705902,"id":"Q4705902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"659b5aa44ecd9d21eafcee18ed833c9ac134b59c","datavalue":{"value":{"amount":"+0.7452473640441895","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":"Q3440005$0D506014-4DAB-46AC-8743-5A7934FC9BF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3440005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3440005"}}}}}