{"entities":{"Q5014060":{"pageid":7043637,"ns":120,"title":"Item:Q5014060","lastrevid":98366423,"modified":"2026-06-05T17:19:58Z","type":"item","id":"Q5014060","labels":{"en":{"language":"en","value":"The subformula property of natural deduction derivations and analytic cuts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438994"}},"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":"Q5014060$0D42C32A-9829-4444-9B50-CA5DD3890F03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"902b08b4390525285afbfd66b6215baf77a6e650","datavalue":{"value":{"text":"The subformula property of natural deduction derivations and analytic cuts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5014060$9EEEEEC5-B43F-431B-AE14-8CF531E6FF04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db6a918859751db32f47daef225b8913de43c21e","datavalue":{"value":"1494.03090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014060$04A74393-8A8C-4BA1-AAB1-1EA6F80AEFD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1804bbd961ab7085fcd6ebdf3ab03cf98686f33e","datavalue":{"value":{"entity-type":"item","numeric-id":818515,"id":"Q818515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014060$943EEA08-0057-4978-A92B-405166E9FBB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014060$F32BB44F-4442-4561-A09E-6B2DF18D0BB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-12-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":"Q5014060$D3F54877-F929-4F5C-9BA4-F8815651CD94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014060$45045C4A-D05D-4139-8E2E-5DFC1837AB24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2317a55b1dc2ae5ac384005508d2c63830e71f9e","datavalue":{"value":"7438994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014060$9FFCCA68-7420-4CA2-8D35-4ACB58B86D82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b82d8c06541de1721a3d2afab7217060edee294","datavalue":{"value":"systems of sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014060$20F98410-90C5-4F27-A7A1-9DA8BFD58B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014060$A9C22CA7-27A4-43B3-89D7-98658790BCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014060$425E1D93-4697-4B4F-A9F5-0B79242D812F","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":"Q5014060$FCE80684-0903-4B89-913D-3ACE09D13057","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a12bc7025ebc43144de3dca25e9a15f2e8d7a1a","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzaa017","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014060$451356FB-B068-4019-90EF-8753623A7AF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8894af9eaa098a012687256ff996c9af13d0c8b5","datavalue":{"value":"W3036195698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014060$D2C8FAF8-431D-4036-9B57-31ABBB258880","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3916adf48e3cddd8771c3279d19dd24649564ae","datavalue":{"value":"10.1093/JIGPAL/JZAA017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014060$12B5A281-D646-4E96-A8A2-E6C5D1012E6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ec02c7d07ea4068b497ad4a87518a0249b32b7","datavalue":{"value":{"entity-type":"item","numeric-id":1029828,"id":"Q1029828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c28ac154d15a1c5df2749a90be45ca1bf590274","datavalue":{"value":{"amount":"+0.8064591288566589","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":"Q5014060$C9868299-BAAB-48D8-95B0-B3B1CA282876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b89824a3a929de7167ce723a0223791c66c1c82","datavalue":{"value":{"entity-type":"item","numeric-id":4577998,"id":"Q4577998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed0acc51d169bf7ee1df2dc8414f870bfd8b3904","datavalue":{"value":{"amount":"+0.788173258304596","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":"Q5014060$73D70488-4742-4C2B-87EB-88C85E7AF8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa83d117b6a397d4bbb80610c3146bbb5cf7a20","datavalue":{"value":{"entity-type":"item","numeric-id":5714811,"id":"Q5714811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ab5e70bf978877940731c7123fca55a41c0434","datavalue":{"value":{"amount":"+0.768375039100647","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":"Q5014060$CE22C7A5-C676-44E5-8757-BE94E6F877D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b692ce3de9122d8fcb53989f11735e3ac2ddea6","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b54123bbab7b570f5212e8962a7065e1d57f0d","datavalue":{"value":{"amount":"+0.7647313475608826","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":"Q5014060$2BDAEC94-5D84-49A8-B71D-38E5C1FF8F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d060f5b4d3a2be78d712d2ace8fc462e46859f66","datavalue":{"value":{"entity-type":"item","numeric-id":5396481,"id":"Q5396481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"607aedce7badc9d54a3cb165df25faeeeb16dc84","datavalue":{"value":{"amount":"+0.7645232081413269","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":"Q5014060$4F187C6F-F2D3-413B-A9D0-8E7E4297EEF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The subformula property of natural deduction derivations and analytic cuts","badges":[]}}}}}