{"entities":{"Q3371147":{"pageid":3381851,"ns":120,"title":"Item:Q3371147","lastrevid":49790605,"modified":"2026-01-10T18:53:47Z","type":"item","id":"Q3371147","labels":{"en":{"language":"en","value":"Completeness and Cut-elimination in the Intuitionistic Theory of Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5008185"}},"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":"Q3371147$C14D8A23-93F3-4327-B015-8E5C85DA114A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bd7d55258a87c64ed5f832cf4b1e8edd4ea17d1","datavalue":{"value":{"text":"Completeness and Cut-elimination in the Intuitionistic Theory of Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3371147$93A77E15-3F8E-4396-AB10-EDCFA9A44AE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"116e708024bcd8b495c8b11cc046f416c44872f4","datavalue":{"value":"1095.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371147$F156B1B1-E175-45F9-91FB-579A4C1DA709","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9b6f3658270ae486ce09b33f1526f0c9b7feeab","datavalue":{"value":{"entity-type":"item","numeric-id":3371146,"id":"Q3371146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3371147$CE4D2EF3-325C-4F94-B667-99C6A5C992C5","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":"Q3371147$CCBF6355-F170-4A79-9BED-63332D4D541C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdf62483a5814915194a2a6a1a7736760394c780","datavalue":{"value":{"time":"+2006-02-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":"Q3371147$40FA5CC5-707C-4ABA-A908-936721D50B95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371147$C162ACCA-6194-40B3-86E2-2E0EEF04723D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371147$7D84E290-2805-4916-9A7E-46FEA1A98ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371147$7C46B62C-83F3-499B-856F-4D0A73E3C591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371147$8C3A1E81-94D9-4370-8E02-C013B5377A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371147$E0B07811-2385-4DD2-8A61-9D8657BDD3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371147$290D50A7-22A3-4090-8471-4BD8F7B5C8E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a177aa73a434c0d01ebbc679ef7dfbc8e56ce7ab","datavalue":{"value":"5008185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371147$824B9A60-B36F-4329-ABEF-B43DD1B038F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3371147$C5D53BD0-DE42-47A4-B3B0-40A76FB23F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3371147$EAD1FDA5-F634-4FB8-AB8A-17CEB34E6052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3371147$C5213255-04D2-4AD9-85FC-03E8A9074502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3371147$C0DF3902-AFDB-4804-B9F6-8803E0C092CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3371147$75D14F58-FA61-464E-8613-33693E0D8BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3371147$CD51CEEE-5882-4FC4-933C-EAB89B172707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa1d43a34a6c4d936773edf57d681c87c6d360a","datavalue":{"value":"impredicative formal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3371147$AC849444-664B-4154-8DD5-585523AD2965","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":"Q3371147$E2E7BA07-3716-4A69-A885-9B17DF3EA778","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47ca976d27d13c8f6127299a24235fcfbd2ccb27","datavalue":{"value":"https://doi.org/10.1093/logcom/exi055","type":"string"},"datatype":"url"},"type":"statement","id":"Q3371147$2F52354D-CC59-40AF-8E1B-31ECF7D25327","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"757b8d25c1c4e26ec9cc43ed08ee1eeaa06d5494","datavalue":{"value":"W1969802940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371147$D567EFE0-0A66-45F0-AE72-9D45BF070CA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89007873e271e67df89df19130006bad132db50b","datavalue":{"value":"10.1093/LOGCOM/EXI055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3371147$36156B6F-EA65-4760-A1D7-C00252065496","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":"Q3371147$BAE96FEF-1984-4C26-9CB6-1A1846D0A206","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":"0ead5901c6e9588b0f99fcfda7ff6a0571b507c8","datavalue":{"value":{"amount":"+0.8595772981643677","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":"Q3371147$5AE56583-F610-44F1-A982-D50F29A7D588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2397fade5c4f2cc3ab5fbe5a3a21d58401c456bc","datavalue":{"value":{"entity-type":"item","numeric-id":3553922,"id":"Q3553922"},"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":"Q3371147$A43B2BFB-B628-45C9-A6AC-B470915E0620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e5128df90b3cddff447aeda09873e9e2efbb4c7","datavalue":{"value":{"entity-type":"item","numeric-id":3638285,"id":"Q3638285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ce36acbce29e963d52ae557fb239717f60ac1a3","datavalue":{"value":{"amount":"+0.7949011325836182","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":"Q3371147$B27A5FF6-478E-4EAC-9C0F-3AD58E821BA8","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":"efa71658d43d0aaf04b4fc040f9b2589639f21fa","datavalue":{"value":{"amount":"+0.7918241024017334","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":"Q3371147$03EDCFE8-E824-4E91-977B-472E74AF29C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"823bf123ebe6faa90aff855086ed04687b1aef94","datavalue":{"value":{"entity-type":"item","numeric-id":3540178,"id":"Q3540178"},"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":"Q3371147$E1D71246-B1B9-4899-B4DB-B4628DD7C48C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3371147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3371147"}}}}}