{"entities":{"Q2941457":{"pageid":2952177,"ns":120,"title":"Item:Q2941457","lastrevid":85263899,"modified":"2026-06-03T06:32:59Z","type":"item","id":"Q2941457","labels":{"en":{"language":"en","value":"A single axiom for Boolean algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6476789"}},"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":"Q2941457$DBE15FB9-1E31-44E3-95B7-A00FD5021595","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7a906eaff13ec5c3deb0b8ff2a3993dd8f675a6","datavalue":{"value":"1326.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941457$1A382B9F-E26B-41FC-A2C0-DC5A9D33C426","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910e8f9a72e49e9edb80653949b2153ed8cbcfb8","datavalue":{"value":{"time":"+2015-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2941457$F6B1D77D-D573-464D-9CD2-9B942A896EB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aee74a14b8192cb06033e61add3fec2588faba41","datavalue":{"value":"http://www.jams.or.jp/scm/abstract/e-2013/2013-20.txt","type":"string"},"datatype":"url"},"type":"statement","id":"Q2941457$3F37289C-D4EB-4DEE-9D8F-31E7CA2A869B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b371d1874cad1f097258dc8772916f2bbc3599fe","datavalue":{"value":"http://www.jams.or.jp/scm/contents/e-2013-2/2013-20.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2941457$06D8001F-D289-4FA9-A672-125AE1CCD5AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941457$66C80B95-8E7A-4A90-A828-A53271B60810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941457$0195F829-90E3-405E-990D-6D505288D3F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4073ef13555b2062ef4c75da22c822277a4cebb4","datavalue":{"value":"6476789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941457$027BC866-7410-4CC9-9D90-D49B4C2EA3EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941457$8880C479-380E-4271-9AAC-36F69632FEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941457$AD949AC4-7774-483D-8B45-AEDCA818E4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a7c424fdc0293c9099ce63c5d95dfafc5457df4","datavalue":{"value":"single axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941457$BCE5E32B-C763-4BF3-8AEA-4AF61A6FEBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"259b7baab90a6a5fe1ffd08985fb2b91454e0040","datavalue":{"value":"Huntington's first system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941457$2D40C934-6DC8-4B76-BB52-C87133CD0AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e3a0e2aff2e74c53218a18d2b2ef010ec28648e","datavalue":{"value":"Lukasiewicz's notation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941457$248677FA-CA28-47A6-92C4-EC444DB3D8A3","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":"Q2941457$7AC0FAC3-515F-467C-9DF9-BEBA51C09EE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c923ddd15f79dfbca8384384648c8cac732f34c","datavalue":{"value":{"entity-type":"item","numeric-id":1800388,"id":"Q1800388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d9a752f4140ecd0b34c784a9c371d2b5b2e55f","datavalue":{"value":{"amount":"+0.8588986396789551","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":"Q2941457$8F567494-E29D-45D6-A89C-2991FB94C5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deea4212e95790d25a990563bb65730f82f6088f","datavalue":{"value":{"entity-type":"item","numeric-id":2837764,"id":"Q2837764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"184a643ded9f07073a3e0e7203ed25ffb13b226e","datavalue":{"value":{"amount":"+0.8300831913948059","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":"Q2941457$A9BDA959-7F13-4E5A-AB97-95CEE15FC820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10cca928a17c288950e7c56f9eed4c2e99fcdde5","datavalue":{"value":{"entity-type":"item","numeric-id":1869610,"id":"Q1869610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4faacc162a517ac54d3e5f00705a77c774e2813","datavalue":{"value":{"amount":"+0.8248592615127563","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":"Q2941457$B010AB37-5331-443A-9A80-880B25AE17A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36bf6f375ccd52ff62af458bdcb62b7468803a16","datavalue":{"value":{"entity-type":"item","numeric-id":1343391,"id":"Q1343391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96aacea7b3583dc7a08106ec013d8bc94eec841e","datavalue":{"value":{"amount":"+0.8019126057624817","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":"Q2941457$3EAC215D-142D-4F8E-9AE2-7992E90D4849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698cf6bf1a8a67664b0b5c3e4883afccd07f05b6","datavalue":{"value":{"entity-type":"item","numeric-id":4940424,"id":"Q4940424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1b2e9820cdd339b6e7a4517e9445b707b847d7","datavalue":{"value":{"amount":"+0.7981915473937988","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":"Q2941457$D1A77D53-6A26-496E-A549-B04CD378D8D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A single axiom for Boolean algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_single_axiom_for_Boolean_algebra"}}}}}