{"entities":{"Q2277827":{"pageid":2288570,"ns":120,"title":"Item:Q2277827","lastrevid":49489132,"modified":"2026-01-07T07:14:49Z","type":"item","id":"Q2277827","labels":{"en":{"language":"en","value":"A type-theoretic approach to program development"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197399"}},"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":"Q2277827$31B6FE46-7A6A-40B3-BF63-F14DD6BC2DD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f28e30421c238590bc22a864d8f11c8ded201b4","datavalue":{"value":{"text":"A type-theoretic approach to program development","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277827$65DE2D35-2311-40BC-B1C2-01ABD174E10D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"719cfbccc264f89216c5539581357ee6cb54622b","datavalue":{"value":"0725.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277827$B1A09BE8-6EBE-450C-BE20-9F9A8EAD8D64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8aa947251f7c20f161f5ff0b825262582dd7bb05","datavalue":{"value":"10.1007/BF02945309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277827$0A229F85-DB0F-4358-BF5F-8C9D968F12B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7b3ebf4ac97b0d8d1ac329b9977e8a8c87c3ce5","datavalue":{"value":{"entity-type":"item","numeric-id":351017,"id":"Q351017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277827$F5F7BB67-66D9-4D17-99D6-E8FEF30DED50","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":"Q2277827$3E0241F6-413B-4E6E-8678-EC90972E05E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2277827$0B7DBF48-9F60-414C-BDEA-31C1BCB5E60B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277827$168C90CD-CBA7-4A07-BC70-C158FAB1D2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277827$D0052D68-CFBD-4EA8-8F2E-22369B7E18D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277827$A353DDAB-54FD-4E67-A705-8582B6709993","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13447e33dfdbba423b106f96e73a8f61a9366b59","datavalue":{"value":"4197399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277827$941432D6-EFA8-429C-B63F-50BFF8F9B5B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9e6078d31ec606b752941fc98b1c71b39d6fa86","datavalue":{"value":"program development using type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277827$5F106CBA-3391-432F-9496-18A6686F79C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40381ec026269e2523b212ec7ecca511cf2ea22c","datavalue":{"value":"higher order typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277827$90A63D5B-AF80-44FD-B91B-07CC69FA93AC","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":"Q2277827$F2A226CC-47B5-4B69-BDA1-A4F8122DBC16","rank":"normal"}],"P223":[{"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":"Q2277827$687F019F-81C9-4F09-A993-AB1B13106FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c8f9071577ba573850f7e66a886df33df06189","datavalue":{"value":{"entity-type":"item","numeric-id":3339253,"id":"Q3339253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277827$6EAA3317-CD09-46AC-A796-042C5D39477A","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":"Q2277827$FF8586B5-0377-4A20-A9AE-7D35B6E471A7","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":"Q2277827$85A88E3E-68F2-48E5-9CFF-FFDCC82D127A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277827$24650C6F-6303-4D3C-B579-88E10E32B31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277827$E7FC295F-62D6-435C-B6DC-0DD53A592E01","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":"Q2277827$974C1420-A8DB-4D51-A782-FFA50E18C774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8d7dcc337f0f7083d889ef5fbd195dbcbfcdc2","datavalue":{"value":{"entity-type":"item","numeric-id":4720797,"id":"Q4720797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277827$2C22BEDE-C13B-41DC-81BC-BC49A6D39885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f89ea61c5486400cb5592e47e9465a80b854f96","datavalue":{"value":{"entity-type":"item","numeric-id":1222643,"id":"Q1222643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277827$4C91B1D6-8832-42A0-B2EB-B578C238BC64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c823eb76233e4855e66828e769991a47beaee71b","datavalue":{"value":{"entity-type":"item","numeric-id":1190474,"id":"Q1190474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9063569c8fa2a94a98b6f19abffa49bbc105ee68","datavalue":{"value":{"amount":"+0.7764073610305786","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":"Q2277827$8988F52C-202E-4E71-8CC6-5D19EB87FF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b215bf34512acd6bcf522fcb8600bc4a72a5aa95","datavalue":{"value":{"entity-type":"item","numeric-id":4289277,"id":"Q4289277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27bfd686a0eabce35bfb200383b723d6a804c370","datavalue":{"value":{"amount":"+0.7642160654067993","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":"Q2277827$2B1F6E3A-F2F3-41D8-B146-90FB4F5E9519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978891aae9ce03b1973d803156ce9403119bfa81","datavalue":{"value":{"entity-type":"item","numeric-id":911744,"id":"Q911744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"362ca68dc01fb72770113638ea745c6856be6ea2","datavalue":{"value":{"amount":"+0.7559577226638794","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":"Q2277827$D662D515-5998-40F0-8DC0-D96F591AE837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"318d6fb99941ebfef40dbeca7b4f5afc2330dae1","datavalue":{"value":{"entity-type":"item","numeric-id":3740203,"id":"Q3740203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d98e1325687551ed4c56757e786d15f15a891f","datavalue":{"value":{"amount":"+0.7505103945732117","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":"Q2277827$4BE82A7A-6A25-40B9-AE99-19FBC6DF6606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02aa0f661de7f63c92b071a83c80af65e56221ac","datavalue":{"value":{"entity-type":"item","numeric-id":4282807,"id":"Q4282807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc66124bb3321ef1d503ab4f0b435d6bf5b6baee","datavalue":{"value":{"amount":"+0.7283492684364319","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":"Q2277827$F9BEE20B-6F4E-4BDF-9AA0-B9F983A72DAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277827","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277827"}}}}}