{"entities":{"Q5955902":{"pageid":8132704,"ns":120,"title":"Item:Q5955902","lastrevid":97737791,"modified":"2026-06-05T15:19:28Z","type":"item","id":"Q5955902","labels":{"en":{"language":"en","value":"Implicational lattices and generalization of Stone's representation theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1707020"}},"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":"Q5955902$F0F22F92-BFF7-4261-BD7E-6581815FC368","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92bbc13b5a6eee174ddc57d9d4878a61d576b9f4","datavalue":{"value":{"text":"Implicational lattices and generalization of Stone's representation theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5955902$069A33C3-CEB5-4475-97EB-72BD48F66D65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cac10c219a4b5c57872d703171a67d7479c49776","datavalue":{"value":"0983.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955902$F66D95E3-A087-4688-BF6A-1E6082022575","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95cd9c9d3574bb2313a710f5164dbd8e3a701621","datavalue":{"value":"10.1007/BF02884633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955902$A5A60737-852E-4F68-BACA-CE1EDA23FD6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0124a27f3100a2fb0fec1e652cf4490d1b906b","datavalue":{"value":{"entity-type":"item","numeric-id":163213,"id":"Q163213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955902$CC4CF597-109A-4DC2-A658-0DFF8AB711D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45e1edb64efeee080173451c87c3f0c1d8534742","datavalue":{"value":{"entity-type":"item","numeric-id":174829,"id":"Q174829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955902$1B5EEA53-3A29-417E-917F-D1BC357B68AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e53cf98f1180bc6cc83969e8a66733f9be7d258d","datavalue":{"value":{"time":"+2002-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5955902$F87386DD-35BF-4BC9-A4BF-CF3F48764083","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955902$D68D82AF-ADAE-4057-99D7-FB69783550B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955902$659CB7A1-9D74-4D4A-8B3F-7E052C6C8D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955902$56D77E6E-DE12-4202-9FD8-614FE8CF4D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0cf4f54dcf76751df31d814baad823818421bbd0","datavalue":{"value":"54A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955902$06E6BCBE-B16F-4DC8-8A57-C220F33B8ADC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad051bd35be8eceeef17de7ddb56c4af139a3d11","datavalue":{"value":"1707020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955902$FC45566A-5EA6-49B9-B669-46DFA84747D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5807dd2e315e94af1fa5e67883b4cf4934a838ef","datavalue":{"value":"\\(R_0\\)-semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955902$E4805D09-CE90-4DD7-B3E6-3A15EEA3E813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf79799a17cb36599c0b47cdc4eadbd954d76f0","datavalue":{"value":"\\(R_0\\)-semantic Lindenbaum algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955902$5A15D0E8-C192-4C42-BC36-F6C06DDC1FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e90cd3a47d07ef720a960cc05d1c991fc987f107","datavalue":{"value":"regular implicational lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955902$51A8D128-93F8-4CD5-AD2D-77E796413463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fd69b19a72056e54834cdb0b329604c0daf57a0","datavalue":{"value":"fuzzy implicational spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955902$C5BCF744-76BC-4C28-B16F-6B88EC44C3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b9dc8ad3d716500945f24344bc628ac3e6598e","datavalue":{"value":"representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955902$8FB8F25F-1CB2-40CE-80D5-AA17CC3116D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c82904253b8cf8b4f62ecfb9547ac5a5bd1327a","datavalue":{"value":"Stone's representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955902$16360986-3498-487E-9F64-B2AB760C392A","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":"Q5955902$E888B076-E6B9-4816-8F3F-8E3E51759F4A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955902$A3715773-B15A-4751-A5AB-43BEBBE23B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bd18dc3ae65742d7298a1be1bec470d4442d82","datavalue":{"value":{"entity-type":"item","numeric-id":4693586,"id":"Q4693586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955902$AABEDE57-FDD2-4DBB-A4A6-F31225509341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a817582b2877161f03cbeee337693db2be6016bd","datavalue":{"value":{"entity-type":"item","numeric-id":1376008,"id":"Q1376008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955902$6B6A25B5-1FAA-499E-9DE4-D69E092823A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a54e81c2e4e5b4954daf26f4be1f180e3c0d4873","datavalue":{"value":"https://doi.org/10.1007/bf02884633","type":"string"},"datatype":"url"},"type":"statement","id":"Q5955902$1A03C78D-E5B9-4191-98C2-EB5FC700A379","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3200c3d21f58d33610406e85ab51dc548441d206","datavalue":{"value":"W111131193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955902$C3E1FF57-6A22-4FC5-8B83-9BF4F91B37F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbf573cb384708fd9c99a21c2ef66099dfde0b2","datavalue":{"value":{"entity-type":"item","numeric-id":4237708,"id":"Q4237708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afed51df86f2ebe22002677629704dce9810c3f5","datavalue":{"value":{"amount":"+0.9307138","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":"Q5955902$CBADF280-CDF9-43E7-A454-12CA2E8F449E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac57b367bb0a1d7e293ffd8bda20174dc6052927","datavalue":{"value":{"entity-type":"item","numeric-id":2712554,"id":"Q2712554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df05ff451d8f6a78bfd5d5911167663b8a05f4c9","datavalue":{"value":{"amount":"+0.905362","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":"Q5955902$A0D3945E-D1A0-452D-8F77-784232F20697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4264a869ffb837fc4728197b207da24ac0f33ee8","datavalue":{"value":{"entity-type":"item","numeric-id":5144400,"id":"Q5144400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"431fb915f306c1def0461ec271b13ead9e8757bf","datavalue":{"value":{"amount":"+0.9041582","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":"Q5955902$B5160542-93B4-48F2-BDB0-026B66954001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"017c9298ead673810c92cf26c40da667e7dc1aa6","datavalue":{"value":{"entity-type":"item","numeric-id":4032849,"id":"Q4032849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf385c00b2cbffd318aeb89b18ba038d27780e3d","datavalue":{"value":{"amount":"+0.9032924","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":"Q5955902$ACD8F289-FF54-4EE2-A6EF-EA99C576B959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6f02057b5dd636dd9f93d146154c1da7a012224","datavalue":{"value":{"entity-type":"item","numeric-id":3148081,"id":"Q3148081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa37f0ee7f14167ab9bddf29f664c67f4a6f4e5","datavalue":{"value":{"amount":"+0.90115523","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":"Q5955902$B0A68F6D-FE6B-427D-9214-EF55387778D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1dd92ea61626a4472e0b37414a717577f2f97cf","datavalue":{"value":{"entity-type":"item","numeric-id":5283974,"id":"Q5283974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96758995570867c8272bfdc2b3e802941bda80fc","datavalue":{"value":{"amount":"+0.90041596","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":"Q5955902$319C6DAA-F60B-46A7-9675-AF3CD53F6B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f771fe7723ac55232c0933919d885ded68fcc4","datavalue":{"value":{"entity-type":"item","numeric-id":4695517,"id":"Q4695517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f684e293189bda8f3078010a8ee1b95d50f2ad","datavalue":{"value":{"amount":"+0.8998956","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":"Q5955902$B6312C2F-58D8-4DA2-82D0-132F35DA27EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b569d4326cbcad3973e6b815829ff62f5ee22289","datavalue":{"value":{"entity-type":"item","numeric-id":5397230,"id":"Q5397230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ed6f967ad4c7cdb357fff5a9a2c1d165e9b1fb","datavalue":{"value":{"amount":"+0.89968103","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":"Q5955902$CD91476E-6792-418D-9876-661ACBB24F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714fe8863cda7fcdf0dd8d060f61d42c28e0ebf3","datavalue":{"value":{"entity-type":"item","numeric-id":4704397,"id":"Q4704397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e60df2820ee7c469f059670313637f6571127a","datavalue":{"value":{"amount":"+0.89907867","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":"Q5955902$4D5088DD-29C2-4D91-8494-348799E8D6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6806eaa8d49cfc67340b8b93b27bb00780180b61","datavalue":{"value":{"entity-type":"item","numeric-id":2399917,"id":"Q2399917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec8ba45ecc38829b8e0196ef0d8bbd3f439c2b14","datavalue":{"value":{"amount":"+0.8978447","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":"Q5955902$9684FD1C-E031-4D66-A045-73C0598F6F62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implicational lattices and generalization of Stone's representation theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implicational_lattices_and_generalization_of_Stone%27s_representation_theorem"}}}}}