{"entities":{"Q1984792":{"pageid":1995534,"ns":120,"title":"Item:Q1984792","lastrevid":57644322,"modified":"2026-03-31T18:42:28Z","type":"item","id":"Q1984792","labels":{"en":{"language":"en","value":"Homogeneous length functions on groups: intertwined computer and human proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7187042"}},"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":"Q1984792$32571020-7607-4314-9867-3E1E85940B8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ab45441bf73e8e07afb7459ab9430d90bc943e7","datavalue":{"value":{"text":"Homogeneous length functions on groups: intertwined computer and human proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1984792$1AF0BE19-02B4-46CD-9A34-32AE57438E92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d230e8cad569fc78edbb9933836432d4f41d4ef","datavalue":{"value":"1468.20081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984792$C6F3E617-D855-4987-9F46-C7660D89F21F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d2ebbf46fd39a6ef4bb2e865527c346f7b8d0b1","datavalue":{"value":{"entity-type":"item","numeric-id":181821,"id":"Q181821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984792$4C8A0B20-E754-4016-BFD0-F81A4507E576","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":"Q1984792$A1774B37-D922-4061-AFAA-94B684CAFC58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5583640b16c3225e3c55a84532f843da9ad4b6cf","datavalue":{"value":{"time":"+2020-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1984792$04E1BE71-347D-410C-AD21-B2688370E488","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64c9a2e46ddb9aa9bf2505cf9551213c40dbfa13","datavalue":{"value":"https://arxiv.org/abs/1904.05214","type":"string"},"datatype":"url"},"type":"statement","id":"Q1984792$90B4AEDA-9113-474B-9D76-4DD201C0AE57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"639e35a4d8066ba3b320b7c5998ad4d73a0cf431","datavalue":{"value":"20F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984792$34440AF2-9DB0-448E-8CEB-A22298686286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5686a691cb5ce3980c2b4130b1f83237884a7dfc","datavalue":{"value":"20F12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984792$E080B1AD-6734-4F59-B15B-3737E9825940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984792$2525CC45-ED33-446E-8189-29716BF6D1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984792$4ABB515D-427A-46E2-8A26-30246902C884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984792$FBB28693-2F0D-412B-9C8F-DC03DB6856CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984792$ADFCB65F-60B9-4C96-8A38-7ECCBD8BBAD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36592b759bd63289e61cb79f7dcf6c6eede0579c","datavalue":{"value":"7187042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984792$8AB0B726-1ACB-42A1-A0DC-2FCE8E257350","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1984792$D24F87F6-D8DA-448E-8FFC-4E6223F42A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1984792$0253BC01-CB0C-48D0-A738-8A3AC9EBFDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fd1706cb0677e3bc47a5e82918a667aa9ed9f73","datavalue":{"value":"geometric group theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1984792$B89EE255-BE14-40E2-AC68-6CB175120454","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":"Q1984792$84319B77-D0A8-4AAD-ADAF-CE1B12C696DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c658847492fc06fba596058b8168b8e0b78aa14a","datavalue":{"value":"W2963899149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984792$044DB7D8-3433-4267-82FC-9E86C5A4F36C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f896de05afb7006b4dc2cd12d2c1753d0d3dc604","datavalue":{"value":"Q113901243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984792$AD593B93-F6DD-41A4-9274-57AC6E32842F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8098f067fb156489278000f0db67e1dc45af8a","datavalue":{"value":{"entity-type":"item","numeric-id":1621982,"id":"Q1621982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984792$77C6CCA2-7C67-4637-9985-D8EE86752116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b39989d36c7b14e77fe8df4fa21f3f46f6abd50","datavalue":{"value":{"entity-type":"item","numeric-id":843289,"id":"Q843289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984792$2175C621-7A8F-4F3D-AB47-DAF9AD27DEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01ec759f7b7f1804522c5783fa68d8ff97379333","datavalue":{"value":{"entity-type":"item","numeric-id":682261,"id":"Q682261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984792$EE432FE3-5785-4B54-8290-7DFA79013AB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b878b233f2835b98d7488c147c7b9ca4d1ddebb3","datavalue":{"value":"10.1007/S10817-019-09523-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984792$6FA5F2D3-B810-454F-907E-E470EA7A1BFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bfbdc296779e4aa3e9eb2bcb8d4501ec95bc6f1","datavalue":{"value":{"entity-type":"item","numeric-id":915498,"id":"Q915498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d10691adaa7c3d0e818564da5342162c93f446d5","datavalue":{"value":{"amount":"+0.753381073474884","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":"Q1984792$41246C5C-4CED-43CC-B38F-B01020BE3D5D","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":"acb855c373bc4351c30c4c3fdbc9cbd9fa2e27eb","datavalue":{"value":{"amount":"+0.7459959983825684","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":"Q1984792$88E72B8C-7BF5-4165-B614-B70A99764540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698e157db28629ef10c9bedc71d22dda03a2adfb","datavalue":{"value":{"entity-type":"item","numeric-id":3602565,"id":"Q3602565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068a7cddbced942fa060d3c384cd506a553347c3","datavalue":{"value":{"amount":"+0.7206291556358337","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":"Q1984792$E222E80A-4998-4B83-AB47-602645D4E056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ed288e97ebabfb464f8f0f062bdaf44e9a7727","datavalue":{"value":{"entity-type":"item","numeric-id":4345023,"id":"Q4345023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f9251a884403a346e491f25950ebf0accd3850e","datavalue":{"value":{"amount":"+0.6982652544975281","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":"Q1984792$E2518988-00B3-46F9-9A0C-07E8ABA579DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f71d2b2618ae8dc75ae0d20f344e5b74920d2bd","datavalue":{"value":{"entity-type":"item","numeric-id":5301849,"id":"Q5301849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3654e6e940680549c57e7d76855b2c4a2be1552","datavalue":{"value":{"amount":"+0.6972248554229736","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":"Q1984792$35516F18-A5B3-4623-853A-BED630B7E63A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1984792","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1984792"}}}}}