{"entities":{"Q5958760":{"pageid":8135562,"ns":120,"title":"Item:Q5958760","lastrevid":40694995,"modified":"2025-04-04T09:34:28Z","type":"item","id":"Q5958760","labels":{"en":{"language":"en","value":"Subtyping dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715805"}},"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":"Q5958760$4800E398-FAF2-46A1-8CD8-E7150BB6F024","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47dad33780983a4d01a148a9b1330b394c1e7aab","datavalue":{"value":{"text":"Subtyping dependent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958760$E44C5997-6CDC-42BD-AAFD-04C72BF49845","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2bd31eea53888385bf3186857601d1d7890f4fd","datavalue":{"value":"0989.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958760$C818AF0B-9897-44BC-B74C-F1F2C0F811B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6041ec58eea5798d2fec701630eb0a52d6dc399b","datavalue":{"value":"10.1016/S0304-3975(00)00175-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958760$8007CA03-635B-48ED-B953-138B25E3A46D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cb2d83c6e9a26863f5eadd24ed7ef714112a42b","datavalue":{"value":{"entity-type":"item","numeric-id":626930,"id":"Q626930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$698E1DEC-C78C-4636-84D3-D7A0E0353195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb8a2e87d09ba8c2d92e35d3978f2d996c4ab985","datavalue":{"value":{"entity-type":"item","numeric-id":598198,"id":"Q598198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$086B126A-BCA4-4B35-B4F3-B9F0EA2F962A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$63328956-16E8-41FD-9BB1-3D496EAAE63E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-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":"Q5958760$CF0990B8-FDC0-480F-A0F6-A1BDCAE3CC29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958760$DB65F141-AF76-4E9D-8A20-76EDCF1365DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30d77d43768c34c3ec067a394d9c7093e8938092","datavalue":{"value":"1715805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958760$3D3B3145-9345-48EE-BE98-CED6600E1827","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958760$D3020F00-B84B-45A2-ACE9-9001DF6D8BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958760$E3CBA2E7-0A00-4082-ADFC-04F7C33FA739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958760$868621A4-A949-4173-AEFD-22EEDC575E30","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$ABAE4FE5-3B13-4D28-8035-A5AB09DED6F5","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":"Q5958760$13F81011-8833-4812-A132-16B6EE89761B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eff1fd92245df38d7ffeae1e590de1b0d5007c30","datavalue":{"value":{"entity-type":"item","numeric-id":4474826,"id":"Q4474826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$7FD1C4DC-E32A-4C1F-9C81-0E6E781DF0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e32b6627db2baaf9e164614e67ab180e4d4fcf","datavalue":{"value":{"entity-type":"item","numeric-id":5958760,"id":"Q5958760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$1C5E41D6-3583-4C49-8B5A-97E7662D8A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7c99e107348aa82bd1ed9ca721c57c6ffc4f86","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$328A3F4F-C555-4A0E-BCA2-C5AB959A407E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d67ea79cf49ca1e8040f64397f57e799e6b059a9","datavalue":{"value":{"entity-type":"item","numeric-id":4247299,"id":"Q4247299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$8242D221-F7EF-46D4-8287-402B79BEE795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d96cb74d35dcef0be34809322dc2ac71fba5dd","datavalue":{"value":{"entity-type":"item","numeric-id":1175335,"id":"Q1175335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$544D630E-42A8-42D8-A6AC-A24632C97B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c789e013c65d182ece8bbb74bd3241b07a7d8b4","datavalue":{"value":{"entity-type":"item","numeric-id":3789049,"id":"Q3789049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$DDC4EB96-DEA6-471F-A6A2-F5A19202EEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ae81b5b6b9aa99c5ed531cc74a0cac8142cb35","datavalue":{"value":{"entity-type":"item","numeric-id":4699295,"id":"Q4699295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$A586078D-BE80-4061-A4C7-893552248931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1973aaed55a4e2d3fd84ece3e4faef40c3724266","datavalue":{"value":{"entity-type":"item","numeric-id":5466793,"id":"Q5466793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$D5E6616D-11A3-4B7A-9CF2-5310F10F3B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23d8d107cc484ffc2be9d341cdae3571364725c","datavalue":{"value":{"entity-type":"item","numeric-id":1401950,"id":"Q1401950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$88C77779-4D42-48BB-9BEA-602A404B9D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ec3e64915f874238ef3f6b18be98c3977bea28","datavalue":{"value":{"entity-type":"item","numeric-id":4474829,"id":"Q4474829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$F457E016-6675-4CDA-A11B-750A3FD180AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$2588A516-A508-459C-A6E4-6F886B3F40F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd8d9ead5f4aef6a0df48651eef887001e51c4a5","datavalue":{"value":{"entity-type":"item","numeric-id":4005456,"id":"Q4005456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$CEFCB2EE-8C15-4092-85A6-9004ABF27393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$31AD7FDF-7564-4FB2-AA86-7E19BE98BC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bbf5c4acba1e943106282227d496dff22117d6","datavalue":{"value":{"entity-type":"item","numeric-id":4238487,"id":"Q4238487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$ACD97247-DF4B-4B23-85F4-978872F3D72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb3d6e415993a24834eb6711faa6c314c6b40a4","datavalue":{"value":{"entity-type":"item","numeric-id":4764619,"id":"Q4764619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$3FEF0369-3F0E-463B-A46B-FBB54B295DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"918054d5ef9a74c159726e5cedc74605d3ec3553","datavalue":{"value":{"entity-type":"item","numeric-id":1323357,"id":"Q1323357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$57236212-8647-455C-A337-ECE36E739615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56b17e5d9b9907f200be06515e7494ea05ef2620","datavalue":{"value":{"entity-type":"item","numeric-id":4935999,"id":"Q4935999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958760$0A268428-C8B4-430D-AFBA-E65E2AFDCA12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755a3f729766b3ae952e3c337c1807ae74bc9dd6","datavalue":{"value":{"entity-type":"item","numeric-id":3789049,"id":"Q3789049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d174e2a2b90159b9d5c33d7a17e2c91e5ede8c","datavalue":{"value":{"amount":"+0.92959523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958760$FE37DC6C-5FE3-4B0C-99C7-5281C4DBC9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfccf8ba0b6b2082d15c2a03e319b71b711f5254","datavalue":{"value":{"entity-type":"item","numeric-id":1854436,"id":"Q1854436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddf5d11edc1008b5fb02fceac237d08f64b39300","datavalue":{"value":{"amount":"+0.9218615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958760$B1AEF1A6-DC0D-4CE6-AC5F-37C0CC57FAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e4ed5da66b9b8d0c38fc30aadf7bbe8801ccb9","datavalue":{"value":{"entity-type":"item","numeric-id":914357,"id":"Q914357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f044232c664c5f8cb2ca4096f4b556ddc37c58eb","datavalue":{"value":{"amount":"+0.91510296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958760$36B49DBA-D477-4A7A-A89D-8AACA3B3BE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da9be64ecfa2a4b5cef2777ee5549282bab3ebfa","datavalue":{"value":{"entity-type":"item","numeric-id":5030204,"id":"Q5030204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d470ddbd359fa5bee13cbffd9a0b2391178f16a4","datavalue":{"value":{"amount":"+0.91223425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958760$6A2A9F25-BBC2-4BB6-BF08-509C898B465F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e703c12462fa3c0b4409c4b169c76db5afa7ad9a","datavalue":{"value":{"entity-type":"item","numeric-id":4500363,"id":"Q4500363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20cf62dedd42fd03c88a3c1309f291c8b94161ad","datavalue":{"value":{"amount":"+0.8931942","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958760$0ACE64B7-463B-46B6-AC33-DF2361A86E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbedd6ab3dfe1136ec5ec551c70488fa195c1012","datavalue":{"value":{"entity-type":"item","numeric-id":4673424,"id":"Q4673424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33ca221f42a1547a4dab1bb212659ff2947316d2","datavalue":{"value":{"amount":"+0.8927505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958760$96EB5A9B-53CD-483B-86E1-5226AAE65A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e5c49e676c41aa5ec4011d82699145efeda181","datavalue":{"value":{"entity-type":"item","numeric-id":1392282,"id":"Q1392282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d358cd10c1526361751b216d5c4733e41fb7536","datavalue":{"value":{"amount":"+0.892721","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958760$F6B6B40F-5097-4DD0-9315-6C49DC4B6EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23680f141fd2144ad476fea8a6ad3dcd9befc86b","datavalue":{"value":{"entity-type":"item","numeric-id":5756515,"id":"Q5756515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d268d953be36e80b7b6f2a97fb39ea8933446b06","datavalue":{"value":{"amount":"+0.89225614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958760$3AD60899-C50A-44A4-8B62-9A8C1AFB497D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59780e1bc88df251db34eaae7866da9dea12755c","datavalue":{"value":{"entity-type":"item","numeric-id":5176953,"id":"Q5176953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6c7b53971f56426cd8bff7c2c946dc8fd216d49","datavalue":{"value":{"amount":"+0.8866681","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958760$FE728C45-5AE4-49D1-8526-79457854A92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4246eaf4aeb7ee18b6fadc7db2ccfc3206320db","datavalue":{"value":{"entity-type":"item","numeric-id":5703756,"id":"Q5703756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2973011221e36f66d45fbad03e0ea0a26f7c30a0","datavalue":{"value":{"amount":"+0.8850635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958760$32583497-99A1-4FC8-9AC3-9119DA5BE9FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958760","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958760"}}}}}