{"entities":{"Q530845":{"pageid":532612,"ns":120,"title":"Item:Q530845","lastrevid":62533710,"modified":"2026-04-11T06:44:41Z","type":"item","id":"Q530845","labels":{"en":{"language":"en","value":"A dependent type theory with abstractable names"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6608302"}},"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":"Q530845$938D2D9C-BF58-47BE-B56F-9BEF929E402C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43058970a97e10d9432100dd62f2f21a2d07abcf","datavalue":{"value":{"text":"A dependent type theory with abstractable names","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q530845$7C5632D4-2241-4844-AC31-A6A034CE73AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d585c3ba43ac1a043f83c2fdb34d6ee8de62a6d","datavalue":{"value":"1342.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530845$A5BF57FA-6C5D-4192-9392-1E90C1F06FF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$F807BF1D-A30D-4A0E-A6A8-34D8114B1517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e7deccb22991a85f12a33d85159ed66ea2feda1","datavalue":{"value":{"entity-type":"item","numeric-id":530843,"id":"Q530843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$DE92405B-11C0-4312-BE26-BCF78B923003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8de990dad1f08531e9e4bde6a45afe4b62e52a7","datavalue":{"value":{"entity-type":"item","numeric-id":530844,"id":"Q530844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$E336B226-CD50-46CC-88AC-B9DFEDA39380","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54b54adebb79dfabd07c0151545b3468c800875b","datavalue":{"value":{"time":"+2016-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q530845$56BE0412-2AF3-4835-BA8E-122E797B1BB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530845$C0EC95BE-7BEC-40BF-8FD2-08137AC01110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530845$8AB4B144-F682-44B7-BD3D-7DA16A9581B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530845$3C7155E1-BCE4-4A16-8639-8D095222D696","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"149b94898695a07b83bb727af816941a2a25ae5f","datavalue":{"value":"6608302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530845$E534DB68-C653-4BD2-BF67-A0D37B3615DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"825e6e134e758868dbf51f02f1ab06c9e0c070cb","datavalue":{"value":"binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q530845$C3ABD06E-5AA9-42BD-84CA-E98BE33C6A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q530845$988FB9AC-FD0D-4C0C-8076-5F0C04A7A5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527015b819629f50d5bdba50abd49fc7ff5c544a","datavalue":{"value":"names","type":"string"},"datatype":"string"},"type":"statement","id":"Q530845$D599EEB5-24A7-4066-8157-E801FD11C1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b78fd06c75bce2f27c56fcdfc2f26769e147394","datavalue":{"value":"nominal sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q530845$2D251DA6-DCB2-47A7-9A8D-4305DF8A9F64","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c4af8ee555123677c11f05f4a7acea2db389befd","datavalue":{"value":{"entity-type":"item","numeric-id":34406,"id":"Q34406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$B287FF3F-B575-4C34-B25A-CEC39A8CE37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4679151adf8ac447edfc2fb5110876fdfca498c","datavalue":{"value":{"entity-type":"item","numeric-id":20987,"id":"Q20987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$DC522AF1-BA32-4E47-989B-0933084C82DA","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":"Q530845$3859E625-D364-4C2D-82C9-FDBAB6D67740","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"28f162406d583b78b987d1b7873633961cf1e805","datavalue":{"value":"Q113317811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530845$4C3BC696-1BF1-4F46-B88E-835FCCABAA87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59fffc687092a87c687d466d880d283aa86488e8","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2015.04.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q530845$8FB510EE-23F9-4455-B475-26F17FE4EBE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef199e356001289f5526324b4117304266d6e4e9","datavalue":{"value":"W2053194822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530845$7F65D22B-C837-4ABD-9BA4-A168BE1EEEF0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$D7E94A54-8A52-47DD-942E-4EC14DEE5C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b08198052b1656c808cc8d2347c21a890457c7","datavalue":{"value":{"entity-type":"item","numeric-id":2881075,"id":"Q2881075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$6B54A6C7-BD42-4668-B8E5-CEE90F4034B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5adc47a96ca420bb12283570fe24dcdb71dd9c2","datavalue":{"value":{"entity-type":"item","numeric-id":2864152,"id":"Q2864152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$20C111DE-7A19-44A0-8A7E-B6E8C6523346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"937634dce68bdf0629d400bfcfa6da52474985d9","datavalue":{"value":{"entity-type":"item","numeric-id":265798,"id":"Q265798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$BB77C3B0-2D4C-4EA1-A0C5-B648D4E4832B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$73090992-05DD-46A5-AC7E-59CBFD52CD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a1e2d1118091c3f76cf87566b6c9eaa67545a5","datavalue":{"value":{"entity-type":"item","numeric-id":3656778,"id":"Q3656778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$9D816A14-F6BA-4E46-9214-E2EE36A08402","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":"Q530845$96154C00-4491-4CE7-8F3C-52CE35B47464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$CE89666B-6A9D-43AA-85F8-7887EF2D5F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee1587f05661df2885f29730027823567bb52b5","datavalue":{"value":{"entity-type":"item","numeric-id":2871472,"id":"Q2871472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$7A40FA03-AC60-40B5-A347-BC8B931CB6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$7156DFD8-B916-48EE-921A-F80AB3F2F194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$88F4EDBC-994B-4802-80AA-E9BA625EE375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$5F4F7F36-39DE-40F9-8B19-EA126612E8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$FCD91F64-A1B2-4193-A76E-BB8A06753514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c843ef94c4d0bb272dc208d73acf55569dec82b","datavalue":{"value":{"entity-type":"item","numeric-id":2721104,"id":"Q2721104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$CB746998-0325-4AA6-8E0B-8E5A95A09491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb8544014b7cfa8b7d1de27e17cb9ecb9a36d39","datavalue":{"value":{"entity-type":"item","numeric-id":5311260,"id":"Q5311260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$83C584EC-6846-472F-B319-51EBA840E5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d434966473eea1b46469590e756fbfa4aaa54d1","datavalue":{"value":{"entity-type":"item","numeric-id":5261281,"id":"Q5261281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$1635515F-9F61-474A-AD34-FA347B182CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e2187512867fe4f712404ca585a26321bb0036","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$BA96C49E-0E7C-4DC4-858B-85A5E510C3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$5BEAE965-D086-4654-8A09-DE5A7FC0EC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade402c8643377c95736cc4de881776c386a1875","datavalue":{"value":{"entity-type":"item","numeric-id":1882909,"id":"Q1882909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q530845$B6A1DB9C-77EF-49CC-9DE6-031E74B6CF3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de2e8bb645da604366712b0cc1e3ff82a8d29fbc","datavalue":{"value":"10.1016/J.ENTCS.2015.04.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q530845$977BF79D-3818-432F-8A5B-1327A3344AF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5d370ed5ad3d910479fa7136854b9cb3e624117","datavalue":{"value":{"entity-type":"item","numeric-id":2881075,"id":"Q2881075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f227f6e9398c274eb2d98a3da534b9106a2b34","datavalue":{"value":{"amount":"+0.8874322772026062","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":"Q530845$D9A3AA7E-5B8F-4311-A7D0-9FCE280DD311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e78fa51eef0f8fe2768e5cc7743bf42271ea384","datavalue":{"value":{"entity-type":"item","numeric-id":5311260,"id":"Q5311260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbde98284c12f644604b3e84be7a3c541225ac14","datavalue":{"value":{"amount":"+0.8660880327224731","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":"Q530845$E54DB9EF-F8E8-40C7-88EC-C116DB7270A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"030520f7e830a87853a89f727920484d07ead10b","datavalue":{"value":{"entity-type":"item","numeric-id":2804939,"id":"Q2804939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f40e9e7482b5a047b129edbd881d4886579d3b","datavalue":{"value":{"amount":"+0.8160387873649597","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":"Q530845$FE70D168-CA1B-4456-A41F-DAE416F0AC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcdd084ea9e34ead3aa71beb6b96a3abd3b1166","datavalue":{"value":{"entity-type":"item","numeric-id":5277839,"id":"Q5277839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa3e18888fe378ddf95159c6998890c6ea9bae24","datavalue":{"value":{"amount":"+0.7992907762527466","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":"Q530845$4049DB81-8B5D-4319-8D79-E57558F90C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e923df3bf9608d52d0b963a0f393bb430f783da4","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bc0f0822a94852ba5a1d9a0a6671312b9d86697","datavalue":{"value":{"amount":"+0.7736482620239258","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":"Q530845$9C68CB44-BBA8-484F-8325-A489EE36E27B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A dependent type theory with abstractable names","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_dependent_type_theory_with_abstractable_names"}}}}}