{"entities":{"Q1415014":{"pageid":1425754,"ns":120,"title":"Item:Q1415014","lastrevid":71163810,"modified":"2026-04-13T19:54:00Z","type":"item","id":"Q1415014","labels":{"en":{"language":"en","value":"Sharp types revisited."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2012087"}},"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":"Q1415014$C4E193D5-8B60-42C7-ABCB-D3498BBD28EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adcac91f449dcd4706648b331435676ada254e06","datavalue":{"value":{"text":"Sharp types revisited.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1415014$88E123BF-644D-48FA-9498-4E8CA2ECC0F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fc85968baeaed360702e10bce7a05f05fe31969","datavalue":{"value":"1050.20038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1415014$79CD4EF6-9B67-4653-B5BB-D78C58DC501B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1990d4e4c0344914c315a659f57116094fef99b","datavalue":{"value":{"entity-type":"item","numeric-id":405811,"id":"Q405811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415014$E4E61840-249E-450B-973A-2D1A31C54C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3f65313ce9611c0072d0bdb292144ecaee35335","datavalue":{"value":{"entity-type":"item","numeric-id":786924,"id":"Q786924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415014$CBB905DB-3C54-486F-A03A-62E37558F4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"944ca8c696f93e7f73a42d791cb1771dc96fa893","datavalue":{"value":{"entity-type":"item","numeric-id":1232462,"id":"Q1232462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415014$8CDC4B35-BB14-4F8B-B384-3BF0D45EB2C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3c56016573ce7bfe3075a77ec18be101169a3439","datavalue":{"value":{"entity-type":"item","numeric-id":168778,"id":"Q168778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415014$5E78292B-166C-428C-BC5B-4925DE85AF8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa428ddf5085eebb022ccc0867c101d4374ab52b","datavalue":{"value":{"time":"+2003-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1415014$C5386F47-5E6E-43A4-AD40-0C32D01ED6BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ae4b27b1e4ddd78b15219837f51582e8d527a83","datavalue":{"value":"http://math.la.asu.edu/~rmmc/rmj/Vol32-4/CONT32-4/CONT32-4.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1415014$3090D8EE-DE18-4E43-8F26-16DE0033BE9D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3e51e18916fe6c0bcbb064590ac191d10f354f61","datavalue":{"value":"The main result of the paper states that for any almost completely decomposable (= acd) (Abelian) group \\(X\\) (i.e. a torsion-free extension of a completely decomposable group of finite rank by a finite group) its subgroup \\(X^\\#(\\sigma)\\) (i.e. the purification of the subgroup of elements of type strictly greater than \\(\\sigma\\)) is a direct summand for any sharp type \\(\\sigma\\) and the complementary summand is acd. This implies that an acd group with some special critical typeset is a direct sum of groups with ranks 1 and 2.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1415014$6833EE33-73BB-4731-AA38-4A92E2FBD87B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86add130ce1bc29a7dcfc03615753d4d478943bf","datavalue":{"value":"20K15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1415014$2549FA3F-7F5F-4691-AF3D-2E8F108EB01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c208eccca202ad5645d7c393a565ef4a4acee36","datavalue":{"value":"20K35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1415014$11AD0B27-34C2-4C0D-9150-4F3C79188361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2201aba74a3d4a617edab8e76a38123f9009fdfb","datavalue":{"value":"20K25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1415014$09F9F5C9-C3EE-43D1-A065-07FEB49EEFD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bd25d11dab14e3d560198ce3fbcdde22427bd71","datavalue":{"value":"2012087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1415014$6608E248-9B7C-4822-95D9-E8F56CE035B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83109c85e78e1fb8156a80de79d7f6be69f34167","datavalue":{"value":"almost decomposable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1415014$CA56064B-2A00-4DF9-AFF5-195B8115FA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c81e817ab5dc06f15a216c60dad3511ea98fec2f","datavalue":{"value":"purifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1415014$160B65E4-DA22-4E3B-B524-4AABB69F6826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe92d872f0c01a2166763bd69e59fc1d0d5d5c1e","datavalue":{"value":"critical typesets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1415014$C8F7FC08-4D33-4ACD-823F-CCB134224173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a51ab78d0e233889a4782ea6e858437606809a7a","datavalue":{"value":"direct sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q1415014$FACB9E5C-6E3C-4243-B255-B490628F6425","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6db43afeb5ae374f9ad0b45c93ac699e8be28929","datavalue":{"value":{"entity-type":"item","numeric-id":587810,"id":"Q587810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415014$53CEF47A-663A-4967-A290-3E98CCAF6A6E","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":"Q1415014$46847D29-CB40-402C-ACD5-DBE6A00E904D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b6aff42d2afd989ce6199e585b3d89566818799","datavalue":{"value":"W1995133581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1415014$B1BDB8FF-888B-401D-A03D-A5F5CA2C6C57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d1d18f71035b0e230da4839f987e209105e24d","datavalue":{"value":{"entity-type":"item","numeric-id":1574672,"id":"Q1574672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415014$44E0644D-9EEE-44AF-8FF7-3C0EDF87C0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608fbefff8fb0c28b519d5c78eba7e5d2257ae03","datavalue":{"value":{"entity-type":"item","numeric-id":4942345,"id":"Q4942345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415014$EFEFC451-7C7B-4402-91F0-809AE81B886D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5149203cfd68154cc93ec726be448b7059ed21fe","datavalue":{"value":{"entity-type":"item","numeric-id":4361087,"id":"Q4361087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415014$263065D3-4084-4ED0-9603-C7F7CB99D012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"196c05eb011f0bdf031ae798b3ad19a3fadbd259","datavalue":{"value":{"entity-type":"item","numeric-id":4043253,"id":"Q4043253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415014$A415F9C6-042E-49F4-ADEF-5A81731AA0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58e312c5d702d764fee0d7c1ecacb4b8f27d4d17","datavalue":{"value":{"entity-type":"item","numeric-id":4956004,"id":"Q4956004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415014$98ED836A-870C-4FB1-A57D-55487D8E3B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3020e9d62e6f2a859cc5574739cde08a55f6500c","datavalue":{"value":{"entity-type":"item","numeric-id":2738758,"id":"Q2738758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415014$E1277378-24D8-4404-9325-8C759F0596D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363b9f85e70e83e689c788d02971bcac1167944a","datavalue":{"value":{"entity-type":"item","numeric-id":1903027,"id":"Q1903027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415014$67354FDA-8617-41AD-8EAA-EAC6DD3D32A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a74088d015ed1e301ade3708db13486f788bdc","datavalue":{"value":{"entity-type":"item","numeric-id":4390499,"id":"Q4390499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1415014$F3DA7219-B37C-4053-9D16-DFC18B21D4E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e5143d6785d03cebbc33f0928935d6d20b0e5b3","datavalue":{"value":"10.1216/RMJM/1181070037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1415014$3489ABF5-3EDD-4B87-9FCD-9F7088167BA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64c1bb44f5d8c271dccc40c6be6e1c74cbf0a351","datavalue":{"value":{"entity-type":"item","numeric-id":2504939,"id":"Q2504939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfeb9f501f99bfa01cbe3c1cde413d4f2a9040f0","datavalue":{"value":{"amount":"+0.8218548893928528","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":"Q1415014$853C3085-5DD9-42FB-AF7F-452AADBDB7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c38feabc229f26cb8bebfe683316f66006d25f6","datavalue":{"value":{"entity-type":"item","numeric-id":1972049,"id":"Q1972049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa32bd02bd668a6903408fddd7de5bb3fadd0355","datavalue":{"value":{"amount":"+0.7917407155036926","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":"Q1415014$17B945BC-3E45-4C10-B158-81C594D21658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afcc4a7fdb7549c8033d4350f0d44a96bdc28081","datavalue":{"value":{"entity-type":"item","numeric-id":4956004,"id":"Q4956004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8b0979f21673a5f038e118ef278f868b6cd29b","datavalue":{"value":{"amount":"+0.791205108165741","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":"Q1415014$280793B3-B6D4-4724-8E21-51B4A64FEE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca76274880ad05041325c870feb2ab61ec0f273","datavalue":{"value":{"entity-type":"item","numeric-id":4865881,"id":"Q4865881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990de1fd463269b95e6463e31d12f9b5de70d68a","datavalue":{"value":{"amount":"+0.7846537232398987","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":"Q1415014$B6626E2B-DF68-4C9F-87B1-8C2B89AEFFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef291a5636aa3d78668f735865cc518eacd8dc8","datavalue":{"value":{"entity-type":"item","numeric-id":5688716,"id":"Q5688716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb780e67da0011fa9d9b007a70ff0f4fb5d475b2","datavalue":{"value":{"amount":"+0.7842763066291809","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":"Q1415014$B31B3BE5-DE89-4D63-A041-D27B8D4C4025","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sharp types revisited.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sharp_types_revisited."}}}}}