{"entities":{"Q1744412":{"pageid":1755154,"ns":120,"title":"Item:Q1744412","lastrevid":53070191,"modified":"2026-01-24T04:09:13Z","type":"item","id":"Q1744412","labels":{"en":{"language":"en","value":"Canonical HybridLF: extending Hybrid with dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862946"}},"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":"Q1744412$3077F103-8973-42BB-B3B5-0DB000279AEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b52385783b108082a11ae45e9d571f4b963ae676","datavalue":{"value":{"text":"Canonical HybridLF: extending Hybrid with dependent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744412$40E343A9-2059-42F6-BED1-3A107D1A36C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32a570cbe233356e399e4d60c22a0d92900c189e","datavalue":{"value":"1394.68351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744412$0A4A38B0-EF15-43A0-A7C7-B421C77B19F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a40fb8ae99741e91d6a63c85400bf5c0ece51d8","datavalue":{"value":{"entity-type":"item","numeric-id":265796,"id":"Q265796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744412$EC6EC21C-EF0B-4BC1-90F7-EFC827F78CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6e1e4f8bbca7c20cb21d034caf64b1479bcf963","datavalue":{"value":{"entity-type":"item","numeric-id":1744411,"id":"Q1744411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744412$512CDE45-5A83-4CBB-98D4-6334B8BC3286","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744412$F77CBA7A-183F-47A2-BE13-7D98AEC20094","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744412$2642439E-EFA6-4882-BAF2-CBF1301C20A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744412$1DD7E999-9AB5-4158-BE7C-FAEC5D8467EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744412$779DE2EA-8224-437C-BA1A-7C41E0B5304B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"820ca4124793ca64b84f6e895abba9bba213559e","datavalue":{"value":"6862946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744412$7D9C3CE5-EB8C-4B5E-B22D-3E9E83BAD0D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744412$F0CDB01A-2E30-480A-AB5B-A748379DFBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6610928532c28e5c20988bf9f6bbde45ae859367","datavalue":{"value":"HOAS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744412$98FF9F00-DBA7-46CA-AB1C-585B8D115305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744412$27B3C837-14EC-414A-BBBA-D66A0F070444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5224859894bf62c9b2d3365b848d5bfa82efd0c","datavalue":{"value":"metalogical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744412$D9B79D13-7872-41D5-93C7-EE69F79F1AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017465942dbd8ba7ebab45a45af0183e273a4234","datavalue":{"value":"variable binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744412$DADE7CE1-A063-4692-BAF8-39C597305AAF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ca68d9e60f39b64375620b23802b5755dae3004","datavalue":{"value":{"entity-type":"item","numeric-id":13181,"id":"Q13181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744412$8CA8FA9B-75AA-4C4A-A32D-ADCB005ED23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744412$F0A0C9E2-06C9-4E3D-9F7A-C02A80F65542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744412$5FE8DF51-2C75-488F-8ADE-F365944C0347","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":"Q1744412$4DCEDBAB-2DB4-4D0A-8956-1ECB883F2489","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7b35d0a00ec1cf1d3201d7baafa4430e984699f","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.06.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744412$A2936DB7-4C94-456C-9509-6816CB196F42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eea1524ad859945dae406a3a6fa24a32c86d3fb1","datavalue":{"value":"W2472567659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744412$78391BC8-7547-4000-AB58-846224D2B3C4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e6e455349452d1249d657b819c872bb283990b80","datavalue":{"value":"Q113317680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744412$AA3400F8-0565-48E1-951D-1FFD671F628D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff630e3c1b7657cd6a825eab62ba0fd151f65cf","datavalue":{"value":{"entity-type":"item","numeric-id":4484329,"id":"Q4484329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744412$04937BDB-8161-4D80-8A0D-9B69ACF36BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744412$2AE3A11F-40B6-423F-AC0C-096544CF69DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab2f872f7b124497811cc27de7d8d98a7f30bb1f","datavalue":{"value":{"entity-type":"item","numeric-id":3656423,"id":"Q3656423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744412$F0BDF3AB-DF74-48B5-81E1-52C53B2B96EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367ef177c9ab91da57ee385240218ffe15eeadc2","datavalue":{"value":{"entity-type":"item","numeric-id":5178760,"id":"Q5178760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744412$623857D1-F9BC-4CA5-B00F-8F208C6FA584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb99815e52b0ddbf311db25f8253ec9a93bf2c8c","datavalue":{"value":{"entity-type":"item","numeric-id":3008233,"id":"Q3008233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744412$277E9154-285E-4CB5-9024-EC876F6E05C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e723c31e56f2487bba3b93f0d7637a4943535187","datavalue":{"value":{"entity-type":"item","numeric-id":3024831,"id":"Q3024831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744412$B1AE344E-629F-4858-8399-80D6DA9085C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea3d89d9caeecb4ce96d5251e582d3bc04e60e3","datavalue":{"value":{"entity-type":"item","numeric-id":438569,"id":"Q438569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744412$FD9364F6-5BE4-41EF-A4B2-9D9608D52B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf284620825356e4026f7163726a6eaa28789317","datavalue":{"value":{"entity-type":"item","numeric-id":287277,"id":"Q287277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744412$46BA6786-764F-42D2-BEE8-FA51FCFEA140","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":"Q1744412$B7015584-5BA6-45A2-AD61-AEDE5478D046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0aef6e8ec5e78b9cd997c278319de385c256d66","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744412$2109DE93-D099-455B-AB54-5A8D98B64667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6ac79800dce37cf467ac64d04aa31f90a31f403","datavalue":{"value":{"entity-type":"item","numeric-id":4249901,"id":"Q4249901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744412$EFC117E2-AA0C-401D-80DB-6583B585AAB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa19d45127427927ec930c6ce8f8170b9db93184","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744412$AA869330-6913-41A9-B325-758E122ACBAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9f760d9b2fb8d772b153e56e08d10efab8bca5e","datavalue":{"value":"10.1016/J.ENTCS.2016.06.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744412$9BE67AFE-AFED-41C6-9460-9DB8B3DE3940","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d86293d3d88b5f15556992aeb91be7c88bc084d","datavalue":{"value":{"entity-type":"item","numeric-id":2867954,"id":"Q2867954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e36958de837afa35440a3c2c5105312ac2ee77","datavalue":{"value":{"amount":"+0.7840535640716553","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":"Q1744412$E8EA4AE7-5947-43B4-A07F-5E38A4D31781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b47167d4bb944e79729d3ca171d41ed04cd2ec74","datavalue":{"value":{"entity-type":"item","numeric-id":438569,"id":"Q438569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d2f3dcfde65b6b01d14325685724f1c0ca4b111","datavalue":{"value":{"amount":"+0.7804585099220276","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":"Q1744412$ECD5AEFD-7D22-4491-A97B-A7B97E2044E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded9f12b0e5b36b20e8c488c1ea5b367e73ec55e","datavalue":{"value":{"entity-type":"item","numeric-id":2946633,"id":"Q2946633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a581e06bbec435c143f52473644176e670aff437","datavalue":{"value":{"amount":"+0.7738512754440308","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":"Q1744412$F93CAEAD-DDFF-415B-B5A1-C03C7341AF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a5467214381d9eb97275e6ca78397919ead761","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a0f79efe0fee6b9ce55bbe8237bcf3fc6c6a0b","datavalue":{"value":{"amount":"+0.7596217393875122","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":"Q1744412$520B3221-A2E6-468B-B32E-9CDA5E693E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded2d6bb2e54f16d6eb85052935f22a3514f6f64","datavalue":{"value":{"entity-type":"item","numeric-id":2871875,"id":"Q2871875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d637a5f4b8cc187d761c97f6d55c31e605728cbb","datavalue":{"value":{"amount":"+0.7589623928070068","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":"Q1744412$0B686011-9DC2-4856-8E3E-24620D8D50B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744412","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744412"}}}}}