{"entities":{"Q3455860":{"pageid":5235260,"ns":120,"title":"Item:Q3455860","lastrevid":46519431,"modified":"2025-12-24T23:14:59Z","type":"item","id":"Q3455860","labels":{"en":{"language":"en","value":"Contextual Natural Deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6520053"}},"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":"Q3455860$1F5AC5AD-026E-44BE-AD1D-637D296CC133","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79ea424e09a4a4a56491a36efecf4aca16cc1665","datavalue":{"value":{"text":"Contextual Natural Deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455860$51606D66-9A2B-48C4-AD47-94D92443283A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01229d88352655d9f6f7ec581cf83adea92660ec","datavalue":{"value":"1437.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455860$FCB06AC6-51CC-442E-861C-F599C8074755","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b77307821cb8ddc9a93651ce2247a70a4c91b77b","datavalue":{"value":"10.1007/978-3-642-35722-0_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455860$8EFAF65F-6F79-4C4C-9153-CF3CF79FE9EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0365ec2945198187c9a57348ee998a5f73811baf","datavalue":{"value":{"entity-type":"item","numeric-id":523302,"id":"Q523302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455860$083FD382-4486-42FD-B76F-35B85D9F9868","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455860$E8060176-2863-407E-90FD-58F8D70CA805","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455860$D7C49D33-83FC-4A4C-BC57-819E23166551","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455860$F35BC7CD-537C-4B01-8D24-5350AA5DA517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455860$5F5909D9-D694-44A0-8325-9DE4E8B1A9DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c60f615ea0cfcfdec9cdfb5ee63f1e13ae21dce9","datavalue":{"value":"6520053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455860$40B21271-C2C2-402F-A3C1-EE2762B90A79","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455860$4223C3C3-138A-4048-866A-E5E9E89921DB","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":"Q3455860$C3CD7B77-18BD-492A-B2A6-3ABC76816A17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e87a77422a5a85917b9426c18dc0df7fa2769574","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35722-0_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455860$68D33906-C334-42E8-BA8F-E8CD453F9C8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b82945b6f108cd4ba62711d5c6c2e60cad7c3927","datavalue":{"value":"W2260023491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455860$A78BB2E8-3EBA-48B8-B11C-EF44B3CC999C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c39b9040e3d2807bc13175b6074f0175a0a4a1c","datavalue":{"value":{"entity-type":"item","numeric-id":5747754,"id":"Q5747754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455860$E2767976-195F-465A-980C-22F049A89734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5dbbec6026c95483282d6d97d44b624e6dfaa63","datavalue":{"value":{"entity-type":"item","numeric-id":5505576,"id":"Q5505576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455860$A2E4030F-1FD9-4644-A724-080220901C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b8d4724fac31c84be8dfe751236a3355fca52b0","datavalue":{"value":{"entity-type":"item","numeric-id":2946572,"id":"Q2946572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455860$4C5104C7-382D-4CCB-B152-55942EE41DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c5da44101671f25106f11c567d07e1d10b383f","datavalue":{"value":{"entity-type":"item","numeric-id":3066096,"id":"Q3066096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455860$4EF5C337-F4E9-4C96-BCDC-F749CE0D883C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8190ca8064383933102de4ee8e9ede219451a4","datavalue":{"value":{"entity-type":"item","numeric-id":5691056,"id":"Q5691056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455860$F46767DB-9E63-4698-9B1C-071DD5E0D84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12fe299e2acf1d80201c464e52b99b82f6c1b5e","datavalue":{"value":{"entity-type":"item","numeric-id":3630173,"id":"Q3630173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455860$92D092A6-7C51-4561-866A-00BB8FD42974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455860$4413D57C-AA80-4DE3-B82F-959349A8EDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a288c1fc3762803ff6256e61dcebf3f413e8b0","datavalue":{"value":{"entity-type":"item","numeric-id":2891453,"id":"Q2891453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455860$FF82C074-74E9-4C09-94DA-F116F8225A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3671c04a28b3c6321772a8c859c51ac112c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455860$B71AC1C3-5DFD-4690-9233-80A0260F2E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4673138e41cdcc6fdba908fef9d352af43a81cb","datavalue":{"value":{"entity-type":"item","numeric-id":5387896,"id":"Q5387896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455860$E6930BC3-B683-4DF4-8ECC-3BDD6084B324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f518b506a2020973c95d779fe4901b4a5767fdb8","datavalue":{"value":{"entity-type":"item","numeric-id":3066113,"id":"Q3066113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455860$51D3E789-D8DF-43A3-914D-CA455C9543B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e6e7a1fe189e42816a8f633061159bb0aa6f36","datavalue":{"value":{"entity-type":"item","numeric-id":3550858,"id":"Q3550858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af999474ef2e1eb62125883b779628b089cc1bd1","datavalue":{"value":{"amount":"+0.92989093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455860$6925ACA1-B921-43C4-A241-CCB57C391B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbbbc5c114f14647a46f19e7940b57d66ddde7af","datavalue":{"value":{"entity-type":"item","numeric-id":4535120,"id":"Q4535120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aef9e0b2d931441f4e805174fc5a66e0600ac21","datavalue":{"value":{"amount":"+0.9265121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455860$CC7C6F81-6149-4C34-BED5-38B1057E9028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21aba76d6e914f9b4d82b35d7986a449330ae05","datavalue":{"value":{"entity-type":"item","numeric-id":647412,"id":"Q647412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dde25fdfacaf7bd857a653d99bf44a18d90cb8f","datavalue":{"value":{"amount":"+0.9237104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455860$27E85D73-0636-44E4-9B5A-052B63E85DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7ba66d2c3227381ee1f820afe6e7f093220b1e","datavalue":{"value":{"entity-type":"item","numeric-id":5224775,"id":"Q5224775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3194f2901b5d148d0f14d662ee18a75ea2e09fe5","datavalue":{"value":{"amount":"+0.9122056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455860$C8588D04-393B-4DD3-925B-DA94448AEF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849ca33231c4feda7d3112ba6036c47e5d9eba02","datavalue":{"value":{"entity-type":"item","numeric-id":1813231,"id":"Q1813231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b38e5002c4e962c50781e1b4ccce24d694ecb40e","datavalue":{"value":{"amount":"+0.90770745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455860$645D05C8-A26E-4F28-ABC8-BE116850339B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce256adef124d09eb756ed038608701398011fab","datavalue":{"value":{"entity-type":"item","numeric-id":4294473,"id":"Q4294473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02674e219e65a9e74edde90aa5199e260d78ab62","datavalue":{"value":{"amount":"+0.90563583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455860$AED294C9-71C4-4BF0-98FC-2C41B77304CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ad7e4eca72a694345060d15fef735922b1f6d2","datavalue":{"value":{"entity-type":"item","numeric-id":4982108,"id":"Q4982108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"253484bf3e52e9ece0da96a70f1f9584d5ea6211","datavalue":{"value":{"amount":"+0.9054934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455860$85030F83-8ACA-4A10-B63D-837489DB4850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21aa2fc351b7bd12bae8a271be1dcd96021a9397","datavalue":{"value":{"entity-type":"item","numeric-id":1577346,"id":"Q1577346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c8c53e5ba06d60d565c7e1c502ce0906b74e6cf","datavalue":{"value":{"amount":"+0.9041513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455860$F99F6EAA-3E97-416B-93A9-1C4C122FEC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b994e8d0c268ef50f80de07a97940db98d609a","datavalue":{"value":{"entity-type":"item","numeric-id":4820470,"id":"Q4820470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a2559b4fce2b886d7a609c857bde5f298b6f6f","datavalue":{"value":{"amount":"+0.89692056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455860$BEC5D0CC-E8F8-42E7-96AB-4D371A19D9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c2f64a6b4a61cc51aab7c09e2f2edd5d67249a","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082f7344f44d95e0944427ac9bf298dca8a99e78","datavalue":{"value":{"amount":"+0.89624506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3455860$5D359E98-8DCE-4D4D-9ACA-74D32AC9F9D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455860","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455860"}}}}}