{"entities":{"Q3553922":{"pageid":5583826,"ns":120,"title":"Item:Q3553922","lastrevid":50960921,"modified":"2026-01-15T22:55:19Z","type":"item","id":"Q3553922","labels":{"en":{"language":"en","value":"Completeness and cut-elimination in the intuitionistic theory of types. II."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5696828"}},"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":"Q3553922$B174DD23-D039-42AA-A104-FF3FA186F5CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c6f7c8ea8619b998f208d24300b738835ed5f25","datavalue":{"value":{"text":"Completeness and Cut-elimination in the Intuitionistic Theory of Types--Part 2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3553922$0928D931-E68E-47E7-A001-9D3A99466948","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb7969eb48740428b85c8fe339b773a7b9cec6cd","datavalue":{"value":"1188.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553922$E308CF38-D6D4-4651-A1F8-1D7B40616246","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":"Q3553922$1B40AAAD-2550-4F6D-BB0D-78B5FD7A2963","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":"Q3553922$3C818C06-CE7C-4D52-984B-25B78FC77EAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c94577583f3aba69a0209f76777f283262f5429","datavalue":{"value":{"time":"+2010-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3553922$D3A6D28E-07C2-4361-81A2-64B46198A70F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553922$B86FD7F8-2223-4D73-B94C-AB193E2614A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553922$EE3F6F4C-410C-4530-8A68-AAFB5F3EE850","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3411970ed503cbc9640df071eb891afd642680b8","datavalue":{"value":"5696828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553922$17176E22-9FF9-4A07-964E-047AEBEC95EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553922$2BA3FCDD-42B6-4408-81A9-7E5BFA92B240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37025c9dbc84e42f604ca41ff70802c4959d777f","datavalue":{"value":"intuitionistic theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553922$59D08341-28AE-4FD1-9A4A-762D18791FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553922$40EA4A6D-33A9-4888-A6F3-84BB05D0AA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3553922$E83F202B-B885-4599-8F05-F3C4DA74F963","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":"Q3553922$1BC57E1C-CBD9-4789-84D6-65732CAC2977","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4afba0bc42e9555be2e6d0fd593dedd16027d951","datavalue":{"value":"https://doi.org/10.1093/logcom/exp076","type":"string"},"datatype":"url"},"type":"statement","id":"Q3553922$D7E95AEB-31B4-482D-9103-B5444A5C222C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f6f5188c1e73eea5f878439e2335b3f4c4e8991","datavalue":{"value":"W4238160626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553922$71C64ACC-26E1-4DA9-A5B0-05498A41EA83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ce90c52b1b2decb786700961bb666ed1ed4e8a2","datavalue":{"value":"10.1093/LOGCOM/EXP076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3553922$400B872E-66B8-47DB-AD2B-5BC5A8BD19D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3553922$44006656-248B-4192-AE73-B73542C287F3","rank":"normal"}],"P1643":[{"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":"9f21ff134b9359c401a1960296e277e51da59c28","datavalue":{"value":{"amount":"+0.8387052416801453","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":"Q3553922$5BF58461-8082-4E21-BFBD-2AC1248FEF54","rank":"normal"},{"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":"c8884a65c012963c670a51359ffb681cd5600296","datavalue":{"value":{"amount":"+0.8058010339736938","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":"Q3553922$A008A0A3-E921-43F6-829F-DC1FD8FB9285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696d83aaec159cdf8ddedd031545e8cc3910de03","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e32d662a3424123110111b7c9468ee1b93fb3bae","datavalue":{"value":{"amount":"+0.8048068284988403","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":"Q3553922$1F310304-285D-4C36-A583-0B7D54C925D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad4e5cf2b77e28e0e575b673c2ec6991d250d0","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e32d662a3424123110111b7c9468ee1b93fb3bae","datavalue":{"value":{"amount":"+0.8048068284988403","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":"Q3553922$F3721B26-6694-4ED4-B4FF-F79218631129","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":"7664c57dc0e8b885a42f26c4a64ff6bf5eb84912","datavalue":{"value":{"amount":"+0.7878857851028442","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":"Q3553922$6AF4348C-408B-4B53-B652-B8A4E7F808A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3553922","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3553922"}}}}}