{"entities":{"Q1954013":{"pageid":1964755,"ns":120,"title":"Item:Q1954013","lastrevid":51740552,"modified":"2026-01-19T18:58:55Z","type":"item","id":"Q1954013","labels":{"en":{"language":"en","value":"On Heyting algebras and dual BCK-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6174748"}},"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":"Q1954013$F38B2649-D446-42C3-966E-BA26624BB55B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"beaef101eee53bb5b33328c6ef19b97c96af1d8c","datavalue":{"value":{"text":"On Heyting algebras and dual BCK-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1954013$EE83622F-F9BD-46D1-9B90-88F7C59AE186","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0cfaedf4c23c580aa2834fb1e59985a6625db7a","datavalue":{"value":"1284.06017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1954013$31AF5C79-3229-4071-BF1F-487D849620D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5281aa7a8d079f979faf58762282320b9737aaf","datavalue":{"value":{"entity-type":"item","numeric-id":1954012,"id":"Q1954012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1954013$99EDF3AA-F747-40DD-BD0E-6D46CCFE7F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bd53e2b4f2e868b9f7b4709b94fdc5c933971ba","datavalue":{"value":{"entity-type":"item","numeric-id":162508,"id":"Q162508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1954013$331D2669-8CCD-4B77-9500-E646E83F85F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e559c2da8d64c3fc4f585ef31bf29afc7b517c45","datavalue":{"value":{"entity-type":"item","numeric-id":193074,"id":"Q193074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1954013$03700181-F48B-4FD8-87F5-72AEC9CDAA97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"792b9e0e0cb941ee8d8c3f37d482b4fb4b308e5a","datavalue":{"value":{"time":"+2013-06-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1954013$AE412F38-5A06-4B79-A6F0-7A1FE57FE724","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1954013$F0A81B77-7BF1-41B1-811F-B37330430C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1954013$22465D98-6D90-4E35-8379-3A66B137D8B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"144cdb30b72c098355de86f6e9ebfbead4e8f017","datavalue":{"value":"6174748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1954013$02F3066B-B1CB-4A34-BBC2-D2E83D84D714","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab8994ec824c9025e9185e7c201b160dfde05a44","datavalue":{"value":"Heyting semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1954013$2FC1DD83-801F-461B-8DC6-DB940F192D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1954013$D4726B9A-6693-48E8-BB86-CCB58F0DE4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f15b8a9f9a20a64124838e2b7318f79d386ee284","datavalue":{"value":"dual BCK-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1954013$D6E79C7A-1DD7-4BB0-A670-806496858448","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":"Q1954013$225B15C1-D56A-4538-8259-70A58B892C77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee3495e17fc834814603463d045f38b5c429ef5d","datavalue":{"value":{"entity-type":"item","numeric-id":3836005,"id":"Q3836005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e67cc169a7f5c39af395973985c2d399319068","datavalue":{"value":{"amount":"+0.8966354727745056","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":"Q1954013$BD4EF09D-2364-45B8-9075-575B24C7DFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e9d816b185b39bbe85f375ac4502a0824b693b","datavalue":{"value":{"entity-type":"item","numeric-id":2793296,"id":"Q2793296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c701273302b14c2b64712ced4500073811a29140","datavalue":{"value":{"amount":"+0.8245838284492493","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":"Q1954013$8C1A956F-D35E-4C4B-AA4A-31702632841D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adf0ce38d398c1e15b89cb418325aa16423edd9","datavalue":{"value":{"entity-type":"item","numeric-id":5265502,"id":"Q5265502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"532bd50920d06edee995a85c7872e9692d27c931","datavalue":{"value":{"amount":"+0.8082832098007202","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":"Q1954013$CA021349-0BF4-4427-8495-35FF4377EB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fc4598f4f1c46db1f213a75b94e99507151f2cc","datavalue":{"value":{"entity-type":"item","numeric-id":4332297,"id":"Q4332297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c079a76137900517bdf003eb45baf5670e1f032a","datavalue":{"value":{"amount":"+0.8026143908500671","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":"Q1954013$8B6F11A4-88DF-49A0-B6B7-4B41117D5DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e01ea8ec5ea69e892b1d7f324a3cae493a77f10","datavalue":{"value":{"entity-type":"item","numeric-id":4256083,"id":"Q4256083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"053238ebaeb276cd68116e81023da9d8a36cfcc6","datavalue":{"value":{"amount":"+0.7904596924781799","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":"Q1954013$B4BC36F1-D7D3-47E2-8741-840BE82D433D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1954013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1954013"}}}}}