{"entities":{"Q2817924":{"pageid":2828662,"ns":120,"title":"Item:Q2817924","lastrevid":79420433,"modified":"2026-05-06T13:51:59Z","type":"item","id":"Q2817924","labels":{"en":{"language":"en","value":"Schematic cut elimination and the ordered pigeonhole principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623265"}},"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":"Q2817924$B925FC42-1816-4B94-8A7F-F0309B4E2FAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8a85c92f90b17732b5e88fbfadc7120cd05d45f","datavalue":{"value":{"text":"Schematic Cut Elimination and the Ordered Pigeonhole Principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817924$0948123C-7123-4DBC-BC88-34693964BE26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3617f65c6aa7ebb8f463014048aaa2ff2c123e8","datavalue":{"value":"1476.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817924$4290091F-7B4B-4000-9C8D-FA5051544B33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d33f6d274158e10354b5eca7cc33f6850231a165","datavalue":{"value":"10.1007/978-3-319-40229-1_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817924$41BCD002-3295-4014-A429-68E65D3B62DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfbc6aedeac132fa8fdf22a422318272d7dd6c21","datavalue":{"value":{"entity-type":"item","numeric-id":1694472,"id":"Q1694472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817924$BDB85EF1-CC54-452E-9765-5A71EA2ACF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817924$508A7433-1BD3-431F-B99C-83C3099229C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817924$80430931-C173-41E4-B404-6A8217311350","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817924$A78E0D44-08EF-4210-8D6E-7E0637986138","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bbf4d2305f8f238d0abe4127f09080fde45717b","datavalue":{"value":"https://arxiv.org/abs/1601.06548","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817924$D1F454C8-34F7-4B12-A687-FE71A7795E6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817924$6DD18D3A-7D96-4F63-ABE2-F763E07F88F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817924$5FCD303D-110F-4EA1-893E-7A24D8C01C02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fb3b767928b8fe3c17a9ef3ec3266a435f7f4a4","datavalue":{"value":"6623265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817924$E4ACE73E-A0AE-4A44-9331-87F5B89D6050","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45702294177a39ee1ff9766c01d5d14dfb7896ef","datavalue":{"value":{"entity-type":"item","numeric-id":21425,"id":"Q21425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817924$A65D9E23-19D9-491D-AF10-9915E95F63A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817924$3066E8A4-5165-45F9-A74E-20D5106C0E06","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":"Q2817924$8854F21E-CF3F-45E7-9AA8-86108D933C95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83d9b78f9ed233886097ed8a3f298643a01f2113","datavalue":{"value":"W3046430348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817924$A4B0BB0E-8654-4C84-B4C8-27A353EFC07A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"93bcd041174ccd48e10bcb2ce475e4ab10d2f70d","datavalue":{"value":{"entity-type":"item","numeric-id":944367,"id":"Q944367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817924$EB2C75E3-1855-4284-930D-5F5E997EB7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b559e594edc07777117cb084e905ea94187a1df3","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817924$290B9BC5-1AB5-4949-A9F6-6358A2A13F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1079b6d698a143d8d07f3dc7f4c3c2ed61bd0760","datavalue":{"value":{"entity-type":"item","numeric-id":5927981,"id":"Q5927981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817924$186E50F2-99E6-47D1-97E1-72A4CEAAA4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b28d320f1946e7f3fd48081f2ba560ca397acb","datavalue":{"value":{"entity-type":"item","numeric-id":609451,"id":"Q609451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817924$B57FA5E4-DA3F-46A3-9DC8-FEC713339797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acdb95959b57456fca08b117071e35f64c5d31a6","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817924$142FCA86-AB1A-4164-96FA-1CDA42116539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817924$4AD8B0CD-CD7F-478D-BD60-F72BA17F3687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635d658e492778c40a0dc6463613126938b64c17","datavalue":{"value":{"entity-type":"item","numeric-id":2751365,"id":"Q2751365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817924$BA7C0646-9B04-4E93-93A5-F3DDB3E3FCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cda43e2041d516e6918934561c93e8cfe842d95","datavalue":{"value":{"entity-type":"item","numeric-id":2817924,"id":"Q2817924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817924$12718FE4-1E42-41E4-A54E-B2A4E0B86A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe32806edf287e44f6855c200795e18b751477f","datavalue":{"value":{"entity-type":"item","numeric-id":2751366,"id":"Q2751366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817924$C109853F-CACD-41D0-A073-AAF25617BFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a367dc79ef69a0451f132c3389c173b5eb5dcf4","datavalue":{"value":{"entity-type":"item","numeric-id":3455184,"id":"Q3455184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817924$F3C6F607-5D35-4C89-B2F0-C8D47A58DA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d619179deec73e98daca550b5629aea20622978","datavalue":{"value":{"entity-type":"item","numeric-id":1575931,"id":"Q1575931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817924$4F01B852-7DD0-4BBF-9121-DC4DC789B47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817924$A9003920-D758-4183-A7A3-7A689BC9D5D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f489b95b7f73d2dc05afaf10bdb2ac49b401c6e","datavalue":{"value":{"entity-type":"item","numeric-id":5894700,"id":"Q5894700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d1f0c833822b6d2cee5127811dce0d63db57a8","datavalue":{"value":{"amount":"+0.8328620195388794","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":"Q2817924$77302E72-8567-4F8D-A208-8F11E9F9E260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060c11824453d7d11b7734e7def710dc27b17879","datavalue":{"value":{"entity-type":"item","numeric-id":3455184,"id":"Q3455184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b2dc0edc480109d2abf0e4f337f719c237da20","datavalue":{"value":{"amount":"+0.8316012024879456","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":"Q2817924$68A09381-DA30-4BED-9C8A-3657DE6EC992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dff2234d712e9ec47640c786da6a18cb4b7bcee","datavalue":{"value":{"entity-type":"item","numeric-id":5705944,"id":"Q5705944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3032d091765e8c51b398ac045cdeb1f9ec40311e","datavalue":{"value":{"amount":"+0.8271927833557129","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":"Q2817924$E07A69A7-B499-4386-A4B7-5C904681C0FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be4479469ed258f2f3fe03456989efa7ca924762","datavalue":{"value":{"entity-type":"item","numeric-id":5219931,"id":"Q5219931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175cce10048bf699c23107064ee30fa478f2fd91","datavalue":{"value":{"amount":"+0.7538623213768005","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":"Q2817924$85B313C7-4914-440D-9B9E-16C17A36FA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abede1ff1a0be2900336d947290c1b6d50095efc","datavalue":{"value":{"entity-type":"item","numeric-id":2457341,"id":"Q2457341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c5107816b8485840903e7de37b373c0656dbef7","datavalue":{"value":{"amount":"+0.7533616423606873","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":"Q2817924$FD95E605-D919-410B-A24A-EF7F961A7A93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Schematic cut elimination and the ordered pigeonhole principle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Schematic_cut_elimination_and_the_ordered_pigeonhole_principle"}}}}}