{"entities":{"Q6064279":{"pageid":13198437,"ns":120,"title":"Item:Q6064279","lastrevid":55529818,"modified":"2026-02-17T18:18:12Z","type":"item","id":"Q6064279","labels":{"en":{"language":"en","value":"Expressing computational complexity in constructive type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7776718"}},"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":"Q6064279$EDD8505B-74F8-4C4D-94BC-21A6FC05254C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ee4c75985e37bba9e49ffde270dd46da60138a3","datavalue":{"value":{"text":"Expressing computational complexity in constructive type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6064279$05E04EBA-5E0F-4527-AC1D-C733E71B1CB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7be8fc9b5db28535bfdc92bd6330f509ad5b2bbf","datavalue":{"value":"10.1007/3-540-60178-3_82","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064279$F02A894E-40EC-4FAE-A649-A0EA36FEB15F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f99e72dec046038a5377ceee67d8841bab629f","datavalue":{"value":{"entity-type":"item","numeric-id":1051423,"id":"Q1051423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$9B17395F-52F0-4ACD-9DED-852CC0AD3CD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$BCB60F93-671B-48AA-B736-229A4C640603","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"066d1477c8c2dc8167e035c2af02788021afe714","datavalue":{"value":{"time":"+2023-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6064279$9540D94E-7138-4846-BAE2-3BE8961D60DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064279$B3E9E562-D94D-4CB7-82DA-3D741A6E3851","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e56be651af2d2fba6c0c840c83186664f3b5397","datavalue":{"value":"7776718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064279$B481A820-39ED-4D92-85A4-901FF922FEF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064279$BE4ED063-1372-4089-B28A-D09645410C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b39bcd33ba55d4227ecae1456f6e1430405ab2d","datavalue":{"value":"programming logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064279$A12ABFF5-4315-4CFD-BCF5-A91E087194A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064279$4D8644B3-3C3B-4D35-8CEA-ED9C37AB1189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba29bc695092e1012b615eb49ec43774f5b5c42a","datavalue":{"value":"inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064279$45D2B48A-9B71-4C45-B30B-B86853567095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2239a348cde6f396a22a2926c05d930faf4dbade","datavalue":{"value":"dependent product","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064279$89BAB7C3-058A-4922-B8CB-97A2D982F178","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":"Q6064279$6CE4328B-EF09-45A2-B93C-B49A93477C3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c12c72b65755b1a8a89608b3fc6788a17422943","datavalue":{"value":"https://doi.org/10.1007/3-540-60178-3_82","type":"string"},"datatype":"url"},"type":"statement","id":"Q6064279$CDF99985-5618-49C1-9CAF-95BB10061350","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a8f3793cc1b46e59538aa7101caa62c8501da7fb","datavalue":{"value":"W1523613085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064279$42EA5074-8B11-4262-B2C8-C316EA2D23AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd705a1c4c13e7602f282c4e64be62fd689b41c","datavalue":{"value":{"entity-type":"item","numeric-id":3219093,"id":"Q3219093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$7D0E79F1-7C45-43AF-8164-974F198AF72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$DD0194F8-A078-4341-814D-392EE29F716B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea45854da7df1d421d45b7aeb6b91b2908960cc1","datavalue":{"value":{"entity-type":"item","numeric-id":5537605,"id":"Q5537605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$9D9794F9-CDF4-4738-BDDB-7D4A6781D199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a628cb64400cb3daffe7c8b3b6a4710e9daa6946","datavalue":{"value":{"entity-type":"item","numeric-id":3800030,"id":"Q3800030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$F124D8FD-9C19-483B-B61E-D0FA12B1131F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0909c5baebe8e5f5a9e964f05c720f232deade69","datavalue":{"value":{"entity-type":"item","numeric-id":5586401,"id":"Q5586401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$E5E4A635-4BBC-4DB4-B018-68AAE7689D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb71ea59fd47b573033df9513037924711bc7127","datavalue":{"value":{"entity-type":"item","numeric-id":4062633,"id":"Q4062633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$194074F3-0BFF-4AEF-8880-3C2FC2D58F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0d38bb47035312d7e593ac22222c56b8e64b29","datavalue":{"value":{"entity-type":"item","numeric-id":3702502,"id":"Q3702502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$B88C9A3A-4558-4B21-935F-5E4BDE584C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97a81fd7ad71815ea23de5bd9d2e05422152d02","datavalue":{"value":{"entity-type":"item","numeric-id":3673081,"id":"Q3673081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$8B63B841-01C8-4A1D-9049-2059EB48CC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92eb5e0d6bdd856710fcc42356898918428a387c","datavalue":{"value":{"entity-type":"item","numeric-id":685962,"id":"Q685962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$C3F11F41-28E0-4928-BFC8-EE194DA97DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24767a8d698bfa7d4c473315d4d9fb022ab6caeb","datavalue":{"value":{"entity-type":"item","numeric-id":4035304,"id":"Q4035304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$0E338942-1A3E-4FDB-99B7-CDA792E11E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ee1071310872ce51f69ac724d1b1cff46fae5","datavalue":{"value":{"entity-type":"item","numeric-id":5610115,"id":"Q5610115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$8248C74A-517B-408C-A0CE-8D7DB48D3639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5b3e1d2709e0f5c17896cdfac83364e530049b","datavalue":{"value":{"entity-type":"item","numeric-id":4012883,"id":"Q4012883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$8C94FE3D-A420-47F0-9A53-478685D0093A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fdc6e6c91c016e9985f506925ea38ed52ac667","datavalue":{"value":{"entity-type":"item","numeric-id":4128540,"id":"Q4128540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$552B0514-FC00-4690-B5FC-F5C13BE41200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20b3efd28014f3e3743af53ab793f5500601551","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$32C7F1F6-03E3-48C2-A558-A8359FB564CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08fc1d9de50126b23b42ea66123b10a05019f258","datavalue":{"value":{"entity-type":"item","numeric-id":5592241,"id":"Q5592241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$77FB5D74-B1FE-4CF1-877E-A52E22D2489F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ed8c1c9b5cf85c3067f46e271b605235d5e997","datavalue":{"value":{"entity-type":"item","numeric-id":5339741,"id":"Q5339741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$B1969E21-25B8-4D8F-923B-8259788EB70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$BB65FBFA-A535-4928-B617-2A8BF5C75AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b89018fbe40d107eb8d0250c9f27342097aae3","datavalue":{"value":{"entity-type":"item","numeric-id":1314357,"id":"Q1314357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$DB6D4613-6C13-4B9E-B1FA-0481DECEAF84","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":"Q6064279$E53CC45A-3FB3-4D94-98CC-9E6E2531695B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b27998c5b0d19a37253f270b442f162814b8f7","datavalue":{"value":{"entity-type":"item","numeric-id":1227276,"id":"Q1227276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$6BF1031B-1B1D-434D-B596-997621674C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352f7fce03df140efe1bf6ee86c2e7250270ba00","datavalue":{"value":{"entity-type":"item","numeric-id":5887516,"id":"Q5887516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$6F79415F-DFAC-47B0-BA25-2093C2EE391F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$44B823F3-FA1C-4B35-A7A0-8ABD7991FF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a3d94cfb4c428b6e0caf95aea6d7227786257b","datavalue":{"value":{"entity-type":"item","numeric-id":4594267,"id":"Q4594267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064279$25445F21-72EB-40FC-89BF-5DE45A4D9C96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"702e32e14fc53e33d5d2f5e5d2e1f497a18f6d9c","datavalue":{"value":{"entity-type":"item","numeric-id":1271558,"id":"Q1271558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73291240613170b1f107f07820bd15afb8d22c20","datavalue":{"value":{"amount":"+0.8231939077377319","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":"Q6064279$1534C1A5-3A49-471A-885A-E91042305FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255f327392ad75a05e9a99081748cd3835406b35","datavalue":{"value":{"entity-type":"item","numeric-id":3204445,"id":"Q3204445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d627c50741db923f2a1fead1b13aa6a0f5cd973a","datavalue":{"value":{"amount":"+0.7486324906349182","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":"Q6064279$8B8EE175-018D-432E-8F85-E248140B46D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcd0ab253e3c2feeb25819efa535ca9bfccbdf49","datavalue":{"value":{"entity-type":"item","numeric-id":4793030,"id":"Q4793030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd29c73ea40b98081f32d436cdda4d09aa472835","datavalue":{"value":{"amount":"+0.7467536926269531","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":"Q6064279$9F1FDE09-F647-4D01-8A7D-05FA772DD88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76182377442106b02e1d56bad5ef7978bc948450","datavalue":{"value":{"entity-type":"item","numeric-id":5897769,"id":"Q5897769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"058ac9c1c88fa4626c9ecc28a3352ca8669fc119","datavalue":{"value":{"amount":"+0.7443493604660034","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":"Q6064279$224738D0-C185-4226-A0DA-47A99FB6B711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99564c79a27b7025378747734ac5f354d15f787e","datavalue":{"value":{"entity-type":"item","numeric-id":6064281,"id":"Q6064281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e85d9d0225da870829b1be16a1453cb197e65549","datavalue":{"value":{"amount":"+0.7428202033042908","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":"Q6064279$9976876F-2BF8-4799-BAB6-525789E2F4D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6064279","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6064279"}}}}}