{"entities":{"Q2104542":{"pageid":2115285,"ns":120,"title":"Item:Q2104542","lastrevid":56991723,"modified":"2026-03-25T13:40:03Z","type":"item","id":"Q2104542","labels":{"en":{"language":"en","value":"Le\u015bniewski's ontology -- proof-theoretic characterization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628208"}},"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":"Q2104542$B1EA53F2-6283-4399-B867-B630111CCA4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ef7824092b07d6d1cb5fd35838176571d4294d4","datavalue":{"value":{"text":"Le\u015bniewski's ontology -- proof-theoretic characterization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104542$C381B5F1-4D1A-43E5-9F12-5AB43CB41922","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c434a77213bd970607982b589be4a024de5931a2","datavalue":{"value":"10.1007/978-3-031-10769-6_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104542$75202917-B667-4F66-B0C9-56BFED7F7978","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104542$FB669D76-B1E6-4658-8947-0A38BAC9FAF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2104542$EFD8F285-4CDF-4744-A019-9B531F27A725","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104542$09DB5515-7BA4-4730-80AA-06DE136D6AF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"720d6040480e6ac2ed99a35c36dd3d1eac59a1f7","datavalue":{"value":"7628208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104542$ED6EEC81-AA4C-47B7-A356-7A7A18E321D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3807cc711615765015371d4e75a8369e70ddb00f","datavalue":{"value":"Le\u015bniewski","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104542$26F9FD84-D1CE-41D2-8EE9-2FCBBB628095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d4780a9512ac71808759831f76090c7401b6205","datavalue":{"value":"ontology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104542$7F5CCC58-A3FC-4A83-8299-44EF648A114B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ab6bf9fc64684bb50f18f4bf6b7c7cbe45cbc81","datavalue":{"value":"calculus of names","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104542$93614D80-ECE7-41C1-86DA-77FA3F44C30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104542$AC471DF3-FB65-4A36-ACF1-5E779CABDB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104542$C781AB29-A504-4F99-B66F-DC390D26CCB7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104542$3412D15C-CBD0-4BE7-A5ED-A0E6A8590D6B","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":"Q2104542$E198E578-36A3-4120-AC73-B52FD48FFDF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6699c208c72fca30f28107982fda9ba0d1d4bf0","datavalue":{"value":"https://doi.org/10.1007/978-3-031-10769-6_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104542$36431F0A-039E-4A92-83C3-B9CA1FE237DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81d2131717ff44648b1174070af05fc06289f7fe","datavalue":{"value":"W4289103996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104542$91AD31B8-D3AC-4FD2-8F76-CE6DAE20C620","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0045e5b94ed384b2626905e61efa9c3bff30967a","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104542$9C8B1197-115C-48E1-9A6A-0F1CACA3E51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"749aa5c484d884771466997b802e7dc39af08a46","datavalue":{"value":{"entity-type":"item","numeric-id":5311280,"id":"Q5311280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104542$17CA3652-4C75-4BEF-8357-CD453064E714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d348e5c75cee0cfd5314db0cd35ffc0369fac6","datavalue":{"value":{"entity-type":"item","numeric-id":5215499,"id":"Q5215499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104542$0BE671B4-DD35-4CEF-8BDC-DC3240343639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a81f7362de475c6f94efb1145c6f25bf8c05513","datavalue":{"value":{"entity-type":"item","numeric-id":2243550,"id":"Q2243550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104542$A4A68CB3-D3D5-421E-AEDA-5B90516B5A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba2a0b2c99f38a5a503d55d455c43eac1a7dd89d","datavalue":{"value":{"entity-type":"item","numeric-id":2007478,"id":"Q2007478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104542$BDD29438-5606-45DC-A114-B2B694C42E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0a3e304923b1f1798fe1a53827ab81712a26627","datavalue":{"value":{"entity-type":"item","numeric-id":1078555,"id":"Q1078555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104542$26B538E5-284D-4A66-AD5C-31C1E247945F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8d1a9f34658867251ff71c84b4dc99e8654e79","datavalue":{"value":{"entity-type":"item","numeric-id":2265413,"id":"Q2265413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104542$BFB43D96-E112-4F0E-957E-B4FE4D9A526D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce020cff661d241953c0f11ccbedb09e62222319","datavalue":{"value":{"entity-type":"item","numeric-id":5614647,"id":"Q5614647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104542$FBFC69D1-3AFC-4DC7-8AFA-7B73976EEC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e20496fef83f15ae40699bd379652de2d28b8bf4","datavalue":{"value":{"entity-type":"item","numeric-id":4023820,"id":"Q4023820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104542$F745875E-AD37-4049-9C4F-500FF2D4B600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68421121344bf089c05c5b94920cb7828b2eaa0e","datavalue":{"value":{"entity-type":"item","numeric-id":2120974,"id":"Q2120974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104542$A6A476CD-2000-47E4-AB21-EDBBFFE20D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d15b281639a533f93923258f76c1790cae10de","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104542$2E2605F7-80EB-4E54-ADD3-CFA9078537FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104542$4BD94D5D-5882-4AB7-9A89-EBBD62369ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71467ffb91064c02da4101d3bfb6be9b3df1b4b5","datavalue":{"value":{"entity-type":"item","numeric-id":1078168,"id":"Q1078168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104542$AFB835F6-93C0-42D7-BA4B-8D02D8CDD28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104542$1C646DC2-65C7-47A6-8B48-2FFBEAC5A461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e25b3c183fc1184680a195893ba93cde87ed43","datavalue":{"value":{"entity-type":"item","numeric-id":1955687,"id":"Q1955687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104542$19D96851-10AE-4E6A-AADC-8D2FA1B66532","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104542$285FA4CF-02D9-4AC3-8D5B-ADD2A1C7F300","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104542"}}}}}