{"entities":{"Q6631334":{"pageid":14242486,"ns":120,"title":"Item:Q6631334","lastrevid":42391742,"modified":"2025-06-14T13:31:39Z","type":"item","id":"Q6631334","labels":{"en":{"language":"en","value":"On the 1-decidability of Boolean algebras with one distinguished ideal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7937478"}},"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":"Q6631334$32A42230-C710-49D8-8D3A-1CFCA7AB3EA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74456057dfff97d9ad84923392bfb9157e94de72","datavalue":{"value":{"text":"On the 1-decidability of Boolean algebras with one distinguished ideal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6631334$F723F1E3-843A-4BBE-AE69-5A830B157436","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"099cde454eda4ef339aa038a692fe15b493d2a1a","datavalue":{"value":{"entity-type":"item","numeric-id":6160498,"id":"Q6160498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6631334$55A3E3FD-90DE-488D-A54F-8908CA091660","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":"Q6631334$91539EF8-3C28-4AA2-9A58-EA5E5DF30764","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"416fb122c7ea0ff718fcd2ef03c1b6e8f342fb4f","datavalue":{"value":{"time":"+2024-11-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":"Q6631334$7214ED5A-BF1A-4630-AF6C-024199A7A34D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6631334$78F028A1-4D8D-433A-B157-EEFBFDD4A11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6631334$3D282224-FCF4-4DBA-9627-7138ED890716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f97231c38032b2cb868c18061aedc088fc6d95c4","datavalue":{"value":"03Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6631334$C0C62AB2-E81E-47E3-87FA-1B50FF1EFC56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3c26301cacf35febb6e5b60db2d6b07d920398b","datavalue":{"value":"7937478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6631334$4972166C-2F88-4B75-880E-7986418BDCEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6631334$550FD5CA-B98F-4CA0-94D0-B2DB122536C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97eddc5524b4bd98f8e4b0d0299dec220add3876","datavalue":{"value":"computable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6631334$5D0CF942-0D02-4C9D-91C4-90E713BF63B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad42cf61fa4c957578962d9bf1adc9089584c594","datavalue":{"value":"decidable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6631334$8DD08BD2-089B-4108-8E12-B97D493EEB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"689a7811cca8a8883989d3fb8d7ba81a6035f0ea","datavalue":{"value":"\\( n \\)-decidable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6631334$732C0797-B1C2-4354-8A1E-4A6EF14EED21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0df4e0d6f2105b75c0984baee95918e2d10f1dd","datavalue":{"value":"bounded theories of Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6631334$91059AA1-1E76-4508-9235-BABC8E541C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60ce9a3d24682effae67628ff325905000bef0ed","datavalue":{"value":"ideal on Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6631334$7503F476-7E50-4649-83C9-F55C5251C29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c575710c625b87eec0b37fef42ced8ae6f9c4adf","datavalue":{"value":"I-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6631334$F38D0715-9991-48BA-9F94-5AC3BDFDB4BC","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":"Q6631334$634DE65B-731C-4A81-8E19-AB51BFDACB3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea420e18ae1335c066e0c9f87e44f6b69441ec57","datavalue":{"value":{"entity-type":"item","numeric-id":1914757,"id":"Q1914757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6631334$38C9007E-972A-43F2-B713-3C7495491546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef892522a12b4e94fb984c322cd147868bc1a3e1","datavalue":{"value":{"entity-type":"item","numeric-id":3130249,"id":"Q3130249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6631334$288CD896-2FC5-400A-9BD2-2492DF9D1727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6631334$8CA49F0A-91B7-472D-B718-38CBCDBDC11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6631334$2890F08C-7B86-42A7-B6B9-537BA5C3B059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be20c5387668f66de93103c76f1d51e6a3d3cb2","datavalue":{"value":{"entity-type":"item","numeric-id":4664630,"id":"Q4664630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6631334$B0F39912-AE6B-4E32-8C55-772DEEE82178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6631334$69ADCDFE-7778-41EE-B0D8-D384C32B7027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee85f15db819554c5cddfac8ba3f64f52efb0bd","datavalue":{"value":{"entity-type":"item","numeric-id":3958432,"id":"Q3958432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6631334$AC4455CB-CA3D-4158-A781-86EDA4424EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0218da70bdc53dcc1ef47aa802e2985d0e36b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":5626636,"id":"Q5626636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6631334$85A51054-C6E7-4878-88E4-2598F14A9EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd6c557c8dc55b832d40de5c58bef80f216e3605","datavalue":{"value":{"entity-type":"item","numeric-id":4664633,"id":"Q4664633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6631334$546ACD99-6C7C-4140-842A-A8BDFAFE6946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc68d4d31f0875473c7ab32b1a74b8c30974c6a","datavalue":{"value":{"entity-type":"item","numeric-id":416985,"id":"Q416985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6631334$3AFB4D9F-59D0-4A6A-BAC2-529731A095B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83011604f251db59530b7fa0950e0cdf45f615c3","datavalue":{"value":"10.1134/S0037446624050070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6631334$3F05D6A3-4299-4306-B3BA-B0FD9C2B3647","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6631334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6631334"}}}}}