{"entities":{"Q412007":{"pageid":413774,"ns":120,"title":"Item:Q412007","lastrevid":61656060,"modified":"2026-04-11T00:45:59Z","type":"item","id":"Q412007","labels":{"en":{"language":"en","value":"The decidability of some classes of Stone algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6029767"}},"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":"Q412007$A359D055-B809-4265-BA0F-12845CEF8CDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"397e517740f771592c0837e78664f5997403a7d0","datavalue":{"value":{"text":"The decidability of some classes of Stone algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q412007$2D29F583-2E40-41F4-A6E2-3EC78CBE398E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a69a4c70c87de5fd4e52aca5c34863f939cb8587","datavalue":{"value":"1248.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412007$AC4F49F7-7B1C-4127-86C0-B9221DCA109B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9025eee93ef36a9f217c3a3c9b2ebc0e60e0856b","datavalue":{"value":{"entity-type":"item","numeric-id":296319,"id":"Q296319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412007$FCA3CFCD-54FB-4776-A2CA-C2D0403EAC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"363639ae48fff7f16a1bcc4adc57d71c307d12c6","datavalue":{"value":{"entity-type":"item","numeric-id":412006,"id":"Q412006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412007$910DBFB2-2FBC-404B-8B48-BC985CB7AD1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412007$42461164-8222-4560-AAF5-29F94824292B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97df402d3a91ac31bfea85893aa349af566173be","datavalue":{"value":{"time":"+2012-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q412007$69A6ECEE-7318-470E-AC30-95D7BF68FC69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412007$36974FAD-F3E1-4A2B-BB44-6FB1B697E7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412007$5B377D22-7381-4FCB-AEF9-FE01079FBEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33055bf2c57773bb56b9bc1e7d8347ad65fe4047","datavalue":{"value":"06D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412007$4BD2D8EE-AB7A-440D-BB33-C96CC58D1CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412007$E9D335A7-6D84-41D1-9D3F-7121642F1B0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48a0ad53220e294d7c7bddd4e7412021be3db807","datavalue":{"value":"6029767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412007$8ECBA9C1-C110-48D0-A215-78A3A734BAAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q412007$A5F9E1D5-07E0-451D-AD98-C000F773720C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0e63cdc5ccc66970d4a783532e7fcb4ee7ae7e7","datavalue":{"value":"Stone algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q412007$9C93653D-6926-4087-8BA8-43FBEBC2F499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d437f0337307634254181bdf8dfb02d99b3549","datavalue":{"value":"Post algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q412007$E386EB2E-2013-4046-83D8-8921F192E82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e7557d5fdea5f264bf7950a9bc91d0b7498ca7","datavalue":{"value":"axiomatic classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q412007$E260E50B-CCC4-48D2-A919-F70BE904940D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q412007$C42F2A28-4B37-4DE9-9436-6685E1B3D175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q412007$75142091-E38B-4C30-B26D-FED194E46295","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f135cffe61828595fcaa6a41bc38acc0cd79a1a4","datavalue":{"value":"Q106095055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412007$29E1B3DD-DA48-4A02-A6C1-95949620F3A8","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":"Q412007$6AE44CD6-1E2F-402A-AECA-D08F9A8ABD49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"859d70e4691b90f051907ee12abea08189275aa3","datavalue":{"value":"https://doi.org/10.1007/s00012-012-0173-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q412007$E54CFD58-1D2F-486B-AE90-AB8D0AE45932","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de1bc2f15f31c02ae23411e4d072d02ef2a83a42","datavalue":{"value":"W2043485254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412007$DE3F9BF3-286A-4AB6-B909-92ED7B39A38C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb773def9d9b85afd4dfa221fc523f7a81c2122","datavalue":{"value":{"entity-type":"item","numeric-id":3941388,"id":"Q3941388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412007$9DC2FF61-CBFF-4E0E-8845-56901E30A1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412007$3C567F03-8AF7-4650-BB1A-A27CD7BCD219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dbc38a4cb6bec6ce1bb7aa494466f3c96211894","datavalue":{"value":{"entity-type":"item","numeric-id":5575588,"id":"Q5575588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412007$F33363BA-2947-4EB0-A95E-3CB0255C1C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea38ec6410651806f9fb781e45cf7414e0584bd","datavalue":{"value":{"entity-type":"item","numeric-id":5575589,"id":"Q5575589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412007$6F1A7FDA-3212-4B67-87B7-6415FCD9AEAB","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":"Q412007$BB7FC82A-E214-43D5-947B-E96BBDBF249D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be90c036b9866063421eeee88537ad540e758dd","datavalue":{"value":{"entity-type":"item","numeric-id":5502720,"id":"Q5502720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412007$323B51EA-4ECE-4FF2-963D-DA7B09CD5107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6225d7a287d80e4400c8d85ac403c9d69017a7","datavalue":{"value":{"entity-type":"item","numeric-id":5808415,"id":"Q5808415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412007$AEA185A8-0B8E-480D-8D90-CDCE1A9AFC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be90a149ca073082adc0234419e2ef1579c7c1b0","datavalue":{"value":{"entity-type":"item","numeric-id":3815356,"id":"Q3815356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412007$22578122-8BC5-436D-93E2-287E20845B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1fe8ea5595ba5f19098a6b846939da6eff0433f","datavalue":{"value":{"entity-type":"item","numeric-id":2557717,"id":"Q2557717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412007$E8C20391-699B-4ADB-A21D-395F7CBBAC58","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":"Q412007$94FE9E2E-5AD9-4060-B52E-12F6CD802B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1254654b48579f540cd26f3d67aae24ee53f96a9","datavalue":{"value":{"entity-type":"item","numeric-id":4124831,"id":"Q4124831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412007$4AAEFA04-1AB6-47F4-B45C-57EE18331A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b0bbc056c87f3e2fd9e6e6ce06d2f16a30c1cf","datavalue":{"value":{"entity-type":"item","numeric-id":5802110,"id":"Q5802110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412007$10BFF243-1A9E-4343-8FCF-CDAA72D616D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8dfd0e7d15a14a52af1c8dae4636df5b186af990","datavalue":{"value":"10.1007/S00012-012-0173-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412007$40FC97F5-C216-44BA-A534-E92CF18B6271","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed84bb99f73f8400c78008a92f9893fec4d65694","datavalue":{"value":{"entity-type":"item","numeric-id":506969,"id":"Q506969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"652198140c4699a96c66ca9d9fef8fdc48bd051f","datavalue":{"value":{"amount":"+0.9024379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412007$B8609160-23F6-479B-AD36-145B8B3EBF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ba3c6e93294bdc004f3d4266d37a1d809ce698","datavalue":{"value":{"entity-type":"item","numeric-id":1803020,"id":"Q1803020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37654ff3d5cddac4f43bf805a87847861f907098","datavalue":{"value":{"amount":"+0.89615667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412007$DC650059-53B3-4D5D-80E2-DB954A0205B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e202fdc9fb3eb33a437e3cc6e6859c56969597","datavalue":{"value":{"entity-type":"item","numeric-id":4032876,"id":"Q4032876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7e5c1208b5ed8c4673bd036586ecfe2858c148e","datavalue":{"value":{"amount":"+0.89572453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412007$0E21837C-6D89-4A74-A7D7-3862EB0B9ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86ea71037299e3ba3c4ef8600bf1e60c0ede973b","datavalue":{"value":{"entity-type":"item","numeric-id":2932374,"id":"Q2932374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9e825ddcb5e4ac4ba5405224d567365f063c67","datavalue":{"value":{"amount":"+0.8862593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412007$E703600E-58C5-484D-8CE8-4D99642C4D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdc928af395f4a4dedba984703afbd957eaa0da5","datavalue":{"value":{"entity-type":"item","numeric-id":5477357,"id":"Q5477357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14c8a8dab1215b9840f96d236ee512d78915e2a","datavalue":{"value":{"amount":"+0.88423485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412007$D8F2A5E7-7B1C-4EBF-B7D0-B8166A37528A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6978252f693319ebcb0f3bfe50d641748a9e8c4","datavalue":{"value":{"entity-type":"item","numeric-id":4807737,"id":"Q4807737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3deff7047f762a9f29aecb99f11ee2f7df7d37c8","datavalue":{"value":{"amount":"+0.88143694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412007$C60C2D82-A0D6-47A0-B509-A60F06A5FADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8637f07d3c1c1b530a5cb721b449e4b6fd93c15","datavalue":{"value":{"entity-type":"item","numeric-id":5394584,"id":"Q5394584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb4bee205876e2046fbb347989bf219f624e02b5","datavalue":{"value":{"amount":"+0.8804724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412007$5D801B6F-965E-47C1-B248-9BAA0FDC1A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fa5059ffcc68f37218ba393ebc8fe1391c2ec89","datavalue":{"value":{"entity-type":"item","numeric-id":6104478,"id":"Q6104478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7020018ffa0231729abb7c488507499455bf04dd","datavalue":{"value":{"amount":"+0.88001186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412007$09560657-A6F2-4309-90E0-3E11F59E1167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c24dfb547613157625a92964e3ee373e6c52ca7f","datavalue":{"value":{"entity-type":"item","numeric-id":3815356,"id":"Q3815356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a438631e76dbad161594d8687e373a21499ea38e","datavalue":{"value":{"amount":"+0.87997866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412007$88D37EC1-3F43-42A6-8ADD-4CBD27A599D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dce83f5a89557edb1d2eea8b9aef7cee643ff90","datavalue":{"value":{"entity-type":"item","numeric-id":2932348,"id":"Q2932348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f658d1219e28817fac8715b01b462d219dd19859","datavalue":{"value":{"amount":"+0.8770575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q412007$43DB763F-24F9-4F20-ADC3-75B5CE2D132E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The decidability of some classes of Stone algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_decidability_of_some_classes_of_Stone_algebras"}}}}}