{"entities":{"Q1432887":{"pageid":1443627,"ns":120,"title":"Item:Q1432887","lastrevid":70390233,"modified":"2026-04-13T14:26:42Z","type":"item","id":"Q1432887","labels":{"en":{"language":"en","value":"Superposition with completely built-in abelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2077001"}},"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":"Q1432887$853FC393-75E4-4A0B-AA53-B47FC9FBBC06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c8d32c68a66c0294035a9b6f4c6c754d2cb55d4","datavalue":{"value":{"text":"Superposition with completely built-in abelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1432887$F78C3039-9972-4B37-9D4B-BFF625E1EF3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83e6193d4eab7dc0709daeb243119de0cb3bf815","datavalue":{"value":"1043.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1432887$FBC69D26-579D-4E7C-91FA-32D2C5B37D2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3bcef34be167081af730a03db26b4664e27e4d5","datavalue":{"value":"10.1016/S0747-7171(03)00070-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1432887$91A76FA5-5E22-4616-BA39-CA3D9D5075C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"957322e0e65309e69a1881e776e7b58b540ff033","datavalue":{"value":{"entity-type":"item","numeric-id":734040,"id":"Q734040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$9AAFCCE6-2688-4997-91EE-D3DA2FD0BA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e6a58ff964b9ca97414f0c42659717fa8e6fc43","datavalue":{"value":{"entity-type":"item","numeric-id":475169,"id":"Q475169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$5897F53C-543D-4EE4-B1B2-7076DA1E5869","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$965C3725-7047-43B4-B922-2DB9DAEC62A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6d4ea404892274dc2dfdd603ba18ef7457f2860","datavalue":{"value":{"time":"+2004-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1432887$C7534B46-57C4-4A5D-8D64-741A1B7C4998","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1432887$4FEA917F-065A-47F8-8F6D-B173484327EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1432887$E2E13E91-3E90-46E8-8C57-631242BC1FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1432887$4B34DCC3-16D7-4640-9C3E-45960CE280C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e17dce4f0517fe35c9650d1fe2256e905cf3c436","datavalue":{"value":"2077001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1432887$51483DE6-3635-4A1E-B27C-772719436B84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1432887$AD8E73E3-3A3F-423B-B252-53782B19D7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb89e737aadd46d4db465caa0cfaca3435d6b439","datavalue":{"value":"superposition with first-order clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1432887$B4D2E6D1-072E-4471-BF7E-FFE090A53975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1432887$0043C515-75E0-41D7-A636-9CBCB1CF5AE2","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":"Q1432887$1D2F00EC-FF1A-48DB-9B3C-0A3245BF2435","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba406e7f3aac0ee55dd147add9d806535b268eb","datavalue":{"value":{"entity-type":"item","numeric-id":4285787,"id":"Q4285787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$D06E3810-3F66-4CA3-B21A-11EABA59D4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$E0FDE55E-B83F-4D2E-8E50-AF44C6475CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$06752DDD-99E5-4A88-B063-9F06207DCB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad7c23e8d7895495a33ef0a244c1d5f7a7d7e16","datavalue":{"value":{"entity-type":"item","numeric-id":1899908,"id":"Q1899908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$BF26B346-34D7-4FC7-B9CC-8F8918C61D96","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":"Q1432887$D301657D-16EB-4A67-BA67-AF00317A26B5","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":"Q1432887$944A66FB-F8D1-4C58-8C73-7EC9ADD0EE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$8A79F946-6B99-4A99-B7F7-5EBCD537429F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa20f798a3508bb9cf8013d406acf12a82136ef","datavalue":{"value":{"entity-type":"item","numeric-id":4647536,"id":"Q4647536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$DA62C977-9D5D-49A2-9446-EFC8A76CF876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d0777e830433e0900baf8da5e83b789312b8e0","datavalue":{"value":{"entity-type":"item","numeric-id":2563692,"id":"Q2563692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$FADD16B5-3B1E-447A-B167-EEE936ABA93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e64e058c77c68876e6e64015cfc0c88d8aac522","datavalue":{"value":{"entity-type":"item","numeric-id":1281494,"id":"Q1281494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$9396C10D-5B69-4FDB-9A43-7B9259EAF3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a8fb7c1504b4023b489475633410efba01eda3","datavalue":{"value":{"entity-type":"item","numeric-id":1897557,"id":"Q1897557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$8D377CA9-76FB-4117-BBE2-0A714FE56C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a4f42b015f55e2792e5242c67e7d5c081b137d","datavalue":{"value":{"entity-type":"item","numeric-id":1355755,"id":"Q1355755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$B24413C3-9E81-4335-B4D4-E437B44662E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$75BFBC2E-B4B2-49D2-A3D2-F6611DE83A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$1D4E097B-7E10-4E5D-B201-6B0FA0336857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$20401BB3-6841-4BE2-88F9-C075990074FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$E3DA8ADE-BB11-489D-8981-FFC01AFB8421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c90b042c6d8ff0db8caf2a751fe794927c1803e","datavalue":{"value":{"entity-type":"item","numeric-id":1275020,"id":"Q1275020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$A9F91B97-D417-412B-8EB3-BEA42C392A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0e2e21940719d5d9e0a6f9eda9f87221d6c71a","datavalue":{"value":{"entity-type":"item","numeric-id":5210795,"id":"Q5210795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$6031076A-55D1-4F1C-8376-05B1606C75BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50b2a66f661d583355130e48334b74efaaf1f7d","datavalue":{"value":{"entity-type":"item","numeric-id":4249895,"id":"Q4249895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$4130E9F9-DA5A-4D1A-9DC0-A288C0DF48D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d915258a012005e8ce8eb8cd78501ae7adcf46b","datavalue":{"value":{"entity-type":"item","numeric-id":4938422,"id":"Q4938422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$8CE9FC05-D488-4681-9561-AA340CC7295C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb2e0a42632ebbb4b468c6320b9240b5b43568e","datavalue":{"value":{"entity-type":"item","numeric-id":5055783,"id":"Q5055783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1432887$9FF819EC-5EB8-4F71-A9C9-93CFE01D94EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f4a85645a936e0d7489bf62c0cfafeb446846e","datavalue":{"value":{"entity-type":"item","numeric-id":2781689,"id":"Q2781689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da12ff4f3fed9df9a3dc657ca539e20942e31465","datavalue":{"value":{"amount":"+0.8583429","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1432887$CE21787B-3D19-481F-94B0-BA446AE060C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"059a1e4dbd3d4c66f5d792b73c393b9af3c9582a","datavalue":{"value":{"entity-type":"item","numeric-id":3138820,"id":"Q3138820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41df4a11a76315e4593462bd80775caa3850433c","datavalue":{"value":{"amount":"+0.8529512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1432887$B3BD505F-9F3A-4277-B47E-D4F9078D9917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c712a379c4ee789afd8e4d42283c5ff453f26fb3","datavalue":{"value":{"entity-type":"item","numeric-id":4249895,"id":"Q4249895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218c26b7e5112f8dcafd37ac967fba0adeada8ff","datavalue":{"value":{"amount":"+0.8441186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1432887$B7246E60-23FB-4163-8B93-AABA87018134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b62d20fb9c08f1157125aaa039b36687155236f0","datavalue":{"value":{"entity-type":"item","numeric-id":2441338,"id":"Q2441338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e1ee19708ea80ccbb2f81a9584034a89faf136","datavalue":{"value":{"amount":"+0.8367562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1432887$F0732B40-F54C-4F4F-943C-15CAC4FC76F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fd49732746b36c381c3264255d21d362b83744","datavalue":{"value":{"entity-type":"item","numeric-id":2114883,"id":"Q2114883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de149171b62addc17766d417ae0b38eac7e7a078","datavalue":{"value":{"amount":"+0.833314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1432887$0A52C649-D9D4-41D9-8460-68D35220567A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2be7fee67f302e962fd064f532043a3bc3783de","datavalue":{"value":{"entity-type":"item","numeric-id":4873425,"id":"Q4873425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86cf70d4451fa0186560b27ca6d82be20e0e0f82","datavalue":{"value":{"amount":"+0.8306894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1432887$0659B24A-6441-404F-93F8-680F6777103B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6255a941f766dfdda799407fc9e45ce6d8109a9b","datavalue":{"value":{"entity-type":"item","numeric-id":2922916,"id":"Q2922916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04b7aac244d080d8b1dd9ebd7a8989f94d967f9","datavalue":{"value":{"amount":"+0.8284072","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1432887$2A86E60D-AD1A-4B5F-B91C-17CB94AE7541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773d6be3cd13b675b60483b9e4fa08b10f2175bd","datavalue":{"value":{"entity-type":"item","numeric-id":4836527,"id":"Q4836527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c15a7bf9b614d18d49cce901d2a35e5f23112394","datavalue":{"value":{"amount":"+0.8263718","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1432887$5BE5B035-3B38-4638-8EEA-75C96912044A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d85edb230930e3b4dbf811a9e8a5f6e328efec0","datavalue":{"value":{"entity-type":"item","numeric-id":1066997,"id":"Q1066997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc4cd5678a535c03b17145a2e66d645d24cee9f","datavalue":{"value":{"amount":"+0.8228022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1432887$FAE51224-BCAE-48CA-A3D4-0472B92A52D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961529ca280136a83f7d5305bccf626d43174478","datavalue":{"value":{"entity-type":"item","numeric-id":2256307,"id":"Q2256307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7203725bf63f7aca9d0627c5d129c6d7d20b4340","datavalue":{"value":{"amount":"+0.8217374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1432887$FCDA5F58-4378-4957-9E88-EAC96FC65894","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Superposition with completely built-in abelian groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Superposition_with_completely_built-in_abelian_groups"}}}}}