{"entities":{"Q1984156":{"pageid":1994898,"ns":120,"title":"Item:Q1984156","lastrevid":57479361,"modified":"2026-03-31T02:47:27Z","type":"item","id":"Q1984156","labels":{"en":{"language":"en","value":"Hilbert implication algebra and some properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7394667"}},"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":"Q1984156$532BD0C9-50D9-47E3-8231-AA149FAEED18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab3c2e66117aeae5f25fbf777cf3eceed6dc4160","datavalue":{"value":{"text":"Hilbert implication algebra and some properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1984156$570F5624-B974-4ABD-AA6D-B53996A99F01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"840d161f0c50478b6ec269087c1d118f333a8c29","datavalue":{"value":"1499.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984156$699D10EC-B31C-4F6E-AE7F-C6E35C7597EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f070e810e5b32684d07e27f4e15a09e44b738a3","datavalue":{"value":"10.1155/2021/3635185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984156$ED16E7C3-0171-478D-99D2-2474379B27B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2afb95b394858867db9b9123bd3faa2d88a4fe2","datavalue":{"value":{"entity-type":"item","numeric-id":1984155,"id":"Q1984155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984156$ECF37467-49DA-474E-9AF5-03A67A396EDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb299feb2b87699ac8beef494c52fd2765eaf609","datavalue":{"value":{"entity-type":"item","numeric-id":118601,"id":"Q118601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984156$5E4367A1-7183-4617-9A99-067062FE79CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40cd7f874d1887973443b158642586a3e9670362","datavalue":{"value":{"time":"+2021-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1984156$C63DD0EB-D10C-4E70-8CAE-EAEA900B79F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8c903faef60b7de22eae311a897dc67622c9214","datavalue":{"value":"Summary: The concepts of Hilbert implication algebra and generalized Hilbert implication algebra are introduced. The comparison theorem of Hilbert implication algebra and generalized Hilbert implication algebra is proved. In addition, the idea of groupoid and commutative Hilbert implication algebras is investigated. Ideals and filters in Hilbert implication algebras are also discussed. In general, different theorems which show different properties are proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1984156$EE0C27BC-464D-46E0-A001-54EF4CA8D9C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984156$A3F271FD-9A48-43D9-A2C5-B3AB79EA2382","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fe0f27f0ae63b04427689e7ad642d3cb01ec775","datavalue":{"value":"7394667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984156$B536B165-3AB6-43E8-870C-788B0EAC4F1E","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":"Q1984156$D36699DB-9AFF-45BA-A23F-D4A5BA036B8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"723ad314802652c577c76c5e81d0bd9c94f2d218","datavalue":{"value":"https://doi.org/10.1155/2021/3635185","type":"string"},"datatype":"url"},"type":"statement","id":"Q1984156$D3FDB832-4859-4604-A265-95C41BB4CAEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01044f9f1998cb417ce11f408f8d37a2b6ad2c49","datavalue":{"value":"W3184780527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1984156$BFDC5E32-E650-4AFE-B83C-F74AB3638B44","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44975eced3845e42008ab1b6eae2057eaa012f21","datavalue":{"value":{"entity-type":"item","numeric-id":1599704,"id":"Q1599704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984156$A7EFBF77-A403-4A8F-87CF-DC87B1F3EDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"124a7abbcaefb619e048c90f18641de4e31d3e4a","datavalue":{"value":{"entity-type":"item","numeric-id":4785586,"id":"Q4785586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984156$63C1EC27-D2A4-48F7-8CE6-72F44BA7DC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9e70f1710436178d96b5f6819738755593a92b","datavalue":{"value":{"entity-type":"item","numeric-id":5438762,"id":"Q5438762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984156$C6855081-9EEE-4F33-9CD0-DA1EB187F446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c621eb64c0a3bf2097ffc35eccf5266f67b5fd9a","datavalue":{"value":{"entity-type":"item","numeric-id":3458520,"id":"Q3458520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984156$7DFDDF74-63E8-4E77-B263-6CF9282900A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ffc700f5bae4df3188bfd29f34da7c04563adb0","datavalue":{"value":{"entity-type":"item","numeric-id":4629292,"id":"Q4629292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984156$3BAA2AD6-F3C9-4203-A0A0-56D45568210F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a97da18f8928435a247b9707c448d69260a608f2","datavalue":{"value":{"entity-type":"item","numeric-id":2464687,"id":"Q2464687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c715ff2009fc466d1952ed57638f9b201d5a302b","datavalue":{"value":{"amount":"+0.8381333351135254","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":"Q1984156$D76C455F-849F-43C5-A893-58035C4B058C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3299451f23d061419df7c34780ea0192669236ff","datavalue":{"value":{"entity-type":"item","numeric-id":2318286,"id":"Q2318286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6c5dc5a43693ee9b05fff941535d7dfb897fb8","datavalue":{"value":{"amount":"+0.8320615291595459","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":"Q1984156$B8EBF8E1-C930-496D-B148-F1E08A17C4FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1602e11af9c274d690a69e5a49ca6503fc99321","datavalue":{"value":{"entity-type":"item","numeric-id":3458520,"id":"Q3458520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"386e584266663fd5f92130a1774f1f55329685e9","datavalue":{"value":{"amount":"+0.8292232751846313","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":"Q1984156$9B9DE878-DE2B-4739-BD8F-7E27B3B84808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e8b6a570f1a1aa2b4077aae7c59ab6c50c8852","datavalue":{"value":{"entity-type":"item","numeric-id":4950672,"id":"Q4950672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83235d34d25e53d7b62a838d25a26c7aeffa5b84","datavalue":{"value":{"amount":"+0.8255691528320312","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":"Q1984156$361BF232-A3F8-492F-A8ED-0A1D52249355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3724e564475b6eafe5ecaefd866abee70dab649","datavalue":{"value":{"entity-type":"item","numeric-id":3588666,"id":"Q3588666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46561207f943c2feea4e08c8a726840f5480c5a5","datavalue":{"value":{"amount":"+0.8226171731948853","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":"Q1984156$9B3D97CA-A1A5-456B-911E-38F8032823C0","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1984156$ADC78C66-2EE2-4D1E-A24E-EA4CB600F619","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1984156","badges":[]}}}}}