{"entities":{"Q817707":{"pageid":819555,"ns":120,"title":"Item:Q817707","lastrevid":64565478,"modified":"2026-04-11T20:44:50Z","type":"item","id":"Q817707","labels":{"en":{"language":"en","value":"Cut-elimination and quantification in canonical systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013041"}},"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":"Q817707$ABD9EAF3-B304-4783-96C0-56D4054FC72E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb21b222a9baf22a3360dbeb21a81b12c709d59f","datavalue":{"value":{"text":"Cut-elimination and quantification in canonical systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817707$DFA59E9F-D904-4DD1-A5E0-9A7873D179DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8646e91e48042ed05b0640083756eec4f3052e65","datavalue":{"value":"1097.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817707$754DF6A4-51DE-4EBD-B986-7CEDA2D4F5CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92250fc2468a927e3b41d7dfe7ef750fde052bc8","datavalue":{"value":{"entity-type":"item","numeric-id":408549,"id":"Q408549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817707$E61A48A4-950F-4291-9A35-FC92FE6AF83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817707$C135DE54-B851-4D1E-A0A7-FFB1883A9435","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":"Q817707$424D18D5-EF43-46A6-BC86-8F496DE0DA11","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":"Q817707$AAAEEC66-C136-4C77-B093-F9305D3BC04C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817707$DCC64D33-09AF-4A9C-9021-D59BA4DF4E75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af7b1cfb075ff665a143d0f9af98a7773fb72339","datavalue":{"value":"5013041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817707$F43D7DFC-EC2A-4E04-B29A-5BBCF6839BF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q817707$21F5F83C-3DDD-4A62-A670-142DD5DEB3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q817707$5781F775-ECE4-4D2A-B038-1FAC6AD1149B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b0bdb0d34b374b5db897e31ca9a19a4aaecc60","datavalue":{"value":"canonical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q817707$19DE4CBB-9CC4-4315-B9EC-A52201BBEF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5c8cafedf90cad7529aaffc7632bff61f54d145","datavalue":{"value":"nondeterministic matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q817707$995DC1E1-2B94-4193-85AA-CE217D5D824D","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":"Q817707$F1E65C8D-F6C1-4363-B715-883E16CB1DFE","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":"Q817707$7A206672-D36A-4A12-A381-A91CC16986DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee2ef961c989d60463bc89f038d2b454f97175dd","datavalue":{"value":"https://doi.org/10.1007/s11225-006-6611-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q817707$129499A3-D187-43F0-84CC-93D95B1114B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b052ed0f0179845b5cdd22164a2202b26147abd","datavalue":{"value":"W1967406295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817707$DB72A069-8101-493B-9A52-906E19117FDF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817707$C7EDA73E-82B3-4A39-934D-61B6481F97FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d7992e583cf45900673369824994739769f4a9","datavalue":{"value":{"entity-type":"item","numeric-id":5703736,"id":"Q5703736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817707$E9057B16-E7B2-489A-826F-3E515F037EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e1d811262dd8c2250bea4bc0f676125b4798fd","datavalue":{"value":{"entity-type":"item","numeric-id":4539639,"id":"Q4539639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817707$ABF4DF8E-D138-4FAD-8C92-C33B54D0DE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58ae24754f75a802a2da40737e8cd0fedd5ca062","datavalue":{"value":{"entity-type":"item","numeric-id":3025337,"id":"Q3025337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817707$3DCC6641-DABB-465B-A552-3246B2BE0582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"165b65e137be5e7ee616ffc2e9e24def67d009c4","datavalue":{"value":{"entity-type":"item","numeric-id":4840168,"id":"Q4840168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817707$88514112-C16E-412B-875F-5C54A53B95A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811842a5d4171eb675db0b37a987e4ca72089c0b","datavalue":{"value":{"entity-type":"item","numeric-id":1580658,"id":"Q1580658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817707$BAC58A4A-7C3E-402F-820F-0ADF7340DF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838411164f69c97962f39c7996d24f24a07a1fd8","datavalue":{"value":{"entity-type":"item","numeric-id":3770497,"id":"Q3770497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817707$45D48B08-3239-482A-BC9A-A8FDC9AE392A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817707$C8537C06-83D7-45D8-857A-D8F89F084619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88cafda8ff3146175a65503bdf55e10e869601e","datavalue":{"value":{"entity-type":"item","numeric-id":4342086,"id":"Q4342086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817707$B3C36800-8251-4866-A86B-58ECF6539A28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1525896d3a9fdc3b5c48ae258cba73017d5c78d2","datavalue":{"value":"10.1007/S11225-006-6611-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817707$3AEDDE3B-BDD0-47EF-AF81-EF0D3689A13A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db957db2630db9c00c109a386240cfa3b76cb022","datavalue":{"value":{"entity-type":"item","numeric-id":4539639,"id":"Q4539639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b16e09e732aa80b4bc6f1b99c5c3a1f92ac33c1","datavalue":{"value":{"amount":"+0.9044888615608216","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":"Q817707$24839679-B82D-493F-A4B9-75B1811181A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c90a5b6c55845718992d9324b62a09535b5547","datavalue":{"value":{"entity-type":"item","numeric-id":3535607,"id":"Q3535607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7cfc0b9c19f9feb6f6dbc90bab11c5b435f5d3f","datavalue":{"value":{"amount":"+0.8867565393447876","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":"Q817707$A7634E4A-D611-45D2-AEC0-9C0E6535E2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd455376ddf7aa13b36810a6853f59175cfbd42","datavalue":{"value":{"entity-type":"item","numeric-id":3613413,"id":"Q3613413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7440773484d60e546611085db523461f84c83444","datavalue":{"value":{"amount":"+0.8860514163970947","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":"Q817707$2B7E83BA-5971-49B6-8887-9520EE17DA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132504702b62a0a627813df4747f1fcd8baaf34c","datavalue":{"value":{"entity-type":"item","numeric-id":3503624,"id":"Q3503624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cbfa804894385f5f7d21613a453afe29618087d","datavalue":{"value":{"amount":"+0.8819401860237122","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":"Q817707$725B5DF4-2047-4039-8923-3AD41875EC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ff4104fa0d0150e1ad5dab26a5a571c447cea0d","datavalue":{"value":{"entity-type":"item","numeric-id":3605518,"id":"Q3605518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74f9e3c0bafa4109b9b8348f2ded7e2238a2d6e","datavalue":{"value":{"amount":"+0.8791865110397339","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":"Q817707$99F81255-8AF4-4209-87D8-1930738EA8A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut-elimination and quantification in canonical systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut-elimination_and_quantification_in_canonical_systems"}}}}}