{"entities":{"Q4876809":{"pageid":6906388,"ns":120,"title":"Item:Q4876809","lastrevid":46420344,"modified":"2025-12-24T18:20:08Z","type":"item","id":"Q4876809","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 874285"}},"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":"Q4876809$656A776D-3B1F-4BE1-96AA-9959F814AD42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21d2eac897388397ece993e3fd5935d96525b6ab","datavalue":{"value":"0842.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876809$A039BFBB-1A43-4855-B665-22882E0A6C37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"209cefe6a0eff535f4f35c7d031fafe4337e548f","datavalue":{"value":{"entity-type":"item","numeric-id":588943,"id":"Q588943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4876809$E5F9D62A-B294-4DE6-9B84-6DF5E605BE85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fccc18d6c4a5ac2eec70cdab732eae3cab6f1c7","datavalue":{"value":{"time":"+1996-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4876809$F09D438E-7396-4BA9-B960-627536B293E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876809$1B939345-C1EC-4FA3-82F2-B41EB1076B72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fde1a1502c7fd51efc2e1c9fc878674ad6e3fff0","datavalue":{"value":"874285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4876809$38C68DA4-5D17-4C6A-845D-CFC2A1A30F3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8ea5a92b1759cef1a2417e84c1a0f66f66e4d2e","datavalue":{"value":"Glivenko's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876809$EC2AE3EE-1F8F-47DE-AA98-620BFB3AAA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee52456d706b55371f38568eb4ab302c73ee3ed1","datavalue":{"value":"Kleene logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876809$EA3BECEF-DAA3-4689-B833-ADAE9EBB8C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa6e0420a7e89ef9f1ddec92279c14ca50a9521b","datavalue":{"value":"weak deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4876809$99A94334-5095-4B69-A802-CB4808B6323C","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":"Q4876809$15BCE839-D2CE-41B4-BD98-07CED550C609","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2a7722cc1dce88272a064f6efedc2bc0c2d415f","datavalue":{"value":{"entity-type":"item","numeric-id":1035660,"id":"Q1035660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72efa34372a2f1f947b3a6cd12ab35e09d72b399","datavalue":{"value":{"amount":"+0.8201459646224976","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":"Q4876809$00B66DA6-7A6D-488C-8BAC-C272AA0EBECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72a90cf0b5a28db7b7809cb54b64f2a96617bb0","datavalue":{"value":{"entity-type":"item","numeric-id":377463,"id":"Q377463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b4c82620ab05c0d545276668548e3267b5be15","datavalue":{"value":{"amount":"+0.8135963678359985","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":"Q4876809$3ED5EB0C-1E9A-4507-A0FF-0C6D56EB3DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085f544a6332525abf44494e49a42d29de60addd","datavalue":{"value":{"entity-type":"item","numeric-id":2804042,"id":"Q2804042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53eaee6ae4ee514d47345866f6bed040459f663e","datavalue":{"value":{"amount":"+0.8029444217681885","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":"Q4876809$D11EDEB4-C5EC-4835-B897-56DD74A7AF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e52b873fa27c760854dfcb3a7663a4593d8eb486","datavalue":{"value":{"entity-type":"item","numeric-id":931403,"id":"Q931403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"942707d3e2a82aa133e616c1a97508ab1495341a","datavalue":{"value":{"amount":"+0.7897236347198486","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":"Q4876809$E3F24DF9-78BE-4B83-99A5-8FB7FC32BD71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4876809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4876809"}}}}}