{"entities":{"Q451080":{"pageid":452847,"ns":120,"title":"Item:Q451080","lastrevid":61931157,"modified":"2026-04-11T02:38:28Z","type":"item","id":"Q451080","labels":{"en":{"language":"en","value":"An easy test for congruence modularity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6087534"}},"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":"Q451080$45650BAD-2D2A-4D7F-842C-29A466F74277","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"957b269a77866eb245c7540663b92ffdc7ec9db2","datavalue":{"value":{"text":"An easy test for congruence modularity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q451080$54699295-184E-47D8-A2EC-FB6E19E3AD92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"751deb6db1899c214e578a73fe8859f039d4453e","datavalue":{"value":"1259.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451080$2A40C6BB-9629-40F8-B8C3-8B208F70B8F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d8e077663a80bac7e690d05528b14c55e7816f4","datavalue":{"value":{"entity-type":"item","numeric-id":451079,"id":"Q451079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$1751EAE4-548D-4F45-ACCD-6B6D580118EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83edf687e87db231eb1aae462d2d9887611a063","datavalue":{"value":{"entity-type":"item","numeric-id":331016,"id":"Q331016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$729EABB6-C073-4F05-B361-B86F6F3D9D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2786b19ed9f453b4f46f095ae8c756d1c3d84268","datavalue":{"value":{"entity-type":"item","numeric-id":178366,"id":"Q178366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$F552CDA3-379C-43F5-9344-CD2BCE5040ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$D1411B58-1C20-4E79-A77E-B40E681CB6EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fc6cf2e793ffe0cfa0f8a10182fc08299b3419d","datavalue":{"value":{"time":"+2012-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q451080$BB705EC9-BE97-4749-9A30-66252B5F153E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"45cbe2f083d255c4a2eaa275dd50f42641855bdb","datavalue":{"value":"Let \\(\\Sigma\\) be a set of identities. \\(\\Sigma\\) is inconsistent if \\(\\Sigma \\models x \\approx y\\), otherwise \\(\\Sigma\\) is consistent. \\(\\Sigma\\) is idempotent if for every function symbol \\(F\\) appearing in \\(\\Sigma\\), it is the case that \\(\\Sigma \\models F(x, x,..., x) \\approx x\\). A term \\(t\\) is linear if it has at most one occurrence of a function symbol. An identity \\(s \\approx t\\) is linear if both \\(s\\) and \\(t\\) are linear.  There are two well-known theorems, \\textit{A. Day}'s theorem [Can. Math. Bull. 12, 167--173 (1969; Zbl 0181.02302)] and \\textit{H. P. Gumm}'s theorem [Arch. Math. 36, 569--576 (1981; Zbl 0465.08005)], which each characterize congruence modularity. The authors of the paper under review describe an easy way to determine whether the realization of a set of idempotent identities guarantees congruence modularity or the satisfaction of a non-trivial congruence identity. Namely, for a set \\(\\Sigma\\) of idempotent identities, they define the notion of a derivative, \\(\\Sigma '\\), which is a superset of idempotent identities in the same language. One of their main results is that \\(\\Sigma\\) axiomatizes a congruence-modular variety if the derivative of \\(\\Sigma\\) is inconsistent. Another main result is that \\(\\Sigma\\) axiomatizes a variety that satisfies some nontrivial congruence identity if its \\(n\\)-th derivative is inconsistent for some \\(n\\). The two final results show that for a set \\(\\Sigma\\) of idempotent linear identities, the derivative test is a necessary and sufficient condition to determine if \\(\\Sigma\\) defines a variety that is congruence-modular or satisfies a nontrivial congruence identity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q451080$B8147DF4-EDF2-40BD-B25F-3134BB9B8817","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451080$6E5C8174-5EE9-4B46-997C-506D2210F479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451080$A47122FE-F28B-4137-A6DF-F9BAFB72AA1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c6acf9466d57260beb9048dfdd1fd03a5b089d7","datavalue":{"value":"6087534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451080$FB384AB2-BC34-4BED-B541-C4E60E702802","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c338e9ec3d656801698957f5ec7eaf1ee139cd83","datavalue":{"value":"congruence identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q451080$D2978416-D0B1-4A7A-B996-8371576F190A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbc507a37f500bf49cba8cb46b9acb8eec07b195","datavalue":{"value":"congruence modular variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q451080$F48C6ACD-CDFE-4F1A-A8EB-47A2A88DC7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a8649893d178bb987943d67fac6ed08c138e2d3","datavalue":{"value":"Day terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q451080$C47294AD-6DA7-40D5-AE8E-AE18EFDEA08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f997b6d6dcead466c2cb1c6be7819540157321d","datavalue":{"value":"Gumm terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q451080$D3A9D011-615A-4B2F-B921-49E24529C0F6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c991645c7824f944f90b46b0b7cd4fc8cfc118","datavalue":{"value":{"entity-type":"item","numeric-id":1372639,"id":"Q1372639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$3A6DD4C2-B27C-4990-9A5F-B4B4219D3B46","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":"Q451080$56A3289E-DFE7-40E8-BAD2-7EDB18CE462A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6b6b073c5c25cedec49e51613fd637e5a94f124","datavalue":{"value":"https://doi.org/10.1007/s00012-012-0186-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q451080$19465832-777B-41CC-AE05-6E859597C433","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2db1658d264db73f0d703b33afa401f3f31c7be8","datavalue":{"value":"W2028175929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451080$91E65AAB-2688-4591-851D-9F2A83C63A93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61560c49bfbf392c3cd340d3a153a861cbcc3e68","datavalue":{"value":{"entity-type":"item","numeric-id":5950777,"id":"Q5950777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$0B6DF64A-9BE7-4804-BB0A-5FB3E4CA194D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf495049c97efeee8513ace897fd2d3339f6dfa","datavalue":{"value":{"entity-type":"item","numeric-id":3550542,"id":"Q3550542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$7A9D157E-233A-4BA5-AE72-A9862A1F7105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19b89b435482c3ef84da7f551db5cb3f5f7cb38","datavalue":{"value":{"entity-type":"item","numeric-id":799714,"id":"Q799714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$990D6CDB-B037-4630-B316-9005B6036579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf5d69aa52fcaae24bf9fa6f4126a518e85d688","datavalue":{"value":{"entity-type":"item","numeric-id":5570948,"id":"Q5570948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$60EDF9D9-2CB7-454B-BAFE-2531B40CDBB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8edc1dc684ea933f9523017d3c2b6f8d7668346","datavalue":{"value":{"entity-type":"item","numeric-id":1846441,"id":"Q1846441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$99B4041E-26B5-4509-AC54-FD0AEF8BBA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6945210de12c4c3a7bee9602f22584329d0c2e08","datavalue":{"value":{"entity-type":"item","numeric-id":1845749,"id":"Q1845749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$C4F9BF21-DDAE-490B-9D19-E67FEFCA7DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9af9284e0789eba0aa6eef111cb7a5d2f608599a","datavalue":{"value":{"entity-type":"item","numeric-id":5680165,"id":"Q5680165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$39A95855-0A75-4832-9E75-3BCB44BC5235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"611c145da33fa32c2026270eadfa06fbe38c0efb","datavalue":{"value":{"entity-type":"item","numeric-id":1154493,"id":"Q1154493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$EA18135C-CB83-44DA-B132-95BD31F8FB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8e001650c66b5020c519433f4a9dcc94218abb","datavalue":{"value":{"entity-type":"item","numeric-id":2264783,"id":"Q2264783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$B717F539-9B23-4988-8AC9-F32BC9010860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e01bd225cc1eaadd4b3b359e2717f21721c442","datavalue":{"value":{"entity-type":"item","numeric-id":4040245,"id":"Q4040245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$A640B00A-33BF-4B6F-A874-4EBBF21451E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b274a7051ff6e80e41d5513f2cdfb67980f565a4","datavalue":{"value":{"entity-type":"item","numeric-id":5822106,"id":"Q5822106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$A0E35EF5-1BD0-424F-BFDD-67E3F14B4393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21940d16ed256664f5bb0d398708d10ebdbcaef7","datavalue":{"value":{"entity-type":"item","numeric-id":1141676,"id":"Q1141676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$3D12E14C-7FEC-4029-A462-1043093C3F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8b7e8817fca11e01550866bb8cc257524676e","datavalue":{"value":{"entity-type":"item","numeric-id":1866828,"id":"Q1866828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$5CBD5A32-706F-4257-86E4-D86875EC87EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9a4a130d9fb536c5241bc7c9726184749f2296","datavalue":{"value":{"entity-type":"item","numeric-id":1771880,"id":"Q1771880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$FE619903-30A9-4AD3-BBE6-8C125A4390A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6942914cdcc770c70ed5e1a97e4b25b80b84b4a","datavalue":{"value":{"entity-type":"item","numeric-id":4979155,"id":"Q4979155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$0FA4E274-5250-4C34-AFB6-13364836025F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466f83af9de0ced03ee52652999051a8fe00e314","datavalue":{"value":{"entity-type":"item","numeric-id":5256842,"id":"Q5256842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$C073536B-6F9B-4DD7-83E7-D590DEF6ED49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6053d5501d46d1153252ca367620d8ab229d68","datavalue":{"value":{"entity-type":"item","numeric-id":1001459,"id":"Q1001459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$8C3DE74B-4F67-4B6F-AD91-7808190E15CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0951ebc4cfabcad6cc9c9f859085d790ae450c5f","datavalue":{"value":{"entity-type":"item","numeric-id":1771923,"id":"Q1771923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$C213B5AA-0901-4AF8-AC3E-E7473BA3BF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d649531a0ef5b8f1be0c286e21cc28d4fa50f2","datavalue":{"value":{"entity-type":"item","numeric-id":4321704,"id":"Q4321704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$AE0AA602-E419-4820-A2D8-2052C787929A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceede5bf5b0546c15c59724d36c404e26878c32d","datavalue":{"value":{"entity-type":"item","numeric-id":1842590,"id":"Q1842590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$9E71E0F3-7538-44FF-914E-6F107FE2D81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66c4c5877f4ef2e7c56381a25ad4a8212eba32d4","datavalue":{"value":{"entity-type":"item","numeric-id":5441154,"id":"Q5441154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$E30C43D4-F300-41E6-87EC-FBF083862B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36027544cc7c5849ee89046695b3cce72e957085","datavalue":{"value":{"entity-type":"item","numeric-id":4154857,"id":"Q4154857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$97B61874-7400-4D81-9858-341C89D5A414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2d96d19e954791c6a233dd6ee9b07baac4b8f6","datavalue":{"value":{"entity-type":"item","numeric-id":1214954,"id":"Q1214954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q451080$DB969BE3-84FF-40BD-B788-E2C2E43D6F9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2c55926eeb41500fc3e6e60eb746f4aceaf990f","datavalue":{"value":"10.1007/S00012-012-0186-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q451080$EC8B4AE5-F7A7-446F-926E-168876A731F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b89d53558408335d4bb6c33b0c76517d2f725c6","datavalue":{"value":{"entity-type":"item","numeric-id":2443677,"id":"Q2443677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44635ef0004fe782bf333b3f80dc4b84ae47234d","datavalue":{"value":{"amount":"+0.7954459","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":"Q451080$F94F5E56-6E4A-4823-92F1-294294CC6319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368936f8a2c87621e12206437d23eacbd0036356","datavalue":{"value":{"entity-type":"item","numeric-id":2449452,"id":"Q2449452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c202a27f7e13c9e9b6bbdc69404cf15312c2972","datavalue":{"value":{"amount":"+0.7421958","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":"Q451080$272C2A57-6546-480C-86E9-50A90F7E97CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e91d3aa778772f02b6d94fba0c05b2fe58fe4d24","datavalue":{"value":{"entity-type":"item","numeric-id":1789053,"id":"Q1789053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b520b6d4010675a3ed5cf71418ff7c8fc0e61f4","datavalue":{"value":{"amount":"+0.66158646","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":"Q451080$F09DE470-91F2-4ED2-9B11-5B396395EA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b0de349a06e9050838acbfc6badd35f584e103","datavalue":{"value":{"entity-type":"item","numeric-id":1866828,"id":"Q1866828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c1eed9f8d27da90d342b253e0dc6ffd5f8ddc0","datavalue":{"value":{"amount":"+0.64974904","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":"Q451080$3024D5F3-A83D-4C49-8986-280664C6A162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edf4bfd3f88ce38df0a7b8b97914247d7ff1b285","datavalue":{"value":{"entity-type":"item","numeric-id":3712365,"id":"Q3712365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d4bda0a8c3af26395787897e294b8686c023c8a","datavalue":{"value":{"amount":"+0.60658896","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":"Q451080$B4E39DD6-2928-492F-A89C-56F79ADB6C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46fed6ccb52a230ae7a481498c61d806bf893b22","datavalue":{"value":{"entity-type":"item","numeric-id":5689222,"id":"Q5689222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0c9d417a2e50f5572aecd0c5cb686f501395cb9","datavalue":{"value":{"amount":"+0.60345274","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":"Q451080$FC025B95-16B0-405D-A659-454B4CFA7A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7f74a4ab4b2a5442dd8a953c763b0c8f1c2b2e","datavalue":{"value":{"entity-type":"item","numeric-id":3715168,"id":"Q3715168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55f8cadb88a571697329bfad798f34db4182a52","datavalue":{"value":{"amount":"+0.5956658","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":"Q451080$C0474C23-DF47-4E0F-BBEF-A6076D9B01B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e1584acaa10c0b273942432aa8ed01c97062662","datavalue":{"value":{"entity-type":"item","numeric-id":1902539,"id":"Q1902539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9615375f1e3e134e22bc9a8051f405c74779249","datavalue":{"value":{"amount":"+0.5867909","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":"Q451080$D79CECE9-247C-410D-AFCF-B2135B1727F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789675cf8f23ace45ae9ab8797c74745771f6ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4763279,"id":"Q4763279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de86417953c1f681792bc45e5b052e9a56fb9dd","datavalue":{"value":{"amount":"+0.5852669","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":"Q451080$3BFFBA34-4F9E-42E8-B6D3-FB938E3A9333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1883ca23f5617632c225311b26516156d19da1b7","datavalue":{"value":{"entity-type":"item","numeric-id":4436025,"id":"Q4436025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477390d56e60242bf79c7546805857a7266cfb40","datavalue":{"value":{"amount":"+0.5844018","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":"Q451080$041542BA-4351-48BF-9058-9851DB85C47D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An easy test for congruence modularity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_easy_test_for_congruence_modularity"}}}}}