{"entities":{"Q3586047":{"pageid":5615951,"ns":120,"title":"Item:Q3586047","lastrevid":49622644,"modified":"2026-01-08T11:12:20Z","type":"item","id":"Q3586047","labels":{"en":{"language":"en","value":"Towards a Canonical Classical Natural Deduction System"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779253"}},"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":"Q3586047$01A0B68E-1FD3-47AE-B005-DE4A6CAE20B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c63cf14a88bab60b7865969dcc8cbaef76f16979","datavalue":{"value":{"text":"Towards a Canonical Classical Natural Deduction System","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586047$2DB43A15-E545-48ED-9D50-8BC554AB7ECD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88b08f36e0c7284f61dca250b5cfc414e0035846","datavalue":{"value":"1287.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586047$A0C932EB-1D7B-4CE3-B1E5-34900DBBF310","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8248ecef8a54f395829776a39ae750813e5afa00","datavalue":{"value":"10.1007/978-3-642-15205-4_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586047$60CB9B50-C8D7-4245-9F63-21262DAB1222","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586047$9DA8C30B-FC6C-4EE0-A089-4FE23B9D63E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586047$9BADEC19-5201-4C26-A155-C6380A24EEFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586047$2F9811A7-C7A1-419B-9489-E8C2CF9ED28B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7f28bcc06e5525b74cd997b806d0d9c72fea806","datavalue":{"value":"http://hdl.handle.net/1822/11161","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586047$17A71110-85DC-4C8F-9DEA-48CDE520D5B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586047$B93796B6-FFDE-4946-843D-73029CC92A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586047$16DE2ABF-71CF-4A1B-9683-9BF70E5B5042","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8177e53f845a62865eb61fe732bede1b3cdcb9ac","datavalue":{"value":"5779253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586047$974C7851-EEEA-4BD4-88BE-63EB323C2744","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":"Q3586047$B013EC53-AB58-4A5E-96BF-48E716325BE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dde79ff4075301e168e98e6069ebc7a8db96881e","datavalue":{"value":"W1822259583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586047$5FC24DFB-E1A3-40A8-B0CC-0A74CA32BD51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a9877716a18782136497ccc85e6b2d35e6a306a","datavalue":{"value":{"entity-type":"item","numeric-id":1946670,"id":"Q1946670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d285375351ed6d1a528eb1f7128a18dbec268d7","datavalue":{"value":{"amount":"+1.0000004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586047$9636B0A2-1F00-491D-BA3C-08B253F780F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0243f4d23771544088dce9ece1c4730ffdede91","datavalue":{"value":{"entity-type":"item","numeric-id":1577342,"id":"Q1577342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f7dd3d120178b70774c0b99cc8c51c29ec20dd6","datavalue":{"value":{"amount":"+0.9235058","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586047$3A895A1E-1845-4482-ACDE-2C8A12ED5AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670e534e0734308496cf4891636d157d96384dc8","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc1c48b451ef4f21513bcb1d21365c246a3630f","datavalue":{"value":{"amount":"+0.9092188","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586047$F33A51B0-171A-448A-BED4-21CDFC4A14FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4d503548ea84f50bc691f5a15f83cde383124f","datavalue":{"value":{"entity-type":"item","numeric-id":2851691,"id":"Q2851691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d477f26106517d5e2381163e2527c9c6c52bd74","datavalue":{"value":{"amount":"+0.90811527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586047$2A77ABB1-E6D4-4CE6-9B8B-52D199DD7003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f47b30f1001831811bea4fe75bdfb08191afa7","datavalue":{"value":{"entity-type":"item","numeric-id":3322078,"id":"Q3322078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fda6434d132073cfc8942ea24083a8a9117d555","datavalue":{"value":{"amount":"+0.90431124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586047$9B870B91-3BD2-413E-9708-9F7EAA639AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53e9a01682f573a023f87d8533a65f54de2941a9","datavalue":{"value":{"entity-type":"item","numeric-id":3007254,"id":"Q3007254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdf5144583c9952a2b2689eb9e1ea5002573b4b1","datavalue":{"value":{"amount":"+0.9041369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586047$94E9E4BC-9325-48A8-ABB0-62A7C9899011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e3ae2f04d0c0f0e80423be90c15cf0469c114ec","datavalue":{"value":{"entity-type":"item","numeric-id":5024718,"id":"Q5024718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a6a7a781d64e921dcbefa102c34311bf1b4d88","datavalue":{"value":{"amount":"+0.9040332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586047$829727C9-0FDB-4BEC-8CE5-710918E45AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a813664f4a19b295f60be8e770b0171bd75d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3305619,"id":"Q3305619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2810f75d3bf504f5acb7eb30d16562bbd6bf24","datavalue":{"value":{"amount":"+0.90200216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586047$110D67F1-3996-45DD-B1F7-B314C789D5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01499085df2d7632ecab575d418ea8c1b560113f","datavalue":{"value":{"entity-type":"item","numeric-id":2901201,"id":"Q2901201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea438ae88e4620df3943ffb557710b9da263bfd","datavalue":{"value":{"amount":"+0.90195245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586047$62714FD7-C623-4AA4-9AC1-CD40EC3981EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66ac5ff790815dc83eb94307506f5ec7e50c243d","datavalue":{"value":{"entity-type":"item","numeric-id":1097870,"id":"Q1097870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37711dabc91d399fc8d0065fa4efe1976f799b5a","datavalue":{"value":{"amount":"+0.90157616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586047$8E257EBF-814E-4A95-B41F-2EBAE6DC9A72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3586047","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3586047"}}}}}