{"entities":{"Q265002":{"pageid":266769,"ns":120,"title":"Item:Q265002","lastrevid":60485115,"modified":"2026-04-10T17:17:13Z","type":"item","id":"Q265002","labels":{"en":{"language":"en","value":"On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6561879"}},"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":"Q265002$FC0BEB92-1BE4-4874-8FF1-C31E66B1122A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1df9edeabdc73b0db42c28286145ba9db8d77b0e","datavalue":{"value":{"text":"On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q265002$067417DD-4533-4A87-8E8F-96A6F316338A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63ee18fd9d5f5993c89e4d837fb05ececb3cb5f9","datavalue":{"value":"1377.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265002$2C823661-80FD-4966-A32C-46DDF0CB30B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e305483c8390fc5243887be03d6710fa7b8317","datavalue":{"value":{"entity-type":"item","numeric-id":265000,"id":"Q265000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$838630ED-6E4B-4C34-986B-17232368D942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d55d8636ba2cedfe85f5f46b2ba4af59bec25927","datavalue":{"value":{"entity-type":"item","numeric-id":265001,"id":"Q265001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$DD88C1FC-8CA3-406E-B7AA-041723053121","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$38321886-C166-47F1-A0C5-9D65E20CD14F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"016d40ec0ad7082f724ffc91cfd4611759c1ca20","datavalue":{"value":{"time":"+2016-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q265002$0E1AA3B8-0AC9-46B8-BC88-09876EA713C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265002$90634D6C-018D-4D4F-8F46-A487D2773749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265002$C6A8FC41-C2F1-44FB-9EAB-7C4C42F5FDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265002$54C80B79-401E-4D7B-8F88-813C23109815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265002$2D3E5316-B0EC-4E11-9B3E-1CB3C9691C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265002$C4BF31F0-B509-43CA-9B47-3A9B0819BEE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c15aaef02fcfb1f2d41c4cacbaccd86e83e2dd5f","datavalue":{"value":"6561879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265002$DCAC6608-8214-4947-8F42-695246875FC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d6efcbfbe86b85ffd4ced23972771b8438ff975","datavalue":{"value":"classical first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q265002$4B82591C-B474-4FCA-8E25-014856D21EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q265002$19964972-AF3A-41A8-8D58-F026AF80B10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a09c1984b41935c0a923dca51c0af0797d5eb50a","datavalue":{"value":"Herbrand's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q265002$72854885-3282-4455-A1FA-DA2707501F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dbb0fe9ff93c618dc235105a453501f243830eb","datavalue":{"value":"delimited exceptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q265002$E5D43130-E73E-49AD-AF74-4ED98EB879FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q265002$E42549CE-06DF-43CC-9270-18721B678A3A","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":"Q265002$24F4342B-7AED-4896-9EBE-4B837674F437","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a8ba9e9d87b9a9ef84ec406e36517a50e7aebec","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.02.028","type":"string"},"datatype":"url"},"type":"statement","id":"Q265002$473D15E8-F9F8-4E1D-B86C-569DF2D13C2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f42e38895526ec5f91ee7526b48322a03a0a2ac","datavalue":{"value":"W2276824306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265002$C4FB9452-F33F-4C8F-8E21-84AC6392BC48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"11792e927ad866d227a06a7669f3558c91fd1159","datavalue":{"value":{"entity-type":"item","numeric-id":2786136,"id":"Q2786136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$9BC5C79D-0C9F-4BB1-8A8A-9D1089073506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95cd2accfc2fb3de6335e018a17aae816978cb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4981438,"id":"Q4981438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$328F9784-0194-440F-8FE1-C322300F4A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cffef9e6c7e560efcb53762234fbf9268af461df","datavalue":{"value":{"entity-type":"item","numeric-id":4649536,"id":"Q4649536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$29881898-C258-450B-B170-41C635888D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f944aa76c758c5eb64b4bcd83ef658a10d106072","datavalue":{"value":{"entity-type":"item","numeric-id":5740401,"id":"Q5740401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$36825FD2-E573-4C4E-ADEB-8DD2BF02CB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ee0ab676ae163f51e80dedf51357faa84fe84d","datavalue":{"value":{"entity-type":"item","numeric-id":4957786,"id":"Q4957786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$6DBFD49D-AA96-4582-910E-5E7C72201C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"536ccd6a35d619ba50c65a6a04e25dc1edbf35b6","datavalue":{"value":{"entity-type":"item","numeric-id":2958512,"id":"Q2958512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$0BCC5627-17DC-48AA-B896-2B6DE566BA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"451e8764899cc52a0047ac8fb5b219b93ff255f7","datavalue":{"value":{"entity-type":"item","numeric-id":5300892,"id":"Q5300892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$7F6834F3-DB17-4DF8-BC38-DEE53912CFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216359e87b97dc0644dccf9a949da433bf75ec2b","datavalue":{"value":{"entity-type":"item","numeric-id":2946659,"id":"Q2946659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$BC070500-7E4F-4792-BBDE-65E20BC068B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371d2399f50a6aebcc2fc70e10f9c3ee27554be0","datavalue":{"value":{"entity-type":"item","numeric-id":4836058,"id":"Q4836058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$E5A260AA-F27A-4220-ADFA-5A7ACA109435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e137c878ec0577b699fe6022ebb4b45e205d0000","datavalue":{"value":{"entity-type":"item","numeric-id":2905328,"id":"Q2905328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$05353510-441E-40FB-9D90-C911367BF4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeae088c411532f7940546bb53e5a8a76f6e4b04","datavalue":{"value":{"entity-type":"item","numeric-id":2508325,"id":"Q2508325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$3B124CB1-904D-4FAD-94BF-323E506F6876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$870FAC7A-80B1-44AC-B1E5-E8E3FF76ADDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed8c9943d2c605825d8168a7f638c461f0b71737","datavalue":{"value":{"entity-type":"item","numeric-id":5556414,"id":"Q5556414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$15AD3114-0D41-4384-BB16-300C23B8E86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7dc71408bfc822fcfb26590a9ac4a240325ab9b","datavalue":{"value":{"entity-type":"item","numeric-id":3024836,"id":"Q3024836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$C19C04CD-F7E9-40BD-A200-BA62A022DFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0188d0b062ce233e0f9cf2a92159d09920bb3a55","datavalue":{"value":{"entity-type":"item","numeric-id":2778822,"id":"Q2778822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$122A7586-D6FF-43E6-A717-F2373095967F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a0f5ab3a82f792e215192b74a3f7485b0840ad","datavalue":{"value":{"entity-type":"item","numeric-id":5809142,"id":"Q5809142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$9804DF4D-C1B1-4E92-86BD-2D4DFAF26722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f82c1628c2a301543b8df444943d13a9c70e8","datavalue":{"value":{"entity-type":"item","numeric-id":5726687,"id":"Q5726687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$DDC3A839-4DB5-465C-A377-A782BC064BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6ae770783aa142e6dd68c83f480feb4b97dec8","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$2DBC2F87-7368-4E52-8E69-B1867F975187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82765c6652fefb7b62b485b8396ead94a739e4b9","datavalue":{"value":{"entity-type":"item","numeric-id":1908821,"id":"Q1908821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$504CF5CA-C272-4882-8B08-88D3C3290CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d045ce731f9ccddd5b0335da9d4d4738f27310ba","datavalue":{"value":{"entity-type":"item","numeric-id":2503393,"id":"Q2503393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$370993C5-D4AD-450A-BC97-C9FCA260E7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cd297b30f9282e340ab6cd2f0cbf46cae1145e","datavalue":{"value":{"entity-type":"item","numeric-id":817706,"id":"Q817706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$38A98E18-A8BA-49D7-A9EE-0A078DA0757E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$DE83BB03-C380-4D72-8F1C-665B5B922C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$13EAF68D-AB98-4356-8D95-0018279369AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$079C172D-DEBF-45CC-B8B1-8300BAA1E8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c24c6b43dc3a0ab21d80235a273aab5779111ad","datavalue":{"value":{"entity-type":"item","numeric-id":3503742,"id":"Q3503742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$C1BABF5C-9D48-4C2D-9E56-0E40301A9AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e43e36238b5fbe19fd4ec373f051c3c2b3c20475","datavalue":{"value":{"entity-type":"item","numeric-id":2973238,"id":"Q2973238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$B8854720-0CC8-4849-A969-780231C46192","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62c19106754465e449efdc4b788e3976daae0812","datavalue":{"value":"10.1016/J.TCS.2016.02.028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265002$78C980FA-0788-4359-948A-44CFB5D90EE2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"698ef69cf2501558685cb66472f90d21aa909f07","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265002$2A605291-FBF6-4304-B61C-52711B058444","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75d508d323f5c53b4d3e4ddc11809273d17c49ac","datavalue":{"value":{"entity-type":"item","numeric-id":2974784,"id":"Q2974784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f41d22c9960069c0b32cda74917d733de03cd958","datavalue":{"value":{"amount":"+0.8099028468132019","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":"Q265002$2CE8AA2B-8CAB-4DEC-A559-B96A93D6B61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ee8f700e4781d7117206a2b7fca68d3b7834795","datavalue":{"value":{"entity-type":"item","numeric-id":2402958,"id":"Q2402958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243fcc1428492d871aac905dfa65c1ab01abd1b0","datavalue":{"value":{"amount":"+0.7943314909934998","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":"Q265002$B853E289-477F-486B-9629-220B07508994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0408c0d7dfc173c00f52df72da5ff9eeb3b8e2","datavalue":{"value":{"entity-type":"item","numeric-id":3981450,"id":"Q3981450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036dda29da1c7153f72d9580328a05f64b917f43","datavalue":{"value":{"amount":"+0.7763515114784241","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":"Q265002$B7076B05-699E-4B80-8588-FB19BDCE89B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1bb575fd4cc2f79ea6b303a68e041b623020eac","datavalue":{"value":{"entity-type":"item","numeric-id":2958512,"id":"Q2958512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf71130b5239049e81e7e0551174821574a26237","datavalue":{"value":{"amount":"+0.7763032913208008","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":"Q265002$AF4E80DF-7D6A-4AA7-A826-3AC7004A410B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"078d3620720a75c061dfe9e7f360309a56f22e98","datavalue":{"value":{"entity-type":"item","numeric-id":1390952,"id":"Q1390952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93a8e63c158dc08c816aaff43d67aa5ed428b96a","datavalue":{"value":{"amount":"+0.775761067867279","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":"Q265002$D50BE37A-2671-4B3E-B5C3-A7EB015DA11C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_natural_deduction_in_classical_first-order_logic:_Curry-Howard_correspondence,_strong_normalization_and_Herbrand%27s_theorem"}}}}}