{"entities":{"Q1205173":{"pageid":1215922,"ns":120,"title":"Item:Q1205173","lastrevid":66475707,"modified":"2026-04-12T10:19:29Z","type":"item","id":"Q1205173","labels":{"en":{"language":"en","value":"Finitary decidability implies congruence permutability for congruence modular varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 146934"}},"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":"Q1205173$234C2013-3962-47BA-85A3-5F9C93F0AD41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"476c93b26face736a1ac99cc2b0af0cd24520983","datavalue":{"value":{"text":"Finitary decidability implies congruence permutability for congruence modular varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1205173$70864DB6-3B58-41D1-B775-7E84B36FBCE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab1b3affba7943300d9f25180a69284f9c74d960","datavalue":{"value":"0761.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1205173$109E341A-5A6D-4271-8F41-74690D89915D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68dc71755ee26a423c389565c76d3c294c4da299","datavalue":{"value":"10.1007/BF01212443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1205173$AD968EEE-EE4A-4DC8-B51D-25B6C9FC689A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1d33efb56c286c7b23fd78205e9447a8609ee9e","datavalue":{"value":{"entity-type":"item","numeric-id":389164,"id":"Q389164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205173$2143A778-D0DB-4006-89C4-DD88508EF16A","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":"Q1205173$827F861E-9AD0-4FFE-B8E9-62FB7F3CCDED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1205173$783CF5CB-A698-4CD9-AC4E-863AD6B7D13B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1205173$210E757F-4986-4FC8-85C5-623895AA0B52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cecc78957cbc7081c2145617749614f26c49b675","datavalue":{"value":"146934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1205173$E2DD151B-9E7C-45B0-BC58-F05A79850E41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d27c93a205a9826b54314466841de7d9bf0b7fd2","datavalue":{"value":"locally finite congruence modular variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1205173$67ABA3FD-907F-40F4-BC81-8ACFB5128700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"870610299cb00ed8aac37ccaceb1243cd8ed41de","datavalue":{"value":"finitely decidable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1205173$19881BC2-C281-4068-9186-92DEC0F1043D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9488d36e325750b7bdea13fdc4f5cde260cdbe35","datavalue":{"value":"congruence permutable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1205173$0543B172-3A49-4650-9F17-EFDDCCCF35D3","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":"Q1205173$BA39AB41-E9A2-48CA-947F-45A8C1EC1960","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f0e5ef95212d287b49c1d50cd19ca098e20e70","datavalue":{"value":{"entity-type":"item","numeric-id":3775604,"id":"Q3775604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205173$CE9A27AE-80E6-4510-B5D8-BB786510B2D0","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":"Q1205173$9E70F1DE-449D-4F15-9BB9-B011AFBB400A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6e67fcf6a8980c29e1d57e8424044d1e53bc5e5","datavalue":{"value":{"entity-type":"item","numeric-id":581435,"id":"Q581435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205173$2E112A0E-1819-4BF5-8FB4-565981897A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb042937f6ba84ab8eb178cd38e29e9b2cfe2c7","datavalue":{"value":{"entity-type":"item","numeric-id":1124621,"id":"Q1124621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205173$299E23BA-8F40-435D-8219-549F15770F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a70347429be666234e0cdfc2468ddab12eedce","datavalue":{"value":{"entity-type":"item","numeric-id":1187715,"id":"Q1187715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1205173$6AB7253D-9F05-457E-B8C3-0CCDFC809CE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finitary decidability implies congruence permutability for congruence modular varieties","badges":[]}}}}}