{"entities":{"Q416985":{"pageid":418752,"ns":120,"title":"Item:Q416985","lastrevid":61748478,"modified":"2026-04-11T01:24:24Z","type":"item","id":"Q416985","labels":{"en":{"language":"en","value":"The minimality of certain decidability conditions for Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6032837"}},"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":"Q416985$2DF0FD0B-5FD3-491F-985A-7A440EDD177E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6847d60a424faf4ce900c5c071cbf92dcfe6d9e7","datavalue":{"value":{"text":"The minimality of certain decidability conditions for Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q416985$8C560131-330F-4EA2-8BC4-8975A0036C50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7a1123a88c83742817fc0a189b243f4a675baec","datavalue":{"value":"1252.03095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q416985$BBC1B965-76FF-4A63-B23E-97335C6AA9E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d639aaeea97c8e96647c9e00e63c81384e1233f6","datavalue":{"value":"10.1134/S0037446612010090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q416985$91BBC4D0-A86B-4067-B1DB-4BF6053EBE4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9b2d41664f264c0153edf4c8e63ae19a718d30d","datavalue":{"value":{"entity-type":"item","numeric-id":416984,"id":"Q416984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416985$87B8BF0B-A825-4873-AE19-FE329EDD4DB6","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":"Q416985$6714563A-5F28-4709-B402-9A0DBA8E4712","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c389f58e38360b59868aca1b4ab367674832e721","datavalue":{"value":{"time":"+2012-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q416985$E87E25E0-CE3F-4B9A-9C75-4A3A6FAA70BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q416985$790F34D4-6C8B-454E-8CF6-0A0019F7675E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q416985$E511005A-AC46-4948-AB40-9E9666FBC74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q416985$6B1CCBDA-9E9C-42B3-A6AD-3942CFAD3E85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bc36c3aa98428cf1c55c5f8d03c2b7ded8aec10","datavalue":{"value":"6032837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q416985$0FBE2E9D-3281-435B-8212-40693A41F079","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q416985$B89EF154-7AEF-4B95-8094-C4F05C1C366E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"746c1aa59372d7ae11ac5fee184d805965369f65","datavalue":{"value":"computable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q416985$AB733390-33D9-4F91-9708-9D915E338DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97eddc5524b4bd98f8e4b0d0299dec220add3876","datavalue":{"value":"computable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q416985$1C331A5C-559E-4425-B40D-5512830D4986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fb37c47a6de0b46d291ac9f506c16baf95b91d3","datavalue":{"value":"strongly computable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q416985$49FB48D4-D765-490A-9C77-85963513587C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce591c4f14f5d45cbe5dc3c2e1894f532150ca4e","datavalue":{"value":"\\(n\\)-computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q416985$63D7CE7B-B8FB-468B-B397-8598207A0C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad42cf61fa4c957578962d9bf1adc9089584c594","datavalue":{"value":"decidable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q416985$1E00E278-F939-4A99-9A9A-C21A7905D48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0536de7e2d0848b3de3d4f3bc8efcfd938d0991d","datavalue":{"value":"elementary characteristic of a Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q416985$27A2E6A1-517A-4C15-A76C-BBEA6E9503A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25d866e73f0071f8d1413207c3f9d9d62ddc3ca8","datavalue":{"value":"Ershov-Tarski ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q416985$3E7ED324-6C50-4680-8947-90254CE70228","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":"Q416985$F51F11F5-8F92-4184-B22A-BEA1A1EED320","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0996b297d7a93293d6093a367bbe6e07fedd1d9b","datavalue":{"value":{"entity-type":"item","numeric-id":4895321,"id":"Q4895321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416985$1D05E0DF-424E-4FCA-8FF5-E2A0B984A685","rank":"normal"},{"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":"Q416985$6ADE39EB-348F-4688-B38C-636187B34F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbdd32c649cb572afae443dc310064bdbc508693","datavalue":{"value":{"entity-type":"item","numeric-id":1249569,"id":"Q1249569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416985$BEFDA356-8227-4270-A0D6-21B7735F86BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf78011a76fa6fd21c1da295cab54aedc32a84f7","datavalue":{"value":{"entity-type":"item","numeric-id":1225613,"id":"Q1225613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416985$3D135BA4-89D0-49C9-9720-CFD2A1306C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72ce314853938b73357636239001f607d6cd5d4e","datavalue":{"value":{"entity-type":"item","numeric-id":4664637,"id":"Q4664637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416985$D216FA1A-6BB2-4188-A63E-C861E8E4A6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e1e8a53ead8242217478cee2052e74952f74d4","datavalue":{"value":{"entity-type":"item","numeric-id":5476784,"id":"Q5476784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416985$4F8BD245-E3F1-423C-AF72-DAB9490A2FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd86139a9131789c08c26eb7db547b02493f454","datavalue":{"value":{"entity-type":"item","numeric-id":1761055,"id":"Q1761055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416985$64E55396-9915-4C08-9CAE-084E161FC10E","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":"Q416985$E66722CF-92F1-4C04-8282-B80C101459D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7525754aa13640c4760d56d63caf82fdb4e191a3","datavalue":{"value":{"entity-type":"item","numeric-id":695763,"id":"Q695763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q416985$3BCE794F-AAD6-402D-86B0-AF841E2114B5","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":"Q416985$394D7EE1-74FD-4A4E-864F-992BE4007946","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":"Q416985$91365C06-8A55-40F1-8AA6-777A5F6752B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e217613964134f7c31e7c6902cd280bdf1bfa55","datavalue":{"value":{"entity-type":"item","numeric-id":2895849,"id":"Q2895849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41fa36fa91b151d9e9e2262269dae0462cd8fbac","datavalue":{"value":{"amount":"+0.9140994548797609","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":"Q416985$24342C61-20B4-47E1-8877-FFA172EB6B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fae8b29b88e883efb3e811b32e17dd9e2ba88a3","datavalue":{"value":{"entity-type":"item","numeric-id":1295398,"id":"Q1295398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df9eb06eb94c30fadbc98815bced48a208d5cd37","datavalue":{"value":{"amount":"+0.8379836082458496","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":"Q416985$984BFEC3-99E5-4DAC-A267-69D34863F2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f4f93bfcac2207b60c3f428254a9422c66d61c","datavalue":{"value":{"entity-type":"item","numeric-id":2569574,"id":"Q2569574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c23877424da4b26f4512aff1b9baba75c045d8","datavalue":{"value":{"amount":"+0.8171712756156921","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":"Q416985$B72E6227-96E9-4A3B-82BC-2FDC2A8244A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"871e377ac73fe581824fddd89bc123b372598fc8","datavalue":{"value":{"entity-type":"item","numeric-id":4895321,"id":"Q4895321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eaafbcbe2d30545d14b1ae03b36c20bb9a1a4dc","datavalue":{"value":{"amount":"+0.8024371862411499","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":"Q416985$A9BBF869-3BAB-4510-9EB8-BB846EDE1DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2816d8850833afc20ed81c64aec0dda4cbb2f4cf","datavalue":{"value":{"entity-type":"item","numeric-id":3130249,"id":"Q3130249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eaafbcbe2d30545d14b1ae03b36c20bb9a1a4dc","datavalue":{"value":{"amount":"+0.8024371862411499","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":"Q416985$1DAE6A6D-E250-4EE8-9E00-67B9867977A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The minimality of certain decidability conditions for Boolean algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_minimality_of_certain_decidability_conditions_for_Boolean_algebras"}}}}}