{"entities":{"Q2949206":{"pageid":2959926,"ns":120,"title":"Item:Q2949206","lastrevid":52360310,"modified":"2026-01-22T11:21:08Z","type":"item","id":"Q2949206","labels":{"en":{"language":"en","value":"An expressive, scalable type theory for certified code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6491310"}},"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":"Q2949206$E4EF5152-4781-4229-97A4-F56F24B3D46F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"328ae2330dbd3175c07611e908151b05b18aa203","datavalue":{"value":{"text":"An expressive, scalable type theory for certified code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2949206$2A89F13C-CA65-4D45-A589-C1D2A39D7A6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eafe85b75c471361cbb5046c430b39b8bd37ee31","datavalue":{"value":"1322.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949206$FC2CCA96-C251-4DCC-906D-A6C6C3DF1799","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e6389d8b7529c5c56f39b191349ccd348a2b3e9","datavalue":{"value":"10.1145/581478.581497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949206$8705EDA3-B7A4-440E-817D-40E5210DDD28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fbb79b50629b932bb23ebc740d514386b48edc3","datavalue":{"value":{"entity-type":"item","numeric-id":1629961,"id":"Q1629961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949206$8EB6C1B8-4CF2-4E39-A387-C713319B7039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5867c9bd823924b353e1abc361b65ddfe0e277e0","datavalue":{"value":{"entity-type":"item","numeric-id":2844806,"id":"Q2844806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949206$376954EE-9501-405A-BE2B-AD95349FBF10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f0ff6c8c606e0505c72a89b79dd6eac67f258031","datavalue":{"value":{"entity-type":"item","numeric-id":2949185,"id":"Q2949185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949206$C80C2E8C-E955-4016-8DC0-B125B8763145","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"388a42d0e99a3473a403c82b3d4a19525d2c5416","datavalue":{"value":{"time":"+2015-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2949206$539A4E4D-D2D4-4B2C-B4D7-43767D288B5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949206$92335596-F044-4B9F-8C5D-4422718B04EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949206$B0BB39CF-55DB-42D1-A846-E80E002B0AE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb278ac3868723a3f44937f83aadc6f58903c46e","datavalue":{"value":"6491310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949206$222EA7E0-4558-4A05-B1D1-1C7F8CC3F350","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":"Q2949206$CBEB0F4A-25A9-4109-B12F-80D6095A24C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cebe78284e0399b54e517f908eb95f8fd073f0e7","datavalue":{"value":"https://doi.org/10.1145/581478.581497","type":"string"},"datatype":"url"},"type":"statement","id":"Q2949206$30D12055-9AC5-4A08-92F9-704C91D72365","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35e470d37315add40dc8b198844d9a3c2fcf9b34","datavalue":{"value":"W2044253896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949206$28CC4957-1098-45FD-AAF7-9327B1E31E54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02c27db4e491ec20525e5271e9d76278f61f79d3","datavalue":{"value":{"entity-type":"item","numeric-id":5178908,"id":"Q5178908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2485f1ff3fda6c82a837b22e2f2982b8de8f3d66","datavalue":{"value":{"amount":"+0.7634033560752869","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":"Q2949206$73E8EF77-5A39-4E5A-9E22-50C851739085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce34ef5f0152e7ef9185a106ce8ead91a9f2097f","datavalue":{"value":{"entity-type":"item","numeric-id":5900713,"id":"Q5900713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30030042a935ff0cc362fb34b8d46a69cf6d231d","datavalue":{"value":{"amount":"+0.7337037324905396","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":"Q2949206$7344D595-EC32-4CA6-824E-D362E16E83DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881379a3fa914a298d877b279ed01bf7e4e2ddbc","datavalue":{"value":{"entity-type":"item","numeric-id":3086789,"id":"Q3086789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96371621ab2e2f6aff03cdfdcbc8eab50e57dcf","datavalue":{"value":{"amount":"+0.7266774773597717","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":"Q2949206$526AC035-65DE-4370-9070-8C5DC8E2C84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f959c7712c196883e995861185c429abdff17384","datavalue":{"value":{"entity-type":"item","numeric-id":4944851,"id":"Q4944851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c5e4af79a60dc5c6e80f95da7b34f5176ff1776","datavalue":{"value":{"amount":"+0.7252047657966614","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":"Q2949206$83D73B16-B4C4-487E-8A69-B646FD551391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"591aacbee2dfa8a732bf1715ba5bc8356e95aa9c","datavalue":{"value":{"entity-type":"item","numeric-id":4532093,"id":"Q4532093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cacdb82aef697f61a3dd8d3cad97724f31571e68","datavalue":{"value":{"amount":"+0.7222929000854492","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":"Q2949206$28B1A3B9-281D-4BB3-B472-00FD56E2DCE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2949206","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2949206"}}}}}