{"entities":{"Q4487267":{"pageid":6516866,"ns":120,"title":"Item:Q4487267","lastrevid":58259898,"modified":"2026-04-04T11:26:07Z","type":"item","id":"Q4487267","labels":{"en":{"language":"en","value":"On permuting cut with contraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1463115"}},"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":"Q4487267$8E8F4BE3-8E9C-47A4-ACEF-28FC60FD1F4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"184cea451124f3fe891f44ee98e20ea0b38cb2aa","datavalue":{"value":{"text":"On permuting cut with contraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4487267$E02039A4-837C-4D59-87D5-2DFCA2EF5102","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e8bcd1ba9dd85960cfda35eb05ff1428d7cd737","datavalue":{"value":"0949.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487267$302DD703-5149-4E50-9007-007A804289C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf5cb672bd9b312d8931f68c6f5545fb38a08daf","datavalue":{"value":"10.1017/S0960129599003011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487267$DA004A67-1B24-470F-84A4-54B9DF37D580","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1804bbd961ab7085fcd6ebdf3ab03cf98686f33e","datavalue":{"value":{"entity-type":"item","numeric-id":818515,"id":"Q818515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487267$838610DD-F149-4A25-B84C-1910FA493266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487267$BFB0FCFA-B496-4566-A77C-5172C74DC675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"560fadb272ba9670b6f7e2522deaa7e7e693aa5d","datavalue":{"value":{"entity-type":"item","numeric-id":383358,"id":"Q383358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487267$D3A3E852-506D-4BF1-BA2A-97E2B4F4F083","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487267$77B58109-DC9C-40CF-87C0-FED0586EC33F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6bc2311a1e4c7e0048fc3ed2a563730637474b4d","datavalue":{"value":{"time":"+2000-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4487267$18693B1D-E109-48E4-82E8-A1473310C82B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b39578b39ff9564694986748e62c3c4523d7f722","datavalue":{"value":"https://arxiv.org/abs/math/9911065","type":"string"},"datatype":"url"},"type":"statement","id":"Q4487267$C4418562-3E5E-452F-9B92-EAC34644326B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487267$70E17DF4-2677-4FE1-B75A-3AD9A301E670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487267$592D6C40-E801-493C-9CA9-2E87BD838A1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dbaae580bca1429baebacbc29ad172e7b5ac587","datavalue":{"value":"1463115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487267$D6035D6C-65B2-4EF1-96AE-203079954EDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6722b2209aa11f991e0cccfb18f727af37bf0db0","datavalue":{"value":"propositional intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487267$179CC5B1-1DFA-4675-AF13-A56D4C481D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"027e9727da6bad7043954c81884bda988fb75c1e","datavalue":{"value":"sequential formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487267$78E8BABD-07AE-40C3-B221-2CEDE3BC32AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487267$8237EEE4-A98C-41D3-94D4-0B658B1C4C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76a22ad369c49232fb1b75ac24ede315313dde1a","datavalue":{"value":"structural rule of contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487267$F8690782-7277-488A-8200-879AE303FD23","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":"Q4487267$20C47F64-173B-472E-9245-D1DEF11251B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec41fbcf6227cb9b98d3720513a93678334e98b2","datavalue":{"value":{"entity-type":"item","numeric-id":4451468,"id":"Q4451468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8402c125a031568d30efa8fd51d3db06023e004","datavalue":{"value":{"amount":"+0.8351801037788391","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":"Q4487267$EC6E8F44-D07B-40EB-81D5-C7BF420D6736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b8dcd8df300661aa3bb06e3c099f7fcec67e20b","datavalue":{"value":{"entity-type":"item","numeric-id":1304543,"id":"Q1304543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c7111cb956058bab9b432439631daa5bd7ea72","datavalue":{"value":{"amount":"+0.82588130235672","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":"Q4487267$8F097E69-9A4D-47FB-A20D-E3DE0412BD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a58d94bb57000f6bc92c805bf1a96dd4d60c2bfc","datavalue":{"value":{"entity-type":"item","numeric-id":676308,"id":"Q676308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feecffecf9ca214a40fe4f7115bdecd01001e0f8","datavalue":{"value":{"amount":"+0.8238121271133423","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":"Q4487267$DA08DF1A-72EF-4F95-B426-A4A2506CF931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a1363b9fb4769d2729b14d5535843556213fdb","datavalue":{"value":{"entity-type":"item","numeric-id":5221860,"id":"Q5221860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed31081a8c74d1e1bc8efaf8e32fd90b371605b1","datavalue":{"value":{"amount":"+0.8161897659301758","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":"Q4487267$F09A69C5-58CE-4AA7-A727-39C0B7D46741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd94739e752d60e63ee977894d56d8cf7e482ac","datavalue":{"value":{"entity-type":"item","numeric-id":5173184,"id":"Q5173184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f700cc803e7f849047b83ca5b3163562c35c01","datavalue":{"value":{"amount":"+0.8060209155082703","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":"Q4487267$4C7D8311-23A9-4109-81B0-12A8689017CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4487267","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4487267"}}}}}