{"entities":{"Q4933303":{"pageid":6962885,"ns":120,"title":"Item:Q4933303","lastrevid":51101747,"modified":"2026-01-16T16:33:34Z","type":"item","id":"Q4933303","labels":{"en":{"language":"en","value":"Focused natural deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798894"}},"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":"Q4933303$B83B1EEC-ED13-4885-B06C-4069D40FA448","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db85ac6a31db97f30a6af31c619400538d54ead4","datavalue":{"value":{"text":"Focused Natural Deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933303$9F82D8A7-B33B-4D42-B7E5-141CDADFD8B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4244bd6c4b6d9e70920fbc5444ed21e50746dc8","datavalue":{"value":"1307.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933303$3E2D7A8F-348D-404D-B303-D9BF02C7C0BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"462ae8b4460dcfa46116efb373030db5d2fcbb3d","datavalue":{"value":"10.1007/978-3-642-16242-8_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933303$0DC07495-23A4-4FDA-9845-1BE9031A8AFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09e3dd74cb33fefe037efb122060e82638ab3c9e","datavalue":{"value":{"entity-type":"item","numeric-id":2798263,"id":"Q2798263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933303$57A52132-00AB-4608-8B16-D3C967187080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1024ad51fb0c89617301d9b58c1789ce603d4d1","datavalue":{"value":{"entity-type":"item","numeric-id":2092486,"id":"Q2092486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933303$1110F335-8058-431B-8307-2FD91FF68D69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933303$11853ED6-F8E9-41B5-8CB8-F10FB9311021","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933303$4A3FD95D-CA74-45AF-AE43-FC067F23BD1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933303$B528BD0E-5ABC-44F5-8F0F-AD278EAB4A21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a961065b33afac36461011a9e83a3585a4457815","datavalue":{"value":"5798894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933303$3F0DB150-9F9E-49C0-A269-557083ABC355","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":"Q4933303$9BC800FE-09F2-47C5-95ED-6E6484D5E545","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22d03b6225608dcc5b4f49237b55a17c8f2d072a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16242-8_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933303$D9A02E12-CABF-426F-9F88-026EAC2D27D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d14e02bf0c1662c9a09685417e023f85eb93da81","datavalue":{"value":"W1582190263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933303$0AEFAD6E-7FF9-4012-973F-8DB3D466BA30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670b71e8c85e7bebb75b31d05fb83bb2cfb4577d","datavalue":{"value":{"entity-type":"item","numeric-id":4263877,"id":"Q4263877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247dda09e95b7cbcd48bbdeb46f43022f9cc53bf","datavalue":{"value":{"amount":"+0.8273918032646179","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":"Q4933303$02634657-FC08-429E-ACDC-636BB1AAB090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eeeb93e74ff091af6be8fcbff4ea645907fefb8","datavalue":{"value":{"entity-type":"item","numeric-id":2946730,"id":"Q2946730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4120121630593dfabc0726081ded6578ba44f8cd","datavalue":{"value":{"amount":"+0.8201359510421753","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":"Q4933303$29C8FEB6-7494-496B-ADD6-27F3CB63C612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0ac6d5260b717268e184630a3a542aa35448d8","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8828d5c393a85312470f6d2ca63d33e7f5afefa","datavalue":{"value":{"amount":"+0.8062886595726013","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":"Q4933303$9B96B76C-DA7A-4672-9192-8C444DBA49A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"889231deb57232aad79d4a8364d607ebf1a58209","datavalue":{"value":{"entity-type":"item","numeric-id":3608430,"id":"Q3608430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31008472b4a482fcd4771f21b25da622349706b3","datavalue":{"value":{"amount":"+0.8057980537414551","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":"Q4933303$06FB41FB-1868-4C82-A7A8-0664D4681895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eaeae3d30e1ea51c387009d9460fa0f84319494","datavalue":{"value":{"entity-type":"item","numeric-id":2915680,"id":"Q2915680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"521b746d4902c11fcc5271bdfffddb5d0a23fb7c","datavalue":{"value":{"amount":"+0.8042652010917664","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":"Q4933303$0E64A2D4-AE65-4577-A9A2-59D76D32FC9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933303","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933303"}}}}}