{"entities":{"Q2837764":{"pageid":2848488,"ns":120,"title":"Item:Q2837764","lastrevid":79456604,"modified":"2026-05-06T13:57:05Z","type":"item","id":"Q2837764","labels":{"en":{"language":"en","value":"The Horn theory of Boole's partial algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6186900"}},"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":"Q2837764$24C6276B-8CBE-4D17-8623-6CE5B030AABE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47b40b258080a7a6fe93371598ca4582d4b6c654","datavalue":{"value":{"text":"The Horn theory of Boole's partial algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2837764$456F3DF8-09D3-427C-BABC-5F52084A6E89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c89c1ae39786170fe23fbf3371044e0e50530dcc","datavalue":{"value":"1288.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2837764$F7F1BE4B-29E1-4644-AA16-09FBC046CCB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a3a1991129f0c8a62afa8111a1e1abd5b55d22d","datavalue":{"value":{"entity-type":"item","numeric-id":295915,"id":"Q295915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2837764$6215ED30-445C-449A-B997-7F20BAA9F679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b586c610b4126dc988da2f2411ac2d994312c53","datavalue":{"value":{"entity-type":"item","numeric-id":1883664,"id":"Q1883664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2837764$C0101AA8-F079-46D7-8806-20EBE76537DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2837764$06D89BE5-DCA3-4C3D-9D4F-FC5B595CA5F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"047d86768cd722adf7361cd32b1edc0a73808dc4","datavalue":{"value":{"time":"+2013-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2837764$A2259E13-6938-4498-8A1E-84143CFBB9EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edc07a4ff39a4a54ce61808f1521792e4a2c152b","datavalue":{"value":"https://projecteuclid.org/euclid.bsl/1368716865","type":"string"},"datatype":"url"},"type":"statement","id":"Q2837764$B7DA1852-D079-4D3B-8A9F-D006C2E3B229","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2837764$56A33E9B-DBA1-400D-AF40-CDE864EB6475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd0f006165ee82fae761f80e1a04a7310780c9","datavalue":{"value":"01A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2837764$AA8EC41C-AFA9-4799-92EA-9479D67F36A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2837764$1A31E7EF-86A9-4D8E-B76E-EDE924E26930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2837764$ED341D55-C137-4FB2-B3DB-D36750FCBE67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ffa44c4330ac90e0cc81c22c4d1bb69123f6986","datavalue":{"value":"6186900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2837764$9675303C-EE2F-46B5-BD2A-C67225B237CD","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":"Q2837764$794CF4EC-1AA9-495A-8441-CE94FEAABD84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b1a08fa5e29c13b89a85a03cc15ba5e8929717a","datavalue":{"value":"W2028356475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2837764$CDCDE84D-7571-4144-AFDD-96A6EBA5CD92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a772a69135f95b2222ba575e81e8791307cf98f7","datavalue":{"value":"10.2178/BSL.1901040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2837764$F2BC8D3D-FF80-45F8-B4A1-345930FC3D99","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5fb042e2049001679b5f17c0e7bd8e12d6b17a48","datavalue":{"value":"The paper under review concerns one of the two components of Boole's algebra of logic, namely his algebra of classes. Boole claimed that, with one exception, the laws of his algebra of classes agreed with the laws of the common algebra of numbers -- the one exception was the idempotent law for variables. The paper augments \\textit{T. Hailperin}'s efforts (cf. his book [Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. Amsterdam etc.: North-Holland Publishing Company (1976; Zbl 0352.02002); second edition (1986; Zbl 0611.03001)]) to place Boole's algebra of logic on a solid footing. The authors use Horn sentences to give a modern formulation of the principle that Boole adopted in 1854 as \\textit{the} foundation for his algebra of logic -- this principle is called in the present paper \\textit{The Rule of 0 and 1}.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2837764$BB437F11-C50E-4D49-A768-C28731D427A5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2837764$652B45C6-EC8A-46D7-A6C6-4749D980EFE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d912f919c6bef72b8fb489a6edfacf100c004222","datavalue":{"value":{"entity-type":"item","numeric-id":4665109,"id":"Q4665109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd975a6e2cb08a7549043b998faf6ae2aa16651e","datavalue":{"value":{"amount":"+0.765407145023346","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":"Q2837764$1E1577D6-613F-4797-A014-D956670A6FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f184211c7192536f497cc56eee4d2399fb261541","datavalue":{"value":{"entity-type":"item","numeric-id":5929603,"id":"Q5929603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a69634019f8a0e9b0aa9fbbbe91ab8696ee7a3f","datavalue":{"value":{"amount":"+0.760983407497406","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":"Q2837764$F49509C4-5E39-4D36-95AC-75302D5626F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c2fcc8b632d3bbc21292630f1a183e0ed079c9","datavalue":{"value":{"entity-type":"item","numeric-id":3824459,"id":"Q3824459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"809c146e1fb016c107c254cc0038963c19a131cd","datavalue":{"value":{"amount":"+0.7586784958839417","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":"Q2837764$63A3F733-1347-4B1F-8A3A-638E29F45F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8520ae25958038b387ce39abbaa4380c0f29573c","datavalue":{"value":{"entity-type":"item","numeric-id":4289238,"id":"Q4289238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af125d1ade22f0e6933cd74951c479b631acb387","datavalue":{"value":{"amount":"+0.7537174224853516","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":"Q2837764$25004050-6ABE-498C-B9C0-1BC7E8C97CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"169c9ded0d959918ee2bbe8797bef334a6fc3232","datavalue":{"value":{"entity-type":"item","numeric-id":269647,"id":"Q269647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bba5559ab106510941f712603d4b4f3b393b1949","datavalue":{"value":{"amount":"+0.737632155418396","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":"Q2837764$734AAB86-25C0-467C-976F-45DBA0DD622C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Horn theory of Boole's partial algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Horn_theory_of_Boole%27s_partial_algebras"}}}}}