{"entities":{"Q787968":{"pageid":789816,"ns":120,"title":"Item:Q787968","lastrevid":64339350,"modified":"2026-04-11T19:11:14Z","type":"item","id":"Q787968","labels":{"en":{"language":"en","value":"Undecidability of the theory of Boolean algebras with automorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3841840"}},"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":"Q787968$DEAD4177-027E-454F-830A-79823CD0B627","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3515097ef646ac89f9bcec104e20694b7ef1679f","datavalue":{"value":{"text":"Undecidability of the theory of Boolean algebras with automorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q787968$819D3D0E-BF06-4057-B1AD-B7BDE4D43B88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbe05fb509c76965c433c0c96cb52719eb903237","datavalue":{"value":"0531.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787968$806FE89A-4512-4A73-B2B3-32DCEAC1BAF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f36884f14ad796c9e860c64cd7d22cfa2993876","datavalue":{"value":"10.1007/BF00973498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787968$C2408C6C-91C7-4B86-945B-D73A3684BCAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787968$AF910024-6387-461C-9750-C781A2066C07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q787968$FA9255B2-F7C5-4790-9705-8CE26B40DA96","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"400340a61e33956222118ad03ca25094d0f9b618","datavalue":{"value":"Translation from Sib. Mat. Zh. 23, No.3, 147-154 (Russian) (1982; Zbl 0503.03018).","type":"string"},"datatype":"string"},"type":"statement","id":"Q787968$264F9623-FCAF-46BD-A4F6-DABE7D404555","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787968$F51B1DCD-388C-47EB-B280-9F62F9BB170E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787968$6B717243-B5A5-4297-A01D-1B99B386D217","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42e3ff857f3ad6953cec9b3dafaa5784bb9e9223","datavalue":{"value":"3841840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787968$EDD51094-24DD-4211-A48E-EE761A796B73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q787968$F41B397A-901E-42C0-8873-E5D6EC345753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q787968$F7A01CE8-DB35-4E4B-BF83-9BB1D2F9CF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ab89ef0afcd2141c7da8aae338608bd16ac9a","datavalue":{"value":"automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q787968$DFCA096D-8239-4BE3-86C4-9E9CB9FCD91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q787968$337CB8CD-1803-471E-8B5C-76E9C853A688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed235e7e698c6173a9b3100896a487917012f094","datavalue":{"value":"atomless","type":"string"},"datatype":"string"},"type":"statement","id":"Q787968$55ABB505-B4E9-4C09-9EDC-71F0753B8071","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f5e05fc5162355cd2e06773b462a5c28f32c630","datavalue":{"value":{"entity-type":"item","numeric-id":446184,"id":"Q446184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787968$C6197AC2-44D2-483C-8743-F28F29A97D97","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":"Q787968$3CD28034-169D-41A0-8517-2F614446B99A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f39f393be7e7693fa81a63ecee493915bc3f615c","datavalue":{"value":{"entity-type":"item","numeric-id":5596792,"id":"Q5596792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787968$0DE7510F-5FB1-495B-B760-E062AF740FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63c1ed0f79ee2359d7a9e5a143b368830b4cbb59","datavalue":{"value":{"entity-type":"item","numeric-id":5601471,"id":"Q5601471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787968$6824692A-A7BB-4750-BD69-2FA200C3EA9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of the theory of Boolean algebras with automorphism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_of_the_theory_of_Boolean_algebras_with_automorphism"}}}}}