{"entities":{"Q817702":{"pageid":819550,"ns":120,"title":"Item:Q817702","lastrevid":64565430,"modified":"2026-04-11T20:44:49Z","type":"item","id":"Q817702","labels":{"en":{"language":"en","value":"Cut elimination inside a deep inference system for classical predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013036"}},"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":"Q817702$5BE4071A-92CB-47B7-8520-2A9EF2CB0778","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb6af1b80e04e9cafb8d9092969be31c891ece51","datavalue":{"value":{"text":"Cut elimination inside a deep inference system for classical predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817702$62DFB375-9CBC-4304-927D-6E9153CBB890","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d01448aadcdfc3ca12a9331e605cab5c43ff21bd","datavalue":{"value":"1097.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817702$6FCA3FBF-C27D-43CE-BFC9-1F7A0C6E6225","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a4b8e93464bd8436b70044ab37bdd425a7513d2","datavalue":{"value":{"entity-type":"item","numeric-id":714716,"id":"Q714716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817702$D7FC8F36-27B7-4E4F-96A9-C3BCE29B49CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817702$CF514E72-AA0B-44AE-A089-1E5AAE746A81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46a32b96026a1aa43ce9bf7d3e87290deb94d5e1","datavalue":{"value":{"time":"+2006-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q817702$5C03B967-5E93-46B2-B53C-DB7DDFB8DE0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"183cdcf7b9fa84d328f3929e7d4170ef9a030488","datavalue":{"value":"https://boris.unibe.ch/19297/1/11225_2006_Article_6605.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q817702$91332905-8340-4326-B959-7FB6849FD155","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817702$72DD2637-5CE6-4CBB-9061-0957C2DC3434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817702$08F42EBD-0073-4672-A045-0ABC998E44B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"078a2fb5c796d3a21729ba50da68fba1f5fabe65","datavalue":{"value":"5013036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817702$8C8DA3BD-454A-43CD-9D82-4F119D84EF4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q817702$081EA4E6-0516-4ABF-95E0-094EDAFC08CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q817702$612F5809-53D7-480E-9E70-B40C7705594C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cee31b109bfd0275ef9410b844f3bfc242cf31","datavalue":{"value":"first-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q817702$9AF71AB1-BF21-40A1-A2A5-6EBA0E9E2581","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":"Q817702$C3A539DB-D8EF-4052-8027-4F4B14877BC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5009fb53504181d4dc158541b825294e3029a76","datavalue":{"value":"W2008876986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817702$0140F9C2-32BB-48DE-B0A4-8F98F0C36357","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817702$227C59E0-881D-4168-8FB0-57C54EE62F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817702$61CF149B-D244-4A01-A2A1-17DE8C6FFC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0581d67197ed273468e87cc26938ce8560d0342","datavalue":{"value":{"entity-type":"item","numeric-id":5292628,"id":"Q5292628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817702$842FCFA6-BF59-468E-B62A-070754EE256A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e50ae572a2880148ef669dedbef2bbc11df3066","datavalue":{"value":{"entity-type":"item","numeric-id":3375282,"id":"Q3375282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817702$6615DF45-2C01-4694-A6F6-9F7DE8A034EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19eaef4019e81a4cebbf407d23ad1d863b7672cb","datavalue":{"value":{"entity-type":"item","numeric-id":5311251,"id":"Q5311251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817702$967956B6-3261-4ECB-908A-E4C4F045935E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ff84a380859792f98a71b73007569735b0f24f","datavalue":{"value":{"entity-type":"item","numeric-id":5277766,"id":"Q5277766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817702$B9F1CF1C-EB25-4340-B845-62AFEA162969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fc4503355613136eb4f33aaa7aa5c2cdf67c79","datavalue":{"value":{"entity-type":"item","numeric-id":1863564,"id":"Q1863564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817702$1D68C492-B773-4A0A-A176-2057D154696A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe802cd8809baf377abe6a55d7cfe19465c65ab","datavalue":{"value":{"entity-type":"item","numeric-id":4783301,"id":"Q4783301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817702$50C2054D-A8FB-41E8-A893-09FB2091F5F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7ea10fff91e7394a92d24dccf7243608f0bf4e3","datavalue":{"value":"10.1007/S11225-006-6605-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817702$7B009751-482C-4C79-849B-B5DA68F55F2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee998d7bb952ef3689ccf52ff2663b12d6eb55d","datavalue":{"value":{"entity-type":"item","numeric-id":3375282,"id":"Q3375282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c78930d93794d01ccf1ccbf15250d8eacecb5c","datavalue":{"value":{"amount":"+0.814125657081604","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":"Q817702$EB5A8563-FE18-4D0A-8061-3C24DF963CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c9abb6fa586eb03d948fbc7ff3b60fdb6ec582","datavalue":{"value":{"entity-type":"item","numeric-id":3066096,"id":"Q3066096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"764a6c0133d8a3ca122d8c2efb4792005fd75ca0","datavalue":{"value":{"amount":"+0.7803929448127747","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":"Q817702$A69477B7-6C64-4686-9108-D23519E61577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"086e0384dfaa2769a4accff060066099d51ba297","datavalue":{"value":{"entity-type":"item","numeric-id":3094143,"id":"Q3094143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4005ee1b3254d098e24d05c91a929580d6fbd49a","datavalue":{"value":{"amount":"+0.7754628658294678","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":"Q817702$C85FC94D-CA50-4EA0-950F-E278BA85FD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b27eb78913d05df01765fdd47f61aef9a5bbf6d2","datavalue":{"value":{"entity-type":"item","numeric-id":5739889,"id":"Q5739889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db4abe1c834635783318bcae569442bc3cef8b2","datavalue":{"value":{"amount":"+0.7675042748451233","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":"Q817702$8488F2A8-9A80-45E1-BB0A-D4424AEBABD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d74465c155a44dd034da0a2fe7c997591e1b1b","datavalue":{"value":{"entity-type":"item","numeric-id":5505576,"id":"Q5505576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f18aa8b52353c48821e788bdfda038fac851a778","datavalue":{"value":{"amount":"+0.764087975025177","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":"Q817702$B70E6EC5-900D-41C4-BF33-54D97C5F2533","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut elimination inside a deep inference system for classical predicate logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut_elimination_inside_a_deep_inference_system_for_classical_predicate_logic"}}}}}