{"entities":{"Q3540178":{"pageid":5570082,"ns":120,"title":"Item:Q3540178","lastrevid":50499134,"modified":"2026-01-14T05:22:26Z","type":"item","id":"Q3540178","labels":{"en":{"language":"en","value":"A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369495"}},"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":"Q3540178$761EA15C-E40F-4015-AFA6-BAB67E4EB224","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f26febd2038c5205e648a1d9fdc1a4a08f84d4a5","datavalue":{"value":{"text":"A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540178$8117F317-B2B4-412C-867F-AF3698E8C9D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15b91ffd98b702db6d91a43755ba22b66d1d4185","datavalue":{"value":"1157.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540178$F4C4885E-F4EC-48EA-92C4-4F1EB982A209","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ead0440b3fa2031adbaa40564cd5bc7aeeb4aac","datavalue":{"value":"10.1007/978-3-540-87531-4_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540178$8814EF01-387B-4DC8-BFCB-BB3B27CCDF72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8810b28319eddf2176b081cd070119a2cf8c13","datavalue":{"value":{"entity-type":"item","numeric-id":281285,"id":"Q281285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$420A4B12-350F-42C6-B362-C1473B60D220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cb2e2584ec127f9fe86cd3c038fd58b43032080","datavalue":{"value":{"entity-type":"item","numeric-id":511021,"id":"Q511021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$F61D0D8E-1285-4E12-BD95-F5311C13393B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$4C90125D-1A76-441C-AE3D-977096390F5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540178$7573C108-61C6-4C30-8E51-9DDC18CC48E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540178$C420AB37-A8A5-4A3A-8A2E-B2794788D8B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b15f88ce118979f178fe144379b786ca28bd5905","datavalue":{"value":"5369495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540178$6CD6D1F8-A912-4D19-99EA-C133D0AF457E","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":"Q3540178$C19A49B2-82CB-475F-9941-19478E5B9FF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46212671615b17ed793a135df8655a813135e471","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87531-4_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540178$8CF0D096-246D-4C03-BFBD-D0D49EC8067A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3e6c58c753d10012299eed5d9cb6bd5f7b30961","datavalue":{"value":"W1573969001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540178$677C71FF-F329-4597-802E-F218C2CB11B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$3B36D3A9-7947-4E69-8D55-CFB401B066F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$5AC2DFC8-4D51-4918-AD38-CB0FF8FFD687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14154999be7ea0ad567942cef9734b9fb07fe517","datavalue":{"value":{"entity-type":"item","numeric-id":4109646,"id":"Q4109646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$FC727171-14A6-465B-BB7B-30FD59A56981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"491d79ebb333824e2a1d28fa415eece5d0654a36","datavalue":{"value":{"entity-type":"item","numeric-id":3371147,"id":"Q3371147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$7DC2B49E-3397-420E-A1C2-A60A84B04316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$8BB5BB57-F506-4783-AD0B-3FDADE6D0C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e52f792aed007740441efa3e7b7b70e2d7b6c5c","datavalue":{"value":{"entity-type":"item","numeric-id":4650285,"id":"Q4650285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$8680B1B3-9008-456F-9DE3-656995B746C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01c368ef87c2cc53de791143b7ef30a44ed0575","datavalue":{"value":{"entity-type":"item","numeric-id":4068706,"id":"Q4068706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$DF5DA6F1-39A5-4E80-BCC1-3A926A30B1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$510B3919-883E-487F-9C0B-70A43CB99387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f103fa401cdca02160ebee26851f7a4dbd4e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5813181,"id":"Q5813181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$333EE23B-B56A-49FE-859B-939247D9082F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57744da6a90d42bf20d99ab0bda88e27bce2821d","datavalue":{"value":{"entity-type":"item","numeric-id":3265662,"id":"Q3265662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$F249584C-5BE1-479A-B7E8-13564F12DC87","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":"Q3540178$13EB2F1E-2B65-40F2-B061-54D9AD6779F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$B80A44C1-2595-4F07-8552-A0FED2AD73FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeade2cfdcfcd253e188a74e9e8eaa51de1f1876","datavalue":{"value":{"entity-type":"item","numeric-id":1575865,"id":"Q1575865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$B0DD6213-E135-4B49-A7FC-8DDF844C59BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c47ac64788248a40d8543304d3dd3bc25cb13b","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$8DFEEBA5-60E0-4827-A782-1C7E07DB774F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$1030C066-1D3C-4F44-861B-BB0963A50FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"341cf25e1331e9c3d9b625066b41f81f88fc1449","datavalue":{"value":{"entity-type":"item","numeric-id":5549033,"id":"Q5549033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$653EDCDB-A93D-4EAD-84A4-B18FA22B86FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3dbb8e924086eb69a5a6a156183accae6efe07","datavalue":{"value":{"entity-type":"item","numeric-id":3845367,"id":"Q3845367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$491A8B05-87DB-4D7E-BA79-58E639BFBB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6424e891ec3320cd9100f08f39833a24c09ba9b7","datavalue":{"value":{"entity-type":"item","numeric-id":5596744,"id":"Q5596744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$E8D55AD8-6310-49F2-B3C2-48E0A2A8D308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e9a7126fd3647b4929f8ad5e5b5d84f4d827a2","datavalue":{"value":{"entity-type":"item","numeric-id":2542723,"id":"Q2542723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$8D03385E-4962-446A-8375-4574B4D76E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$D7BD54D2-3FCC-4ED0-8F27-583A33658FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e204f6dbcbce0da74e67a1c2f9bb855419cf8bd","datavalue":{"value":{"entity-type":"item","numeric-id":3214887,"id":"Q3214887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$D3A05A7C-FC6D-4B88-BDBA-166C4C0DFEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475cbdbbb7f14d6e3e0d9483dc4949b7a9efba76","datavalue":{"value":{"entity-type":"item","numeric-id":4126319,"id":"Q4126319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540178$DB0141DD-EF47-4369-B77E-936B8D150622","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5c03adfd0d13ffb9cca204894d0f8ede1fe92d2","datavalue":{"value":{"entity-type":"item","numeric-id":3086776,"id":"Q3086776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14595b91babcc295ccf6843942399715acbd31b","datavalue":{"value":{"amount":"+0.9103878736495972","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":"Q3540178$5AA7DDEB-59CE-4236-B211-B42E696C9C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffab1ec510f63ff1e2a9542c3c3be4322ba4905","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8e08000a6f7f4eaa2611c44652cf84e0262ebbd","datavalue":{"value":{"amount":"+0.7935096621513367","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":"Q3540178$7645A5EF-5ECC-41DA-B1E9-B9185ED3DBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cc3e932e7760daaadb77d898716e1973b9a7d02","datavalue":{"value":{"entity-type":"item","numeric-id":3371147,"id":"Q3371147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"259cc439944adb9a516706e64dfc46df69cd9b94","datavalue":{"value":{"amount":"+0.7905639410018921","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":"Q3540178$11C19E7C-1A78-47D6-A36C-3F1F11F0DEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8f66a489876e1fc8fbb25b2934e6eaef2f2a678","datavalue":{"value":{"entity-type":"item","numeric-id":4262565,"id":"Q4262565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eef893dd7532af7f34fa61a950e28c8f84d4b99","datavalue":{"value":{"amount":"+0.7775185108184814","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":"Q3540178$DF0424CE-F3CD-4099-B66A-6E53CE58FD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df1cfee62064bdc1890dce630e8c4c428968aba","datavalue":{"value":{"entity-type":"item","numeric-id":4207896,"id":"Q4207896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6bccba373af966eeb2360b0eca448f1891b6dd5","datavalue":{"value":{"amount":"+0.7775182723999023","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":"Q3540178$257A8B73-4F52-456B-B1A2-07F2C0FC9C1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3540178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3540178"}}}}}