{"entities":{"Q3007254":{"pageid":3017978,"ns":120,"title":"Item:Q3007254","lastrevid":79865819,"modified":"2026-05-06T14:53:27Z","type":"item","id":"Q3007254","labels":{"en":{"language":"en","value":"Classical natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5910650"}},"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":"Q3007254$103B9616-6F64-4248-97FE-72E698F0D3E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64b10b74b56626594f1185ab04c505dcddfe5f63","datavalue":{"value":"1279.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007254$33E20753-7433-4BB6-8842-B1FBA68DA21C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd74b551dc598d94e51622f5fee0611a3782ba4c","datavalue":{"value":{"entity-type":"item","numeric-id":281147,"id":"Q281147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007254$5BF39766-B73C-48BF-A266-8EA7BF5C5DC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaadc694b5c90aa791eb86162a7f02b09c9e536f","datavalue":{"value":{"time":"+2011-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007254$7E05F1E6-083C-4D0A-81F2-9D51BCE3B232","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007254$E31C7599-E8F2-4C3C-A9AE-AE926F70D146","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e14d51d094bede4202b6e4cbf3052619e0ab28c","datavalue":{"value":"5910650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007254$B402D036-98F8-4EC7-8949-4BEEAFD960A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"477a110720173826580d8d0b7b72aae33f1f7c1b","datavalue":{"value":"classical analytic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007254$CBB8E77E-BC2D-4E78-949F-D135E97C9CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007254$BBD17876-A212-49D1-BB84-3ADAD775E17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007254$2033C266-8D13-4DEC-BEE2-92FB37F04825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9d8f1da63175f066bb990e8f17f2cef8ea37ba3","datavalue":{"value":"strictly analytic refutations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007254$21AA0F7A-059F-49ED-BB8A-A31EE9D2FC34","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":"Q3007254$4C3C2662-6C8B-40C1-86B4-3F40AD5AC31C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0786f417d58cde01035ee16bc50864740cb419d1","datavalue":{"value":{"entity-type":"item","numeric-id":4264064,"id":"Q4264064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ac0343ffac1104c23dc193844536cd1a31de108","datavalue":{"value":{"amount":"+0.7902460694313049","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":"Q3007254$EF8FCF0D-6908-4BD3-BFB8-FA7B5026D3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9f633fbfc462c62fc2b5a1a1bd52c4b4f11392","datavalue":{"value":{"entity-type":"item","numeric-id":2890694,"id":"Q2890694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6925bbf76d9e26eb158aea7f1958987bf71c93e3","datavalue":{"value":{"amount":"+0.782928466796875","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":"Q3007254$9BA32C56-954C-44F8-BCF1-5DB2071F2918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c2eb7db2c35f65e4ea2fabb5bf93e64d9f1829","datavalue":{"value":{"entity-type":"item","numeric-id":1577339,"id":"Q1577339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db2d26518653ce1e522f4ae3816368d2ab65c6fe","datavalue":{"value":{"amount":"+0.7811346054077148","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":"Q3007254$306A9F6F-7927-4062-8B1F-6CF577262857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3939079472c2798ae61fc18391f337ed6aeb7de","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc0cc0878d9a0cd21d233b1115c5ac0dfb4b8bc","datavalue":{"value":{"amount":"+0.7804743647575378","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":"Q3007254$3E5E7975-53E5-49F4-9ABF-BCE27BBB0B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c93873d0ced2daf3b52bcb0b27792709f218adb","datavalue":{"value":{"entity-type":"item","numeric-id":4939407,"id":"Q4939407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf139c347233976de5b994db051f7241616fd1c","datavalue":{"value":{"amount":"+0.7799898982048035","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":"Q3007254$1AEC3936-781F-42A2-A4B6-EE6FAA914A78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classical natural deduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Classical_natural_deduction"}}}}}