{"entities":{"Q5308097":{"pageid":7337671,"ns":120,"title":"Item:Q5308097","lastrevid":50172875,"modified":"2026-01-13T09:01:31Z","type":"item","id":"Q5308097","labels":{"en":{"language":"en","value":"Natural deduction via graphs: formal definition and computation rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5195946"}},"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":"Q5308097$7D211C5B-65A3-4690-923E-8B467AE1B4F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d290717b473d9bf4fb0da3092519992deea329e","datavalue":{"value":{"text":"Natural deduction via graphs: formal definition and computation rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5308097$6638BF28-1ECA-417A-A037-480616CC9E21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"936cfb60138cf733bfb0549d868c5e2cb1dc4717","datavalue":{"value":"1159.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308097$3D4386E5-6762-4539-BACA-AEE5DA5F0398","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9bd415997cecfdf62abcfa7b61c7bf10abd5be4","datavalue":{"value":"10.1017/S0960129507006123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308097$ECF7E150-5E9A-40F5-AC7A-E24D6D50B97D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308097$1DB145A8-C422-43A4-8439-C2AE782F6AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"454ec0749697ba77b021cb383676266239d5370a","datavalue":{"value":{"entity-type":"item","numeric-id":488355,"id":"Q488355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308097$CA8477D0-C2FC-41C0-A05F-799DC7BF3711","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5308097$88345AE3-EC5D-4CC0-8657-6546F2BD7245","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f805aedaf7c0349624b9d43ddf89f2714900c182","datavalue":{"value":{"time":"+2007-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5308097$4C448440-1E35-4285-B177-73C0A9B49F4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308097$7DC1AD46-A205-4451-BA99-BBA3230B9CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308097$28C67CDD-9633-434C-8FA9-33CDD238A451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308097$B5ED6912-194A-4F43-8496-25B943227BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308097$66039753-415F-4E93-A63E-93838E6D642B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308097$ECF64EF7-3C41-45AA-9C41-17401D456BF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16e08ddaf62917aa0f213c48bd41af1eec387004","datavalue":{"value":"5195946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5308097$524F1539-7FEE-4DE6-9A53-7E508EAC38AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308097$A00179AB-5635-4AFB-B5EA-ACCFF1BDCFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ccd192a11d5c964a912a0c7ca8b1b2f539bec68","datavalue":{"value":"deduction graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308097$C0D36AEC-3507-4809-A749-63E4FF350E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"351a5695df235dc15ba6e7ca534a2f7fc635292d","datavalue":{"value":"generalised graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308097$9B8718A8-8251-4C9C-9867-E7793F860C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78eed1ed8f254637660a9a15b0e2474a136ff51","datavalue":{"value":"Fitch-style flag deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308097$F5C4B3C2-A17C-47CF-B083-817360BBC3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308097$5C91FDAE-EA68-47F6-A79A-17326B987B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308097$91A082AC-F302-43B0-AE4C-F0DE3FD35D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308097$3BAA2B8A-2C56-473C-ABFA-8848A48476FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61b30c7df8ee6c9ca0b0057597c3c17761010156","datavalue":{"value":"let expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5308097$70DB2742-7900-4E24-ADF9-A8D9FCB89EA3","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":"Q5308097$6DE4E28E-2439-45C7-9B84-82451EAFD1F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b23d0eb5683988a1d140dab0847b1efa27bc6bc","datavalue":{"value":{"entity-type":"item","numeric-id":5756722,"id":"Q5756722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e47ad09eb2bc73e5462c86f819983be5447d6b6a","datavalue":{"value":{"amount":"+0.8865289092063904","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":"Q5308097$82FCE156-4487-45AB-8F15-356692F585E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6681b4dffa96da1c38847db027c17144419786a2","datavalue":{"value":{"entity-type":"item","numeric-id":2870317,"id":"Q2870317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b9c4f9167d65a40b74599e74816d0f650d556b7","datavalue":{"value":{"amount":"+0.7963240742683411","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":"Q5308097$F581D61A-DF15-407B-818E-FD54E0125C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed72e897520893d9b7421050ea5c9cf94fb6374","datavalue":{"value":{"entity-type":"item","numeric-id":3757913,"id":"Q3757913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87b1261fb6f8334c1c2eb5619f8181171629eeef","datavalue":{"value":{"amount":"+0.7687276005744934","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":"Q5308097$676E2419-5ED0-4E10-8824-9034DED8D98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b5d94eac23b34bee4cebd91c0adbe4274e61aed","datavalue":{"value":{"entity-type":"item","numeric-id":4964705,"id":"Q4964705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df093590cee81d18c58ab0363c82ffa0d0ca42ad","datavalue":{"value":{"amount":"+0.7550945281982422","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":"Q5308097$80D13E6D-E85F-4BC0-8EAC-59E0520FBE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae3575b1ba5c90771e9434d772bd90d036e80575","datavalue":{"value":{"entity-type":"item","numeric-id":5901566,"id":"Q5901566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9bd268c2c36ca5c9cf49a1652a76f8b25165e34","datavalue":{"value":{"amount":"+0.7527962327003479","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":"Q5308097$C20F67A3-D196-4430-973E-2FDE44009E9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5308097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5308097"}}}}}