{"entities":{"Q4647534":{"pageid":6677115,"ns":120,"title":"Item:Q4647534","lastrevid":82241507,"modified":"2026-05-06T20:26:13Z","type":"item","id":"Q4647534","labels":{"en":{"language":"en","value":"Theorem proving with group presentations: examples and questions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001924"}},"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":"Q4647534$7D67F8E3-B911-427F-9C71-633FD2B6C9F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bcf189949650154b8387824ab23d70b8514e5f4","datavalue":{"value":{"text":"Theorem proving with group presentations: Examples and questions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647534$09E7F37F-B55D-488E-B61D-69F4CCB32A2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cb598a8441db643740d4b2d5d62df6e56fe545b","datavalue":{"value":"1412.68243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647534$E06B3E05-F665-4FBD-ABE1-60D54B3E614C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f541d7282267ec8e22540af60e86f87fddacfcb9","datavalue":{"value":"10.1007/3-540-61511-3_100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647534$5F90C26C-BDE2-4256-8455-032D24BBA7F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$B370C115-0270-479C-ACA8-099DCAFA4FD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647534$3C68E06F-4B01-48DE-8F82-9C5C86E338C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647534$35AE6973-0417-48D7-88D9-5B4101C76695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647534$67858555-CE4C-4EC4-B613-C796C3108521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647534$0377108E-E50F-4A43-9E2E-2FF18B1369ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647534$CE35DD4C-A658-418C-A117-22FD623B4B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647534$2280D225-0E44-44C0-8774-C93E1A966DA7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c61767d7b1c4123534bacf997426957b7d765dd","datavalue":{"value":"7001924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647534$217D7D6B-E945-4251-9531-7F173FB77A53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1df9c2688d51ede09fdd13624c1e1d87a125c092","datavalue":{"value":"normal subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647534$5B734A59-34D8-4FA7-B207-0EC8DAC41406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647534$DDD95957-AA7B-4161-9389-1E6E809720D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cd043b85bb97bd68e19d50d3a7dfc68f919dfa3","datavalue":{"value":"complete system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647534$8FF04F71-5540-42F9-82D4-2C8FDD13BED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"344b1fa02e5debd04d744c97b2e7677ec1e4316f","datavalue":{"value":"quotient group","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647534$F88C7426-E31E-4A83-B7DD-F1F89AEE5D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647534$34DCA3DC-9127-4917-9961-82D7313F373C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b182cd4f9e9cb54195b7976a497640f4d81f2eb","datavalue":{"value":{"entity-type":"item","numeric-id":1169557,"id":"Q1169557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$E06FD413-2048-4894-8E3B-ADD4C0EFF24C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$74A96A12-B3B2-4FFD-AACC-360F19A242F8","rank":"normal"},{"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":"Q4647534$CBD554ED-96CB-4865-8D53-B693E2BB6B79","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":"Q4647534$A36D0E51-1F73-4B05-B2EA-44E6DA0E2E03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff83307c40edb5d6e6e468a7fc376a601d56f09a","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_100","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647534$A080CE10-6B29-421E-8485-D87232173A9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"975cdb86261f6a41edb1738022b053e7940d8912","datavalue":{"value":"W1510239582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647534$B5D0D96B-13C2-47FE-B5D7-6577EB2A70D5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2353441016b3c5a063b394fa0dacf4db56355ad3","datavalue":{"value":"Q55393310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647534$DC0C936B-C059-41B2-B49F-1A2E4736A8CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$BF0A276E-97CD-4D7A-9EEB-723CBFA6B788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c887a916675b75db16f0763bf81bf55c37dee9","datavalue":{"value":{"entity-type":"item","numeric-id":4264735,"id":"Q4264735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$719163EE-761A-4404-93D5-B2937EB4EC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$E17BCCF8-8D97-49FA-B837-2967EFC396DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$0383A3A5-CD4F-420C-9A6D-3BA23A6D3755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0daf2106887ea7a5767bfb6feaedacf73ecec9a","datavalue":{"value":{"entity-type":"item","numeric-id":1192222,"id":"Q1192222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$89E3DCFA-D842-49AB-974B-8AF2261B765B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33e5f9a114f9f2ed0c8a4550007deb312ddd2721","datavalue":{"value":{"entity-type":"item","numeric-id":1318849,"id":"Q1318849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$5704A087-D450-4FFA-9F20-683016F8A085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a833f74e09bf518226979e62ea164d63959e39bd","datavalue":{"value":{"entity-type":"item","numeric-id":4289419,"id":"Q4289419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$3224931C-D5D4-47E6-891E-31A19200AA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd54bcac7040f5d5154ccda68e185303a7e23dd","datavalue":{"value":{"entity-type":"item","numeric-id":1893129,"id":"Q1893129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$F72CD4B6-CEE5-4F4D-92B5-7288ABDCA207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d50b39a4c04ae6caa411e77a622af8bb22386bb","datavalue":{"value":{"entity-type":"item","numeric-id":1360056,"id":"Q1360056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$1BB0055E-F86C-4205-AE59-835D4E406248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$D5BCE0B3-0E04-4B11-8A83-46E1CFBEEF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c3a2ac2fd98947974c14bdc504e4185a3beff1","datavalue":{"value":{"entity-type":"item","numeric-id":3992832,"id":"Q3992832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$F66043EB-7F69-411B-B089-882436F7EA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384629e6114cabc1828dcf1c984d6fcf19b75be2","datavalue":{"value":{"entity-type":"item","numeric-id":1815855,"id":"Q1815855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$5F2824DE-F006-4599-B3DE-7E6D80518CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c09fd5317280c65901c5607d0ebc6803a2e67ee3","datavalue":{"value":{"entity-type":"item","numeric-id":910850,"id":"Q910850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$3E8F4BD2-9707-4060-A6C2-324C645B40C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8aba332b589fe3940de96a597ce4a6fc2f0733","datavalue":{"value":{"entity-type":"item","numeric-id":1332650,"id":"Q1332650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$851ACBEA-3599-47A4-B88A-5E88634E92CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b313ede318f5e790c28a093cd046dc366dc3b6c6","datavalue":{"value":{"entity-type":"item","numeric-id":5055811,"id":"Q5055811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$9C6879EB-1BBB-4886-8892-16972A102311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f413c4e64988f12b7fa03c860f8b8130f6044402","datavalue":{"value":{"entity-type":"item","numeric-id":4846998,"id":"Q4846998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$C6427C42-4451-415B-BFEE-C702A28C1BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04b68dc53eda2ddfa5b2d21a135f34c31a49d1cc","datavalue":{"value":{"entity-type":"item","numeric-id":1186705,"id":"Q1186705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$D2E3BE3E-48CC-40A8-94F6-D0837AE33F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9a0b7073b91731822d046010e715ea7ddd67ca","datavalue":{"value":{"entity-type":"item","numeric-id":4358058,"id":"Q4358058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$78ABFAE6-7ACC-424E-B82A-7EFB081FAD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6bbc1e462b44c4c0107f95f2f2af1391b24cf5","datavalue":{"value":{"entity-type":"item","numeric-id":1117983,"id":"Q1117983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$3BE38266-8D7C-4E99-A61B-4508459051EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c84260f5ee3ad2445557fc39167de064be1f0bb","datavalue":{"value":{"entity-type":"item","numeric-id":3808248,"id":"Q3808248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$60AF6FFD-97F5-43DB-BABA-405BEE8940A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d83c00ed5556d8d50831c69c3874d56b131cb562","datavalue":{"value":{"entity-type":"item","numeric-id":1346630,"id":"Q1346630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$E48D92AF-5252-4F4E-9FA6-0A1A883634DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac113a0b574f6c299f5ff6d1455571a6350b03d7","datavalue":{"value":{"entity-type":"item","numeric-id":4285784,"id":"Q4285784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$B8986B65-9121-46D2-85D8-7CAFC760241A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"176b878b32dd9698208225bb09fc4b5ae95cc597","datavalue":{"value":{"entity-type":"item","numeric-id":1105040,"id":"Q1105040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$0BA97898-AB1F-4B68-B2FC-FD66B11B4E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d829c8fbc70990cde1a42595818dc98639789f5","datavalue":{"value":{"entity-type":"item","numeric-id":915498,"id":"Q915498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$110D7C9E-ABCD-4DE2-BF31-83822F0747B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56b7b71c8ef4b60e463528bb0824dc13330c040","datavalue":{"value":{"entity-type":"item","numeric-id":1583881,"id":"Q1583881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647534$85979FD5-234D-44E3-84FD-7463CBE057FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e72ce205e44c74f26275c67887be458b9d545b","datavalue":{"value":{"entity-type":"item","numeric-id":1815855,"id":"Q1815855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f54f5e54ff23ad7c2c4852576aa50779ac136f8d","datavalue":{"value":{"amount":"+0.7611801624298096","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":"Q4647534$6EAC8587-2EF3-4141-92C3-FC90A916A150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d058b43d026bd925a455785695eaf5bbdf12361b","datavalue":{"value":{"entity-type":"item","numeric-id":4012139,"id":"Q4012139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2612f0d754226000b4256a67f3dcc991b40b5e5c","datavalue":{"value":{"amount":"+0.7547577023506165","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":"Q4647534$5A081876-71CB-4EF6-A435-9E6881D5AC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae84caffd8e4d29817908fb3239644e2a4114743","datavalue":{"value":{"entity-type":"item","numeric-id":4217982,"id":"Q4217982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699becc329a7001200b0c84712d2908a01904a59","datavalue":{"value":{"amount":"+0.7538000345230103","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":"Q4647534$B317F074-10CD-4A54-B3EF-6140FF83AA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6f97075c9e566eb88e5373b97941bd0df42ec26","datavalue":{"value":{"entity-type":"item","numeric-id":1087012,"id":"Q1087012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2d13a4f6ceeefa4ad35a5f48a205cd9c46e9f36","datavalue":{"value":{"amount":"+0.7440717816352844","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":"Q4647534$A67B1E59-D4C0-44E1-876E-BF66D59DF7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c051d649f1e57734cde958866fb69252e698c2","datavalue":{"value":{"entity-type":"item","numeric-id":4384697,"id":"Q4384697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a63590eee23dea304115bc83fdd89e74668171f9","datavalue":{"value":{"amount":"+0.7426943778991699","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":"Q4647534$644E7161-A1FD-4036-BE86-D845B1318615","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem proving with group presentations: examples and questions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem_proving_with_group_presentations:_examples_and_questions"}}}}}