{"entities":{"Q3574872":{"pageid":5604776,"ns":120,"title":"Item:Q3574872","lastrevid":51029549,"modified":"2026-01-16T07:02:08Z","type":"item","id":"Q3574872","labels":{"en":{"language":"en","value":"On pseudo-BCK algebras with pseudo-double negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5730153"}},"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":"Q3574872$35BA57BF-EB8D-4B06-9BF0-85CFE6EDF8C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5a0dfa740ec12e9831f0af45513149f7e096e91","datavalue":{"value":"1212.06046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3574872$9A24E66C-4EF3-4879-AF35-59E279ADA7F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bf6d0a4618a804858ae584687cec02ca3596cb6","datavalue":{"value":{"entity-type":"item","numeric-id":344088,"id":"Q344088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3574872$0F1B0C79-9110-4D23-B518-88B8DDF6987E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9edd764be965e6e5db4e2e9aed93bbf3833eaad9","datavalue":{"value":{"time":"+2010-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3574872$3F4D0BA7-934A-44BE-B4B5-D530A34D114E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3574872$519F6780-4DAD-4D3A-8351-B16901FC631F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3574872$3B381E33-BACF-465E-AE07-F646394C443C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e5df199f3ee24430cc0c11a358833ec36b73b5d","datavalue":{"value":"5730153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3574872$25F2B252-FC47-46E5-A3E7-5EE57D25BE4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd2300220806bed7d533fef7af3afe1fe3045c7","datavalue":{"value":"pseudo-BCK algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3574872$847C9E16-4690-4FF7-8B10-F06C899C1F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4753e6703b75f5622685afb5bf0b61bb508d09ee","datavalue":{"value":"pseudo-BCK lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3574872$B2A4E668-B6DB-4FD4-A55C-D8E4DCEB38FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac610683770546d38eed7e2ba08baabda3b1bfa","datavalue":{"value":"pseudo-BCK join-semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3574872$419B2D37-C0EB-40F0-A756-69AD8CD85F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00e79069b7f49421c5e514829b29640f8ebb478b","datavalue":{"value":"pseudo-BCK meet-semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3574872$9FFCE24F-567E-400F-B9C0-C13D75FE65F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dace673f895539da2b4bea41815e05143796b48c","datavalue":{"value":"pseudo-double negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3574872$EA63CF2F-32DD-44F7-A8FF-201B14F28C36","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":"Q3574872$D6533D10-2257-4F66-9A50-5DBFE0D1C86C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8da532dcd6c7d33111b214d0a62a4936694c3719","datavalue":{"value":{"entity-type":"item","numeric-id":5439793,"id":"Q5439793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e5d8997e213dc02661e6f6f805a93ca719cb8e","datavalue":{"value":{"amount":"+0.8562553524971008","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":"Q3574872$6BBD2C94-C803-4867-B612-8F1D1E8FBB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96fd70a221864a475c0c0b485f51e08404d2ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3508717,"id":"Q3508717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a8bb1866d78f0cfc14020583740a875cbe0400f","datavalue":{"value":{"amount":"+0.8534151911735535","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":"Q3574872$D824DA2F-CAEC-406D-B9F0-67A68E271D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0624f0a7308d2a08547f6be427cf2eb7c383d539","datavalue":{"value":{"entity-type":"item","numeric-id":600369,"id":"Q600369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78bad93bb42521c9fc95d2b196477cbfe289e8f0","datavalue":{"value":{"amount":"+0.8256163597106934","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":"Q3574872$B691433F-C2FE-481D-8BD5-6BF256A440C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6b567cefd50176030dc1a9db41ace8eab74ad0c","datavalue":{"value":{"entity-type":"item","numeric-id":5442313,"id":"Q5442313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bbe519be4d24a89f4b35918439b0c07e776ef04","datavalue":{"value":{"amount":"+0.8196150064468384","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":"Q3574872$078A980B-2BBB-4076-9C29-E0498C92922F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0d3bbb66f98c7ce2c2f1051c93cadf5b740111b","datavalue":{"value":{"entity-type":"item","numeric-id":3629319,"id":"Q3629319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9d0251741b0bb601fed66d7fa2bf18fac596555","datavalue":{"value":{"amount":"+0.8189445734024048","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":"Q3574872$AD3EAF82-D2D2-42B8-BDFD-A5F952868903","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3574872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3574872"}}}}}