{"entities":{"Q5013908":{"pageid":7043485,"ns":120,"title":"Item:Q5013908","lastrevid":55396021,"modified":"2026-02-17T15:29:37Z","type":"item","id":"Q5013908","labels":{"en":{"language":"en","value":"An Upper Bound for the Proof-Theoretic Strength of Martin-L\u00f6f Type Theory with W-type and One Universe"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438600"}},"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":"Q5013908$08DA352F-33B2-4098-8426-887676C6F4CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ee836abf1a78382e7edb784546d12f077f4300b","datavalue":{"value":{"text":"An Upper Bound for the Proof-Theoretic Strength of Martin-L\u00f6f Type Theory with W-type and One Universe","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5013908$F1ADE30F-ED9A-4EB6-A7A2-8FEA9A37A6F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe94a3e5228718fe595750b05e712f30e0ed1463","datavalue":{"value":"10.1007/978-3-030-49424-7_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013908$96A1183C-1642-4313-8863-AE02B51120AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5c32b06bc595cc0428a1baec33ca77fa4107426b","datavalue":{"value":{"entity-type":"item","numeric-id":5013890,"id":"Q5013890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013908$C51BD4C9-F10D-4957-A964-F0F1CDB7B9AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5013908$4B903C17-56DE-4376-8D1E-D8389FD38726","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c929b5d995fcdb3c59a514ca9413b075019704f1","datavalue":{"value":"https://cronfa.swan.ac.uk/Record/cronfa51297","type":"string"},"datatype":"url"},"type":"statement","id":"Q5013908$7866F29C-C8B9-4DC6-AEF2-DBDBFD7DC4AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013908$11C0202F-A025-4F91-A179-EA0331A06B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013908$FD084411-2F88-4CC0-AF1C-A6FFA036D72E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba171ea076c33e915e77cfbf524b8e4b0a5f30a9","datavalue":{"value":"7438600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013908$C7D403BD-DDD0-4172-A9AB-3C91419B741A","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":"Q5013908$8E2116DF-82EF-4CCD-BB0A-3575F0EBF45D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f51dcbe2f0725e66992cff03e3b65f35e111d395","datavalue":{"value":"W328150321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5013908$15B94908-B674-4089-9EEC-55E85CC0E254","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"46419868a26066c57105f56b79c9f83e9bd0e76e","datavalue":{"value":{"entity-type":"item","numeric-id":4742775,"id":"Q4742775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013908$EFC00492-71CC-40C6-AEBA-854A150270B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013908$FAF046F6-BE79-4696-B993-4FB771F94B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0323ae7f86e00753a41210dfc0205be3a4bca39a","datavalue":{"value":{"entity-type":"item","numeric-id":5361244,"id":"Q5361244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013908$15137F5F-4481-4CF5-B0A2-79E29B1091B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4298af7acb5fa18c459f913b67253cf7985ec17f","datavalue":{"value":{"entity-type":"item","numeric-id":5457304,"id":"Q5457304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013908$C584B450-CA04-4E02-8636-B1DF07E74AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd7a8d1c5be3816c0eac56917cb8b0244a44b6bf","datavalue":{"value":{"entity-type":"item","numeric-id":5438968,"id":"Q5438968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013908$0156F234-74CF-443A-BCA9-2A54B96E2048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc1ad39823e87bfa0461332d92468ea40681b5f","datavalue":{"value":{"entity-type":"item","numeric-id":1568707,"id":"Q1568707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013908$68838063-4371-48B3-AF66-3D4AA44F2030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4961374e6ddb708111e6f7dc9bd89efaafa073e9","datavalue":{"value":{"entity-type":"item","numeric-id":1295372,"id":"Q1295372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013908$2E6C35BF-71D2-4670-BDFD-73A74246A047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47801dd5345fc4e74ffd8468eaf5aac8eb2bb5ce","datavalue":{"value":{"entity-type":"item","numeric-id":4247313,"id":"Q4247313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013908$A7EC35D2-F68E-4714-9F0A-53E74DEC50BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f26adabcc39dd027a7ac9b73459f012db8e58f7","datavalue":{"value":{"entity-type":"item","numeric-id":4715478,"id":"Q4715478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013908$C497A57B-42F0-4252-AC7B-32D00AF2B34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec6af83f9a6c90ef054757ef63aea9bbf0884e2","datavalue":{"value":{"entity-type":"item","numeric-id":803124,"id":"Q803124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013908$A101065C-2D64-4F90-A5E8-B1BAEBD5DB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397e4e2ee65292a376a8df287bc918d9ec760e88","datavalue":{"value":{"entity-type":"item","numeric-id":4749835,"id":"Q4749835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013908$09E72A7E-0168-43E5-A008-94F6302A2244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b863b6036f4ba935e5046f5181aa4b1c5d780b87","datavalue":{"value":{"entity-type":"item","numeric-id":3895467,"id":"Q3895467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013908$139B59F8-D7B1-415F-B740-FBE4D9E44BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772f22db8726abc1b17c66467dc58d8102a542e4","datavalue":{"value":{"entity-type":"item","numeric-id":1344548,"id":"Q1344548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013908$17B967F9-6C3E-4E8E-84AA-E651B872B2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43c482b602f05488701d197a989abad413a86d3","datavalue":{"value":{"entity-type":"item","numeric-id":3138829,"id":"Q3138829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013908$25D2919F-8379-4226-B78D-CA779A5FE257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013908$1EEDBD43-B16D-4AF2-9108-8BA50EEBB424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"499a95bca207fbf8c7061b1c293c572cca9800de","datavalue":{"value":{"entity-type":"item","numeric-id":3041187,"id":"Q3041187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013908$E9B54536-7564-4056-A296-14A9FC87B7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5013908$0DEB322A-5BAE-4CBC-93B9-3E7A4BC9EFFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9c700c00cfaf31e5a7d9e0e561fb4b9541cb82b","datavalue":{"value":{"entity-type":"item","numeric-id":4715478,"id":"Q4715478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"096bfcf1c21eb433f642895413c0d76dcab0475e","datavalue":{"value":{"amount":"+0.9025251865386964","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":"Q5013908$84B60ECA-CE9F-4B3D-A8ED-5AA7396EC96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c0867e245a452e44f078e1a0c502914012c5dc","datavalue":{"value":{"entity-type":"item","numeric-id":1295372,"id":"Q1295372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a7ea532b6bb45bec4b436d17a39347f5deab5d","datavalue":{"value":{"amount":"+0.8954821825027466","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":"Q5013908$79DE39E2-A183-4AF8-ABDC-84C8955C2644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3d9899bdce2c77c703aa5bb266fb0dd8900d9f","datavalue":{"value":{"entity-type":"item","numeric-id":1568707,"id":"Q1568707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05cae45e7f56d2da065a4ae81d54f16fed4eb19c","datavalue":{"value":{"amount":"+0.8399596214294434","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":"Q5013908$FE679225-8B23-4500-B848-F6E79EA2F5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c995985ab517bc18c9b297f34f20ce89e9265e4","datavalue":{"value":{"entity-type":"item","numeric-id":5457304,"id":"Q5457304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fc54844df9093cbc79eba14996322168db20625","datavalue":{"value":{"amount":"+0.8284019827842712","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":"Q5013908$EFE2D536-7B21-4892-A08F-5A80C8A12D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f909d797baa23e564b49ac086cd4abee13b9158","datavalue":{"value":{"entity-type":"item","numeric-id":4247313,"id":"Q4247313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b73afe7e3a5d8213ce15e115a126a40b5262a499","datavalue":{"value":{"amount":"+0.8277521133422852","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":"Q5013908$4AFDD9E5-646A-48E8-929F-E20B79CEB024","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5013908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5013908"}}}}}