{"entities":{"Q3874171":{"pageid":5904076,"ns":120,"title":"Item:Q3874171","lastrevid":54583832,"modified":"2026-01-28T22:28:10Z","type":"item","id":"Q3874171","labels":{"en":{"language":"en","value":"The equational theory of <i>CA</i><sub>3</sub> is undecidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3677797"}},"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":"Q3874171$D5A0F0D3-AF9B-4007-91BF-2A1584520B81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a9a9e0c4b03e084d7a61b3d35652cac37787e1c","datavalue":{"value":{"text":"The equational theory of <i>CA</i><sub>3</sub> is undecidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3874171$1A26E150-8030-44F7-B20C-15E3E8D7BCD7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c0886ab74d07016c40ca153b80346e02658b1b7","datavalue":{"value":"0435.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3874171$672037AA-F431-4091-AFDC-6863363A4486","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b28d2094f649b280fabfc906dd53ae9d95947a2e","datavalue":{"value":"10.2307/2273191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3874171$C14F694D-37AD-4650-863E-7E9362BAA840","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af6fbdd6806d9cebab7dba33d5ba34c31f95c481","datavalue":{"value":{"entity-type":"item","numeric-id":406454,"id":"Q406454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3874171$0BDED518-C858-4FEB-BB82-BB959F28C6C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3874171$1B247B53-AB7F-42FF-B818-471D0B57035C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3874171$5C282F57-8B45-4ACC-8961-AA35E60EDAD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3874171$E2DCA18B-7709-4CEB-BFE8-E48F96B75721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3874171$B066F40C-A0D9-4475-8DB7-9A5753D8DB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3874171$65F60883-DFC0-48AD-AB7A-3A4EB53C5570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3874171$FEC9A260-1B63-4DE5-A98F-E3B67E5FE67A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddaba90743b5aa2cb909d1ac7b1f3029b857e946","datavalue":{"value":"3677797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3874171$430C1F5A-66E2-4B81-99E0-1C5B1A545444","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3874171$6F6F17E1-6032-4E1D-B4DE-47BB8DC2D809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e522e3d53ad5525dc0151bfa5b83dc55a0e70d90","datavalue":{"value":"cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3874171$EDA278D3-4EEB-4D48-A46B-7008D8FFC6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8151ec67abc1f38acebd14bb3426e3149a76bff3","datavalue":{"value":"unsolvable problems in semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q3874171$B2F06981-BB55-470B-9410-6129CE2315A5","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":"Q3874171$D06A044C-A6E3-4BE7-8A29-3D55D0DC02A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e6f56ac841c14582637da889dcebc134705feff","datavalue":{"value":"https://doi.org/10.2307/2273191","type":"string"},"datatype":"url"},"type":"statement","id":"Q3874171$EF867FB4-0793-48B8-B62A-57896F38BF56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e38da2ba0e284e0610d3bdf826e3daf8a027ef9","datavalue":{"value":"W2012917747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3874171$C3C517C1-B5F6-468A-8DCC-0D0691AFFD51","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"124d6184a498e61b054790143efbc70f7b8f4871","datavalue":{"value":{"entity-type":"item","numeric-id":1220926,"id":"Q1220926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3874171$944C187C-ACCE-4ED6-B6B5-658D7B2C3318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3874171$F2750C96-F18D-4230-97CD-EFA93D69C108","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3874171","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3874171"}}}}}