{"entities":{"Q5191088":{"pageid":7220660,"ns":120,"title":"Item:Q5191088","lastrevid":50728592,"modified":"2026-01-14T23:13:37Z","type":"item","id":"Q5191088","labels":{"en":{"language":"en","value":"Dependent Types at Work"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587919"}},"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":"Q5191088$318106C6-F6BB-40AA-867A-8E6F796890C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1cbdb86c62b0b9ac37e954caeccd3a45005b612","datavalue":{"value":{"text":"Dependent Types at Work","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5191088$20AC077C-54E2-43CB-8C93-83DDFD51B1C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"841dc3f0337c833494f14bccdeafa7b8a24f522a","datavalue":{"value":"1250.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191088$1264C600-1AF8-4FB2-981F-97F24550AF37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f6a20d166eec824f36e5a13d219cc53b4c3aa36","datavalue":{"value":"10.1007/978-3-642-03153-3_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191088$57750B08-8FD5-4B34-BDF6-C37183A959DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43fa8ed1a432c4af2ca647b623e8e3f5c6fe6565","datavalue":{"value":{"entity-type":"item","numeric-id":1744409,"id":"Q1744409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$3B913E2E-A43C-4219-8AD0-1307BE5CCBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d75275853fb84ac426baf809ec86decf612055f","datavalue":{"value":{"entity-type":"item","numeric-id":651314,"id":"Q651314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$E520BDCD-6309-42A7-B77B-9D9725DCEC9E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bea2f664d75d2e6807698534326438b961f03d7f","datavalue":{"value":{"entity-type":"item","numeric-id":5191086,"id":"Q5191086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$FC0B5A41-3817-4645-A11D-72306DAF585E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05720f4fd46426bc3a53a0e61b7abc572638b1a6","datavalue":{"value":{"time":"+2009-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5191088$D82CE9E0-2CFD-4C8C-9003-07E2918F759A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191088$6F26FDD0-AEAF-4179-9A95-EEA1C7F0E9B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34cfc6f566dd8cb15cd92165e1ffe4f86e723240","datavalue":{"value":"5587919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191088$EAFAF302-EA95-4E54-AD6D-7A6A58290159","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bacc5b0ba448289a54dd31dd038bf97d6e1eeaf7","datavalue":{"value":"Q56387763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191088$BD5DCE5C-E339-4ECF-97AC-79D3E0785F27","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$46D49CF9-5B6A-466B-9179-B78150D9ABF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7c08a4a757f89c613a749dcb992596ab6edf6cf0","datavalue":{"value":{"entity-type":"item","numeric-id":21124,"id":"Q21124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$9F665528-9A20-4743-9DD5-779758BF93A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$4713CED2-8C04-4E90-92FA-2B827BD9F5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$2321CC60-D8E3-4682-BB4F-2BCEF11CFCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$A2A43417-7424-44ED-98C3-A378C7C02D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e74e65aea50b572ed5cc320d9d0d7a2d70ec494a","datavalue":{"value":{"entity-type":"item","numeric-id":21666,"id":"Q21666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$2C99D035-62F2-4A35-8686-A83317E688FF","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":"Q5191088$01E7F89D-ACC2-454C-A240-B731F01AD51C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db2f9d30abe7a1b5a9fd5fca2cf1b63163bacf43","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03153-3_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5191088$080A1907-8A40-4FE3-B53D-2555353707F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d71b3dcde497d46ed130228c1dbf409e1513cf3","datavalue":{"value":"W1511530761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191088$75D7F98C-ACB1-403D-BF4E-587CC1DD04C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d336268e40135c3453860ef42d03950683322d","datavalue":{"value":{"entity-type":"item","numeric-id":5458424,"id":"Q5458424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$849B461A-69D4-4EA6-B4F7-E87370A87C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75ea65729b1033e784ad198279fc14710fe85dc0","datavalue":{"value":{"entity-type":"item","numeric-id":3521979,"id":"Q3521979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$1C462907-9C20-4DDF-BB3A-5084A861C45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$DCD98868-7845-4B6E-BECC-FA7FA3D67161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7fccd560221ea7f03064eaf67187aa99c6ef8f","datavalue":{"value":{"entity-type":"item","numeric-id":5697711,"id":"Q5697711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$84C3BA6E-953B-46DE-B5B2-E310F1B4ACCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e31b151b8d22be2aa79bf2dfac73aa834ed045","datavalue":{"value":{"entity-type":"item","numeric-id":4012882,"id":"Q4012882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$C6E5B72E-C162-48EE-B7B8-E9418E0BE4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f607558fd3702427bb73725586fd226cfa2c","datavalue":{"value":{"entity-type":"item","numeric-id":3400627,"id":"Q3400627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$0AD3C6E9-EB70-4B18-BCF8-41F2BCDB1415","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":"Q5191088$990E8064-60B0-437A-BBC6-E18739A6D777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0191c8d55bfb13f05e230de930538ee944fa6808","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$53CC6606-CC16-4DEE-9667-3A23E5ACF593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364525b70d80e5ad032dd4bcb752b39f36195669","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$F2D33881-D180-40C2-AD04-9BE2351A789E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5765b1c70da77537c6e225225ff527afc50bcc4e","datavalue":{"value":{"entity-type":"item","numeric-id":4263867,"id":"Q4263867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$C5BF3494-2CCC-472F-92FF-CB0D660BA53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"220e7bd07cfc86bd56365fb168aa15481d8c02d7","datavalue":{"value":{"entity-type":"item","numeric-id":2577476,"id":"Q2577476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$CADB0FAF-1B14-42AB-A8AF-ECEE3A1D9932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aead46996b11eca6f30517bf3c4742b8dfb4e376","datavalue":{"value":{"entity-type":"item","numeric-id":5178848,"id":"Q5178848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$168321A5-EDCA-4344-94E5-9F9A2F0BDB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a296d5968de653db0529f8303b6736f8f062015a","datavalue":{"value":{"entity-type":"item","numeric-id":5638283,"id":"Q5638283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$0ABA0249-1D84-4E80-8C06-9EDAEE538043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ee172cf1bbc62eabf7dd1b43feaebcac6a2fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3886868,"id":"Q3886868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$BAB2C649-28DA-4B95-B6B6-EBA2FA0C72ED","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":"Q5191088$635EC655-41C0-4181-B194-FB1505B7FEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cfd356224155dbd75db29249481baba3510e2a8","datavalue":{"value":{"entity-type":"item","numeric-id":5394302,"id":"Q5394302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$1FE88CED-4B0E-4D55-8B06-B4C05167B2F2","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":"Q5191088$E2D32C05-7080-47A4-818A-2CC4377EEDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$02360874-EEC8-46B8-ACC7-46225579B970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$694A2324-4514-47EA-B91F-E75BB043722A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cecd4cf00bc8e024448b12f96273285315a1e3f","datavalue":{"value":{"entity-type":"item","numeric-id":1583363,"id":"Q1583363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$FD67A445-1EA5-4FF2-A7A5-AC312477ED9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba85b98e8e346ac6a87314074cf35bf1d70516f","datavalue":{"value":{"entity-type":"item","numeric-id":4003339,"id":"Q4003339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191088$08CAE210-F833-4FD8-BBBF-F77D0B80DE8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60d330218efdb6e0dae35fc2343de58b9a5b8340","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f69ab6ad28efe5dec46fc54c2465bfdaefd02f","datavalue":{"value":{"amount":"+0.8254879117012024","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":"Q5191088$972BDF20-1C7E-440E-9BFA-29AF94148629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e16d629a70418c496226bec93e6d349b6e261a1c","datavalue":{"value":{"entity-type":"item","numeric-id":3183520,"id":"Q3183520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46b30c3403b41f03eabce6967e7923be9f56df66","datavalue":{"value":{"amount":"+0.8246314525604248","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":"Q5191088$3F1F2C2A-7B1F-47A1-9E54-B29831B32213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676acc78143450b9c4ca5ecb1e6c35c2dea46e1d","datavalue":{"value":{"entity-type":"item","numeric-id":4813221,"id":"Q4813221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f779d18c975c63a1db98156ab22728385765c3","datavalue":{"value":{"amount":"+0.7980637550354004","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":"Q5191088$164753D9-A9F0-45CB-940E-3840F2CD8F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fd0887d9303d6a5b7f60dd0479ea33753b3bb35","datavalue":{"value":{"entity-type":"item","numeric-id":5408400,"id":"Q5408400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2627a57a14f1486b66c63e087c7151a50752bd64","datavalue":{"value":{"amount":"+0.7836742401123047","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":"Q5191088$B64E4D2F-A47A-483A-808A-43A853D5F522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a9a1cb2c762ff8bfb3334266634affdfe71512","datavalue":{"value":{"entity-type":"item","numeric-id":5193019,"id":"Q5193019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf1cfdb82fbb1a51c616164c4d0aa4b3335802b","datavalue":{"value":{"amount":"+0.7698591947555542","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":"Q5191088$61AF2F3B-49B9-499C-A506-9628C7AAEAB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5191088","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5191088"}}}}}