{"entities":{"Q4434498":{"pageid":6464097,"ns":120,"title":"Item:Q4434498","lastrevid":81980579,"modified":"2026-05-06T19:48:51Z","type":"item","id":"Q4434498","labels":{"en":{"language":"en","value":"Translations from natural deduction to sequent calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2002109"}},"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":"Q4434498$0712A333-E5AD-4F99-8F8F-5517FF647148","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8de72437594d1844357b258281bb97a1f3fb7cb","datavalue":{"value":{"text":"Translations from natural deduction to sequent calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4434498$BF0F81B9-EDE3-4322-82D1-0219CC28BA95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9811fb9584245e79e509c54a992044628dfe77f4","datavalue":{"value":"1040.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434498$812FE689-7682-4029-A6EE-0A62144EEF9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc8bf89138092366dba76fbdf018c3e853b377d","datavalue":{"value":{"entity-type":"item","numeric-id":167888,"id":"Q167888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4434498$772C3AB5-2C6B-4853-9515-1DE87B2DC552","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4434498$D2CBB97B-5851-4C02-8769-7D4D2A6CF9C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdcbbe6751005b5a25abaf14031c72afec06c29d","datavalue":{"value":{"time":"+2003-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4434498$39E8BC80-98E7-4DD6-9ACA-7B290E3671A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434498$0E169DFA-38D4-4308-A93D-35852D784655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434498$CA5B77F2-AA20-4C0C-B1E5-F9D63A26DE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434498$CF918725-8182-4CD8-8F4F-0B45F1888212","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67287f6858293525cedf11278243123a1a859c98","datavalue":{"value":"2002109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434498$19826162-907F-4E56-B307-011912BA2903","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434498$58D0B733-AC5D-40E2-BFEB-9CB13078649B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434498$F2D5AF5E-E9B4-4D5C-814D-EB6CE374E89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbab1791baafebdd8d412c9e802560ac9464ce10","datavalue":{"value":"normal derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434498$24FEDAD8-3AB6-4A52-9A3B-4013271C5706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f66a73db72c0b741d8998f3a5c9190cc88bdbf60","datavalue":{"value":"cut-free derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434498$43B6FBCF-95C5-4CE9-82CE-7546EE11C1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434498$B1203086-47F5-4671-8840-7F9660458639","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":"Q4434498$44BD7C37-82ED-4F02-A0F7-1A851F665B35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ddac62cb8132e3f7c9877f2b7c5b2ea33346567c","datavalue":{"value":"https://doi.org/10.1002/malq.200310047","type":"string"},"datatype":"url"},"type":"statement","id":"Q4434498$6C4D2003-E5F8-46B0-BD5E-FEB0D953312B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b51aa37f9f3a0e3c6cad03a2f578c4413ff74709","datavalue":{"value":"W2103087496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434498$128B3566-1A87-4732-9718-DA5E92D70DF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b77626c7de68a501c3712327c5f5ec0bb9b03826","datavalue":{"value":"10.1002/MALQ.200310047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434498$A33E6717-9AB4-494A-B153-A380EF3CE160","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a04b4836b361e137d6a04c12838a0dad11784bd","datavalue":{"value":{"entity-type":"item","numeric-id":3005996,"id":"Q3005996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c203238f77b5d3cc226d6db24ea5d931bcb51d35","datavalue":{"value":{"amount":"+0.841076672077179","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":"Q4434498$0E8B2707-3C9E-4DC7-8058-C0E7AFB07C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c93873d0ced2daf3b52bcb0b27792709f218adb","datavalue":{"value":{"entity-type":"item","numeric-id":4939407,"id":"Q4939407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83a8fbac0f9576c3833634a97e169b1e0f983f2a","datavalue":{"value":{"amount":"+0.837687075138092","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":"Q4434498$51650907-183D-49AF-898E-6F433C9B89E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c9839b1de3c89de6aeaaec12aac3ea32bb8db2","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42ee324f13e21df420a894fc4d58f006bd7a0069","datavalue":{"value":{"amount":"+0.8328258991241455","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":"Q4434498$524C381F-2DBD-4289-BB6E-6BD789CFC9B8","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":"42ee324f13e21df420a894fc4d58f006bd7a0069","datavalue":{"value":{"amount":"+0.8328258991241455","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":"Q4434498$DA42E2B8-8F29-4008-BF86-175257D0B801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0081b34b0601a991dffeabbe55d9c9ab58b6a45c","datavalue":{"value":{"entity-type":"item","numeric-id":4659951,"id":"Q4659951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"999ae786d6f540e4b50a82549bce0c7fadf23106","datavalue":{"value":{"amount":"+0.8283420205116272","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":"Q4434498$D8EB0790-F7D2-408D-829A-7F9C65CBAB19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Translations from natural deduction to sequent calculus","badges":[]}}}}}