{"entities":{"Q2826425":{"pageid":2837163,"ns":120,"title":"Item:Q2826425","lastrevid":83652257,"modified":"2026-05-07T09:43:38Z","type":"item","id":"Q2826425","labels":{"en":{"language":"en","value":"On proof normal forms for some systems of classical propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6639620"}},"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":"Q2826425$111B01B2-E0F1-41E5-9C7C-61F2A3200D55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1dd5320c7e7aa868d535adc8ee32b1efd14e5a28","datavalue":{"value":"1347.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826425$076E349C-1B17-4B82-A7A6-F65C6583D0CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2756d7e1e24e3133ed2efe89d3089277830365b","datavalue":{"value":{"entity-type":"item","numeric-id":2826424,"id":"Q2826424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2826425$834FD7E1-4DDA-4571-8E26-7E148973E9D6","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":"Q2826425$F382D9C8-73BC-4360-99F7-0F6B593D7A77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05af9c88372c9c23f65b2c024450effdc58c408a","datavalue":{"value":"http://www.ysu.am/files/5..pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2826425$55DB1D61-3C77-4E1E-A297-A6EC9555F1A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826425$A8ECD71D-8A8B-4748-8BD4-3D513EFF78EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826425$4FBEA794-0C4E-4D7F-B1A4-D51C0305C73F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0135cfb9798170dfa1e2cdfda1fe604d8befb070","datavalue":{"value":"6639620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2826425$A3F39ED5-F823-4268-9369-1D86DD8607B8","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":"Q2826425$1E9432E2-98B4-4764-BF09-9E96F67282FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8745ce5a1d405455f745fd95ec2050b0c314ecb0","datavalue":{"value":{"text":"On proof normal forms for some systems of classical propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2826425$F05EC92E-A045-44F4-907A-89EA924194E7","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":"Q2826425$926B83B5-AE08-47BD-966B-4D57E772F79E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"528831c1f9ee1e33a01b0fcfdd31b08472100510","datavalue":{"value":{"entity-type":"item","numeric-id":2965238,"id":"Q2965238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e7e19fc165e79a73c71f51151297a3a6fad57c0","datavalue":{"value":{"amount":"+0.8506709933280945","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":"Q2826425$914692BA-7A5B-47E5-AAE8-56A12300145B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ef7516fef19e6ad66dadf2480597f1ae72fc3d","datavalue":{"value":{"entity-type":"item","numeric-id":3081620,"id":"Q3081620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11293ac5c48888d967b1342d12b4eddfebb553a9","datavalue":{"value":{"amount":"+0.7881216406822205","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":"Q2826425$D7237F75-CB9C-4978-866D-93B92CFA5ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d7cee953fe1937bf532e79a63b5ecf3e0581e8","datavalue":{"value":{"entity-type":"item","numeric-id":5894972,"id":"Q5894972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9543f1cae71447799d90c6ac4fdc4679f0dccdf8","datavalue":{"value":{"amount":"+0.7849076986312866","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":"Q2826425$45301992-095B-4936-AFD4-F4F47F321DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2277ff7c41191c25c17b3cafdb32706d5effd7a","datavalue":{"value":{"entity-type":"item","numeric-id":4010371,"id":"Q4010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2e07143c4e75a09e8629e8b2eb665c32cb2eb2","datavalue":{"value":{"amount":"+0.7839249968528748","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":"Q2826425$6F6C76C0-8D4A-440B-BAFD-6A530F04B624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35a882d95def01bb1e340945d093cd4b5396128","datavalue":{"value":{"entity-type":"item","numeric-id":5100154,"id":"Q5100154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa253b1faae25e14becc5d522af6b897b1d4961","datavalue":{"value":{"amount":"+0.7839248180389404","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":"Q2826425$65CCE43C-9D05-4CBF-AEC1-100DC35CAD47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On proof normal forms for some systems of classical propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_proof_normal_forms_for_some_systems_of_classical_propositional_logic"}}}}}