{"entities":{"Q1273074":{"pageid":1283824,"ns":120,"title":"Item:Q1273074","lastrevid":68347983,"modified":"2026-04-12T23:06:19Z","type":"item","id":"Q1273074","labels":{"en":{"language":"en","value":"Dependent type system with subtyping I: Type level transitivity elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1228840"}},"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":"Q1273074$70AE19FF-3985-4767-B4DA-81010A18549A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f55646ad16094b65cb6d4897414b198ef3c0648f","datavalue":{"value":{"text":"Dependent type system with subtyping I: Type level transitivity elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1273074$C37AF451-0082-4E36-97BD-010CA4FEA72C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13e5da796b55fc96c7614889af6c3ad759bb5f98","datavalue":{"value":"0911.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273074$E6175BE8-9070-4109-8682-4FCE58CC986F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5923c8c8aa3f3b5bf36552517f986ee21536d365","datavalue":{"value":"10.1007/BF02946500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273074$1435F402-DA5E-4167-9140-AFB81210C0DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a04b7ffbbf9ab5e337a666c06b668d180e369475","datavalue":{"value":{"entity-type":"item","numeric-id":270349,"id":"Q270349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273074$A988827E-E4E2-44DC-B243-EE6E56EB8147","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273074$03E05EC1-D530-4FF5-9387-F28E119E26AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ca81668723b17b38fcd31dd2e967490600b6d1d","datavalue":{"value":{"time":"+1999-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1273074$A19CDEBE-98F2-409B-8124-BE2BC5628042","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273074$C9D1A32A-0F84-4684-A090-AD0ADE6DDBA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f22d610003ee30c2dea0f1deabc05e0585c080ab","datavalue":{"value":"1228840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273074$3C7BD6BE-DD5D-4140-8B5C-AFD091DE5D71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49388e046339f86e6623a972cf68b5665500aba7","datavalue":{"value":"transitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273074$409631D9-E92E-45CC-9375-07EFB0769831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273074$EA3E55C9-452C-41A8-BE74-83BE1E2E8879","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":"Q1273074$543BDBDF-0D48-4270-9B61-A39871B21FA2","rank":"normal"}],"P223":[{"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":"Q1273074$6A952F58-BA5A-4A4C-8828-114DE7F5D574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cd467b48ea60d1d627fddf6f53c0efbf0ffcf2","datavalue":{"value":{"entity-type":"item","numeric-id":3372684,"id":"Q3372684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1273074$3277030F-AC9F-48AD-801F-3AAAF49869C8","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":"Q1273074$2856DCC4-EA2C-4B5B-A1CB-F48B6C5730B4","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":"Q1273074$1AC14864-0CA8-4339-94C3-52424EDF586D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6c90560d319abd456c439d3b38077dae2da1356","datavalue":{"value":"https://doi.org/10.1007/bf02946500","type":"string"},"datatype":"url"},"type":"statement","id":"Q1273074$486F2E28-3448-4212-911E-414DB94A1510","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c64e536f2b73f142d5c33c33eb6d96cc07a0679e","datavalue":{"value":"W2075388708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273074$44F890A2-9411-4349-ACFF-D9D30C7B15DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd02653a0f5288cbd7583c98894a5128fb01b60","datavalue":{"value":{"entity-type":"item","numeric-id":5958760,"id":"Q5958760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a38e6e7edf4a400fd5549a42d256d26cbe8fbd62","datavalue":{"value":{"amount":"+0.8231732249259949","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":"Q1273074$4A16BAB9-A482-415E-9E52-C4D8AC52F338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b34dddc8f91d2a495f72d0d79f62f0459521d4","datavalue":{"value":{"entity-type":"item","numeric-id":4246951,"id":"Q4246951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe3106efe041f4c26f55cd8d6945655a976ac2ee","datavalue":{"value":{"amount":"+0.7764962315559387","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":"Q1273074$752AE18E-DC88-4A12-ABF3-0CE5138B4882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"216c10823f945c5500445c1b46f8f1332dc39cb5","datavalue":{"value":{"entity-type":"item","numeric-id":4263883,"id":"Q4263883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6bef3a2f700cf25598c8fb244c976e0b9293b77","datavalue":{"value":{"amount":"+0.7755780816078186","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":"Q1273074$02D9AA74-8104-4E87-894C-03B1F6EB5BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b23460e0d689a00cc78b1aa6b8e3b5e20cf4b46","datavalue":{"value":{"entity-type":"item","numeric-id":4508290,"id":"Q4508290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c401422b354edafd7e550040ddd4fe55a3185654","datavalue":{"value":{"amount":"+0.7720727920532227","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":"Q1273074$C9B79499-451B-4B10-BF1D-9C12163606E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dependent type system with subtyping I: Type level transitivity elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dependent_type_system_with_subtyping_I:_Type_level_transitivity_elimination"}}}}}