{"entities":{"Q5460160":{"pageid":7489719,"ns":120,"title":"Item:Q5460160","lastrevid":101045405,"modified":"2026-06-05T23:45:29Z","type":"item","id":"Q5460160","labels":{"en":{"language":"en","value":"\\(iH\\)-propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5270674"}},"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":"Q5460160$D391CB14-CFE5-48BE-B151-246AD17C6FD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"511bf96be667e22e7358212b163f2bdf9ec81409","datavalue":{"value":"1133.03314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460160$B7232C0C-9707-4123-B7AC-B5207B7216FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3ac8cc5083d8edca19e2d209ed8bdb2b5f4e0ec","datavalue":{"value":{"entity-type":"item","numeric-id":780235,"id":"Q780235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5460160$948A3064-47CE-4EE6-8326-36E8842CCBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09f4a06852e13d42d7d14c0a4850a262ac06947a","datavalue":{"value":{"entity-type":"item","numeric-id":5460159,"id":"Q5460159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5460160$FD2E622F-DF0B-4646-8AC2-4BA3C00780CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75c75b66bc7954ecf6190fceb4d4f75202bc8e20","datavalue":{"value":{"entity-type":"item","numeric-id":5173189,"id":"Q5173189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5460160$EC9FA8F6-A199-42B7-BFBC-22DF6A287E13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b479058984d73579b96cae588aff73ca5cc35fe3","datavalue":{"value":{"time":"+2008-05-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":"Q5460160$C782C7C1-B193-42A8-A66D-7EE2DC65DBFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460160$EA8D9966-95A3-495C-ABEA-0D24911B1BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460160$FAC4B0AA-1369-4429-8F05-587E41EFD328","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3adad0089b186a44791a857798c945302cff0bd","datavalue":{"value":"5270674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460160$A33B63F2-8DE6-4F29-BDB8-18462EE85447","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3573372e17068c5ec16028aa814fcdfae7d9cd5a","datavalue":{"value":"Hilbert-style propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5460160$688DDC8A-47BF-4CB0-A2F6-91197A2528C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff1f9c6104e8c617ba427e508ba49201cea1fcee","datavalue":{"value":"Hilbert algebras with infimum","type":"string"},"datatype":"string"},"type":"statement","id":"Q5460160$78D683DB-67B4-43A3-81AF-42CFA4910321","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":"Q5460160$C40D5747-EA6D-4EA7-8C86-BDBBBDA1081B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8386f61c46cc7da937082acd54e126fc8e1802","datavalue":{"value":{"entity-type":"item","numeric-id":4011579,"id":"Q4011579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"407f3f505274034a8437dc774ab8d197ef748b4c","datavalue":{"value":{"amount":"+0.8158061504364014","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":"Q5460160$94EAC855-253B-4C07-A1D8-A0E73CDF2FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ede143a1bdb9804aba2199aefaf1d44cc77ae4a","datavalue":{"value":{"entity-type":"item","numeric-id":4304150,"id":"Q4304150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a08b116f9f8429db239cfe9670b83a2c404ad4b","datavalue":{"value":{"amount":"+0.8140650987625122","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":"Q5460160$2660E41F-8981-4FA6-A66A-1A7A9B13A761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3339587abb13dd9da2727c47337e7ff72fcc1fff","datavalue":{"value":{"entity-type":"item","numeric-id":5436990,"id":"Q5436990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a66141c1c92da3f1e677c5fd1a68b92539fbc94","datavalue":{"value":{"amount":"+0.808053195476532","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":"Q5460160$9E28ACFD-D029-43AD-81CD-4D6CBDB95D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2f93f9aaf9a65cbecd827b20f1b8f08f434424","datavalue":{"value":{"entity-type":"item","numeric-id":5693577,"id":"Q5693577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83f232c67807207ae74717aa57461d26b34b640","datavalue":{"value":{"amount":"+0.798562228679657","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":"Q5460160$8144C71D-4BC6-47C3-8992-823E36C6993D","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":"466dfcf945e8e8985626b333a34d41441c6a574e","datavalue":{"value":{"amount":"+0.7967079281806946","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":"Q5460160$6B81EC35-0C00-4B58-8896-3C60BDDE1A4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(iH\\)-propositional calculus","badges":[]}}}}}