{"entities":{"Q2826389":{"pageid":2837127,"ns":120,"title":"Item:Q2826389","lastrevid":83652176,"modified":"2026-05-07T09:43:37Z","type":"item","id":"Q2826389","labels":{"en":{"language":"en","value":"Comparison of several proof systems of intuitionistic propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6639595"}},"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":"Q2826389$48943D1D-F2E3-4FD3-8AA5-9819BD5887F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a094f99eb020b05f14c4982cfb916f4b9574c342","datavalue":{"value":"1347.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826389$167C6555-39F8-457D-A5E8-CE0DD713867A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bc39b2657faf065db6d293cfad5623b8008db6d","datavalue":{"value":{"entity-type":"item","numeric-id":2826388,"id":"Q2826388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2826389$1DBA0C6C-3ED1-4FF8-AECB-F4B039133901","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a46b139610635e17a6c34185783585df87c58c4","datavalue":{"value":{"time":"+2016-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2826389$A2653B17-1E0B-4C45-9B48-4A4C0C4C8FEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af0551b15a5eded7cdc8b0fd88454ed1676b0ed1","datavalue":{"value":"http://www.ysu.am/files/5-sayad.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2826389$D9047BFC-68B5-48F1-870B-2D093BFE7F70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826389$0D15D4AE-1891-44F6-AB99-C35E6FFD354D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826389$5B0CBEF1-18F4-4DC3-AE81-D7767B03BD53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b1299ede79df3ab8bce3e95b92b47726830e6e9","datavalue":{"value":"6639595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826389$B66E725E-BDE6-4F87-AEDA-16BE42548919","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":"Q2826389$05B4F2F1-F38E-41E0-B3C2-6771C3E0C11A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd1b38a66cf170952ce20104c925959cc5a071cb","datavalue":{"value":{"text":"Comparison of several proof systems of intuitionistic propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2826389$EFF1E77F-0903-4CB2-948D-608F694EE1F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d6a0ccedcdcf3a6cfffed0fe820e0462007fbbe","datavalue":{"value":{"entity-type":"item","numeric-id":6772128,"id":"Q6772128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2826389$E1F88C1D-2B8E-44AC-920D-58EDED2F3E33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43db44d2a19daeb8f2c3c361338b1df38ab6c8c3","datavalue":{"value":{"entity-type":"item","numeric-id":2455258,"id":"Q2455258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1e4aff445c4af5cd3fae235b1f7d5d6ca9d2bc","datavalue":{"value":{"amount":"+0.8554204106330872","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":"Q2826389$E6BF0141-8FD8-4277-9535-4579CEF48118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9286a1238addcd6ea2ba1dc8732a06a9794159b","datavalue":{"value":{"entity-type":"item","numeric-id":5460922,"id":"Q5460922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c6c594c06993d511b8575986685667646ad216","datavalue":{"value":{"amount":"+0.76751708984375","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":"Q2826389$1AE7BBC0-867F-4134-A37D-6595EA3D4D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef938da9dfba3b5484628d38cc97b810578fa0b","datavalue":{"value":{"entity-type":"item","numeric-id":3643316,"id":"Q3643316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0687de9015d2eb666f419ae6d201e464cc020e98","datavalue":{"value":{"amount":"+0.7627467513084412","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":"Q2826389$EF24EEB3-6430-4838-913D-C659C2145312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fb0405a3492fe98e52c2328cf020bcb32911ac","datavalue":{"value":{"entity-type":"item","numeric-id":377482,"id":"Q377482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07fcfc46806ac476b8e1b8d98c90ecf80ab916a1","datavalue":{"value":{"amount":"+0.761339545249939","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":"Q2826389$B7911331-F174-4C3A-9621-E4848BD2E475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d65f8a6861137e5dd56db0ac3070848833f2bd53","datavalue":{"value":{"entity-type":"item","numeric-id":5955616,"id":"Q5955616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a586f22572401b4773aafa66ba888128ee410c4","datavalue":{"value":{"amount":"+0.7591999769210815","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":"Q2826389$97785070-D380-4A94-8FCB-120E3EEA28CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comparison of several proof systems of intuitionistic propositional logic","badges":[]}}}}}