{"entities":{"Q619312":{"pageid":621088,"ns":120,"title":"Item:Q619312","lastrevid":51171929,"modified":"2026-01-17T01:49:12Z","type":"item","id":"Q619312","labels":{"en":{"language":"en","value":"Computable ideals in \\(I\\)-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5840710"}},"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":"Q619312$20F53E58-8317-4490-8441-87FB03AA9DB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a74ddd4db401e66fd147065fbd5afd6cb4a658f0","datavalue":{"value":{"text":"Computable ideals in \\(I\\)-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q619312$14FED484-1002-48F9-AE7A-F644955237C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38c9858f5236b9f980851c91bdb59c2df41f9930","datavalue":{"value":"1218.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q619312$CA7DA512-207E-4F3E-AB71-4BCDDD52C396","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbef5af0ce4451bdf7240f57af73c18961b8a811","datavalue":{"value":{"entity-type":"item","numeric-id":251872,"id":"Q251872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q619312$5C140C50-D7F4-4501-BF06-EC2C51A3D3B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q619312$66546B50-EAE1-474F-AB19-6BE017D79AD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b498182d561372e1b08e80498546c37c4d2983f2","datavalue":{"value":{"time":"+2011-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q619312$4FF4CAFF-3BEB-49F6-8FFF-8159B8A1BB92","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"075af6a8e51b16ee11db4d18b2c8d7d99109a510","datavalue":{"value":"An \\(I\\)-algebra is a structure of the form \\((B,I_1,\\dots,I_k)\\) where the \\(I_j\\) are ideals of the Boolean algebra \\(B\\). The structure is called computable in the obvious way. The author gives algebraic/syntactic descriptions of relatively intrinsically computable (in the sense of Ash-Nerode) ideals in \\(I\\)-algebras, and of intrinsically computable ideals in the case of two distinguished ideals. This should be compared with the author's earlier work on computably categorical \\(I\\)-algebras [Algebra Logika 43, No. 5, 511--550 (2004; Zbl 1096.03042)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q619312$C8D4317B-58E1-49A0-A34A-A1502B2B3CAB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8055ef4c08baf7aae068108b5a3771ed10ad54de","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q619312$4605F021-306D-4567-979D-1A2B354201D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q619312$14CF8422-ACFE-472C-AC6D-CD6B974D4135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q619312$00F9F96A-6338-4CCE-B222-1E6C25630FF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7909b08716102c561156fa412b256c6adc0db4a","datavalue":{"value":"5840710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q619312$6959CD28-7F61-438F-A825-22FF14483E7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dab4f793eaf1a488573fa15ec2169b3b3a4686ce","datavalue":{"value":"Boolean algebra with distinguished ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q619312$0C05AB1B-64D4-4930-94C9-63DF5F03B7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8067a0b97ac45fd88fb650d94113ec282b2d3447","datavalue":{"value":"intrinsic computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q619312$31EF30BA-B6E8-4900-BE07-81B754D59335","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":"Q619312$9D7054DA-6740-4D2D-973A-181D80E257AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be02525b7fe6e31146ca0d3f184a80eebcbdae6d","datavalue":{"value":"https://doi.org/10.1007/s10469-010-9082-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q619312$78F51FE9-423A-4648-9230-E726C655F102","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d99c05cad0803fea8b9b02e8c6dc675b9beace3","datavalue":{"value":"W1995829430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q619312$E8CBB459-3DDC-4CE7-8869-DB8C26014DFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ccf5fa9df191120c593fec46322073c3d5d8d9","datavalue":{"value":{"entity-type":"item","numeric-id":5476773,"id":"Q5476773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q619312$0D6B896D-EABE-40D5-82BB-FCDC62E2C5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fb00daeb600c33bdb6784a21af48a463f2039d","datavalue":{"value":{"entity-type":"item","numeric-id":1123889,"id":"Q1123889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q619312$BE6BC9B4-E5E7-4C7D-9BAC-CFB1060E9F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcf869e8ab52e808530e2def69fcf49de282e2fd","datavalue":{"value":{"entity-type":"item","numeric-id":5753942,"id":"Q5753942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q619312$6A286871-06AC-43B8-9B00-B2095BC343EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c487cdb80e68f6b73153764ac20ec40ca9de53cb","datavalue":{"value":{"entity-type":"item","numeric-id":2366358,"id":"Q2366358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q619312$1B350010-22F8-4C86-B424-EF91A0A7CDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e3da06991cbf4333c2f551c950b066a05f1d8d","datavalue":{"value":{"entity-type":"item","numeric-id":4451642,"id":"Q4451642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q619312$3B452CB1-87A2-4E78-B56A-8CEB672B1361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0dee479b8df7c29caa9f6e07225eb3580624242","datavalue":{"value":{"entity-type":"item","numeric-id":1062051,"id":"Q1062051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q619312$77767E64-BAB8-4A04-AFE6-4E3281054474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a0c0d42db2701951570f07f5770ea1e3a1307fd","datavalue":{"value":{"entity-type":"item","numeric-id":3149990,"id":"Q3149990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q619312$585FC979-7D21-4B37-9764-7D7DF11566C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37f04299b44353df49fdf0d4c945284a0044be31","datavalue":{"value":"10.1007/S10469-010-9082-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q619312$BF0DBEDC-AC39-47F9-A459-3CADB8F1251B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6f9896612fd478563978502b468675cc1648054","datavalue":{"value":{"entity-type":"item","numeric-id":5294729,"id":"Q5294729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e9d9bd21ed87580b7fa8ce6a8e4ce2eae770837","datavalue":{"value":{"amount":"+0.8199330568313599","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q619312$E4CCCEBD-EFAF-4B31-B8CC-19300A9341EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72c9db18f82e4c780d651d40654b8f2bc976c1e1","datavalue":{"value":{"entity-type":"item","numeric-id":4530731,"id":"Q4530731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aec4601b330d26863a68ad032e6ddbf78b9284a","datavalue":{"value":{"amount":"+0.8057330250740051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q619312$57726524-E66E-4F73-9DA5-325034466CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac2c00eed524a773745deccb08a01506de90abe9","datavalue":{"value":{"entity-type":"item","numeric-id":4795516,"id":"Q4795516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f395b1702fb0a0f0148193a22e1baefe4b3e1b89","datavalue":{"value":{"amount":"+0.797651469707489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q619312$FFD776F8-0A17-484B-9A7E-9EB41E4F4C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee9ea046db84bed0d3e7918be473517cd51acfe","datavalue":{"value":{"entity-type":"item","numeric-id":5476773,"id":"Q5476773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"919f3b45c4cac3233b64a5b5749d56d56c81ac1f","datavalue":{"value":{"amount":"+0.764919638633728","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q619312$62B873F8-D9FA-4D46-B565-CC5D22AC9456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e8a32101b5aacb57ed3ce2190ba02842f872b4","datavalue":{"value":{"entity-type":"item","numeric-id":3434493,"id":"Q3434493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0701aec1b13f568e89b69c873a10def774a7e0dc","datavalue":{"value":{"amount":"+0.7602741718292236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q619312$E97C7969-5341-433E-AE87-829C52DF6E0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:619312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:619312"}}}}}