{"entities":{"Q5731786":{"pageid":7761340,"ns":120,"title":"Item:Q5731786","lastrevid":97018151,"modified":"2026-06-05T13:02:57Z","type":"item","id":"Q5731786","labels":{"en":{"language":"en","value":"Impossibility of an algorithm for the decision problem in finite classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3195397"}},"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":"Q5731786$FF528453-8DF2-4AA5-95E9-DB5D39CE8867","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e66b81f894bf5f3995c9df0432e6874c0ca785a","datavalue":{"value":{"text":"Impossibility of an algorithm for the decision problem in finite classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5731786$26578AF2-E9C6-499D-8933-087C1B18906E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3f3d212fd77789e08eb8790f11f4ecffb6e7279","datavalue":{"value":"0121.01507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5731786$8113F926-B622-4B3D-A857-89A5802FA753","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"349908a47ac2da38d7d1149afe1962afe8a312ff","datavalue":{"value":{"entity-type":"item","numeric-id":1179706,"id":"Q1179706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5731786$FFC19F79-FAA3-4F03-92FA-99AB17F410FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5441f2770a3b3f0fed2c9edb23e66538747516e4","datavalue":{"value":{"entity-type":"item","numeric-id":5331493,"id":"Q5331493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5731786$A957E438-054B-42A6-A384-B1A7CA527300","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb2ff0c8850243f6c91f9deeec455d393bf560c2","datavalue":{"value":{"time":"+1963-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":"Q5731786$07AF73D8-33EE-4294-8DDA-6F34D4077ECB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56f6539aa8f4c7ae7c464492bdffc91989397a51","datavalue":{"value":"3195397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5731786$5D1864DC-8BAD-4D3A-828C-B65A4A17A4C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5731786$4E325E1F-C26C-4159-B5D3-32C1C4727E30","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":"Q5731786$44E7F14A-BB60-43B7-A6F1-F0AC64FE65AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2ca5eb37c374d03f07213dbd0fbc895309887a7","datavalue":{"value":"https://doi.org/10.1090/trans2/023/01","type":"string"},"datatype":"url"},"type":"statement","id":"Q5731786$1C694856-CB40-461D-9A72-429475B46ED1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f14807bb2e90ba5713895f1b2e155e8a0819c203","datavalue":{"value":"W4244028915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5731786$C352188F-E114-4D89-88B8-D652D1F8FDD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"895ac86925766899d9b07229e6780fa44e583ff8","datavalue":{"value":"10.1090/TRANS2/023/01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5731786$1DD97657-395A-4E60-8B98-E690ACDD8F63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Impossibility of an algorithm for the decision problem in finite classes","badges":[]}}}}}