{"entities":{"Q749527":{"pageid":751376,"ns":120,"title":"Item:Q749527","lastrevid":64130985,"modified":"2026-04-11T17:50:54Z","type":"item","id":"Q749527","labels":{"en":{"language":"en","value":"Isols and generalized Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4172962"}},"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":"Q749527$76837567-8480-4755-8B9D-2F6EE308AE8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f55c256025b0d028fafb854b3fff9063c52130c","datavalue":{"value":{"text":"Isols and generalized Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q749527$6CA72B74-0E71-486B-B1AB-FBB25DD1D100","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2a7662adc413c4e35180ac733ba2c160350badf","datavalue":{"value":"0713.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749527$BFE58BF0-7AE6-4B20-A075-EAA29F154B7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"215c1f93f1664ff335c55d5bf9df1cd0316fc10b","datavalue":{"value":{"entity-type":"item","numeric-id":580333,"id":"Q580333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749527$1C9EF3DA-9AC0-4388-8A52-EE7CFD04457D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3c56016573ce7bfe3075a77ec18be101169a3439","datavalue":{"value":{"entity-type":"item","numeric-id":168778,"id":"Q168778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749527$7489740D-18C3-40C1-A243-749B10AAA35F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q749527$1DB9E792-51D0-42F9-91E8-2DD754765EC8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b1474b1d611b561b68a361e498d544243e35c880","datavalue":{"value":"This paper proves the following result of the Stone Representation Theorem sort: Let C be a relatively complemented distributive lattice with zero whose elements form an isolated (immune or finite) set of natural numbers. Further, assume that one can effectively compute the lattice operations (meet, join, relative complement) and that one can effectively find, given \\(x\\in C\\), an atom \\(a\\leq x\\). Then C is effectively isomorphic to the lattice A of finite sets of atoms of C. In addition, the lattice structure of A is completely determined by A's recursive equivalence type.","type":"string"},"datatype":"string"},"type":"statement","id":"Q749527$9376CF56-493B-416B-87E5-C8C7ACFE6EA9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"918802f1a1362bd512279080eb151cb7e040bd3a","datavalue":{"value":{"entity-type":"item","numeric-id":588764,"id":"Q588764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749527$61ADEFDD-8013-40AD-972F-C71867AA7E3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"260afbe1b3239d93b958cf33fd25ae0afca15a09","datavalue":{"value":"03D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749527$8FD6094D-46C2-409D-9824-6224AF745250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749527$2B36F220-6C85-4FE9-BC2C-EFF670467F85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd35e1fa5a419dd424da0fd0677e7076df3e6c05","datavalue":{"value":"4172962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749527$03F9E1D5-FD8C-4F7F-9CCC-59192E502BA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31645275f420e588ff1c209451b54bd40c185912","datavalue":{"value":"isol","type":"string"},"datatype":"string"},"type":"statement","id":"Q749527$7742B589-D613-4E38-AA31-B513DC69E15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97fb60ef6e73cffdfad5310157401e9201dcdbc0","datavalue":{"value":"generalized Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q749527$A8134100-7A81-4E8C-8419-0366C8F89632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c5194a036a7d927026dc744d13d20188ce18775","datavalue":{"value":"Stone Representation Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q749527$A09F2C6E-8176-46FB-8E4A-CF4C0DD777ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14605312aae0deb5332ffac3e6b3e3b8fb28b9fe","datavalue":{"value":"relatively complemented distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q749527$D5C83C8E-EC96-4DB8-9980-90E94C4CDC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9eed17c8eaed9e4ccf72fadebc98a03e707315c","datavalue":{"value":"recursive equivalence type","type":"string"},"datatype":"string"},"type":"statement","id":"Q749527$47F43749-BC29-42EB-B4E4-C3C1989FA2DA","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":"Q749527$2E2C50C9-2044-4682-A55B-D8D973AA2AF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4da4456c930e701cade52d86f21a83e48435aea2","datavalue":{"value":"https://doi.org/10.1216/rmjm/1181073163","type":"string"},"datatype":"url"},"type":"statement","id":"Q749527$C3E009E5-8AFD-44A7-A9C5-130C3A84A077","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9b9dfc465ca96d93370d5748a9edce59ffa4362","datavalue":{"value":"W1991679148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749527$15895207-E27E-4032-B5D8-BB19F4DB2E7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20a715e71d71b2b6b8d04011a56906dff54c999","datavalue":{"value":{"entity-type":"item","numeric-id":3689112,"id":"Q3689112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749527$5DD57E73-D9AB-4E4E-B02F-D2469946ADEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6126a0161868ac4d9f40cc0cc866a751887421d2","datavalue":{"value":{"entity-type":"item","numeric-id":3942950,"id":"Q3942950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749527$30098A8D-2446-4AE2-AA03-E3E3584A64F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb94617f996c4cadbf877ed90560404ee4591999","datavalue":{"value":{"entity-type":"item","numeric-id":5635352,"id":"Q5635352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749527$568278B3-7DEB-4558-9A0E-C146F6DC400A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d9a074c001f624da289302544c7d4777d2aa0c","datavalue":{"value":{"entity-type":"item","numeric-id":5801329,"id":"Q5801329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749527$EECFE667-3BB4-4B6B-BDC7-8C417D515F9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"267be5312e41dab5bd283f6c7cc30479c6aaed93","datavalue":{"value":"10.1216/RMJM/1181073163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749527$09B42ABF-F208-4D7A-A3FF-4E115133425A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d7746f30bd29d92a89184e18689c2cf05542e4f","datavalue":{"value":{"entity-type":"item","numeric-id":3517551,"id":"Q3517551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e54bc1aef9592708cf9a66be7e4a6740b7ce1e9","datavalue":{"value":{"amount":"+0.7923117876052856","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":"Q749527$95B87910-2366-4703-AFC0-DD988FE5A862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08fc8387100f09247e9f1878b90c27612847781f","datavalue":{"value":{"entity-type":"item","numeric-id":3775546,"id":"Q3775546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84a7d0f36adb50ed2577398241e714d1d95fe057","datavalue":{"value":{"amount":"+0.7643203139305115","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":"Q749527$06E0DCB0-3281-4D1F-B54B-1DA515BC968D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c63b41d591ce10b04f2b225b2dbf40c3d0f717b","datavalue":{"value":{"entity-type":"item","numeric-id":3331214,"id":"Q3331214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"291b118be50bb14a40eb94f4e02937149e50f818","datavalue":{"value":{"amount":"+0.7599602937698364","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":"Q749527$495EE005-0030-4DFD-972A-586D9446550B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"018774d87cebcfe92da8ea9e919ba746464a6ff4","datavalue":{"value":{"entity-type":"item","numeric-id":2898949,"id":"Q2898949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ad18abe67865220518a8e24f6b4798749bfa75c","datavalue":{"value":{"amount":"+0.7544390559196472","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":"Q749527$CF91E19F-AFA4-4A2A-89C7-B0397BB492D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c0a2e7c46e2ef9558889ffb2f5c6f486740d67b","datavalue":{"value":{"entity-type":"item","numeric-id":1210349,"id":"Q1210349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2199d7182ce99358ab9e1741ae494675d14df93d","datavalue":{"value":{"amount":"+0.7517490386962891","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":"Q749527$FD5631AB-C7CC-4B24-9651-7506C670CEB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isols and generalized Boolean algebras","badges":[]}}}}}