{"entities":{"Q6536307":{"pageid":14147450,"ns":120,"title":"Item:Q6536307","lastrevid":55636942,"modified":"2026-02-17T20:08:08Z","type":"item","id":"Q6536307","labels":{"en":{"language":"en","value":"A dependently typed multi-stage calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7834963"}},"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":"Q6536307$91E12092-9DBA-47A7-9FEE-FAF7B7057619","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b62ea8840f7243679f30f0bbbcb41c999d0a20f","datavalue":{"value":{"text":"A dependently typed multi-stage calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536307$4E51311B-A14A-46B7-8550-08C066B72484","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3c7ca8758561cef9a371ec58fd9d433efc8ef38","datavalue":{"value":"1542.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536307$60CF2162-379A-4425-8648-AEE0C79F13C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af8aa7ac581c02fca473a02fb8288172bd4e68b1","datavalue":{"value":"10.1007/978-3-030-34175-6_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536307$EFD8E53D-3E2F-4346-A795-D63050C70ACB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2c8b20f0c1cdbbca8e94420549d78c1a38ef216","datavalue":{"value":{"entity-type":"item","numeric-id":6536306,"id":"Q6536306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536307$D6268313-25B3-47A0-9622-1EE86379A9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab25b5f4f54e5cdc6aef57ab7fc4ea55d23354ad","datavalue":{"value":{"entity-type":"item","numeric-id":764261,"id":"Q764261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536307$205BFC58-D5DB-49EB-929A-91EA283DFDEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536307$35426184-413A-48B2-97B2-D68961447151","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536307$D4B05A42-AA74-4A14-8C45-FDEE9B0069AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536307$E084343D-9BE1-47D4-B14E-8B42C7E674C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdd83cf7b788b4f42919a1d4d56f709e6d4f9b84","datavalue":{"value":"7834963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536307$CA7AEF30-3569-4BD8-914A-C8CC1128DC0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeb3d8678c45a9146c2c6e4bb61be4727a80bd9a","datavalue":{"value":"multi-stage programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536307$05B63609-ECC5-4552-9E30-BBFCD58806DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd8b873d4f3c7cddd7ca43a0cf9550ea72685e67","datavalue":{"value":"cross-stage persistence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536307$43F8DEAB-93BE-4E6C-ABFF-A2B1BC8CAECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536307$19F711D0-6198-4991-8EDF-C67CF9A2F862","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":"Q6536307$D45FDFD8-65AE-4EDE-97C6-41127D898D73","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"46b46f6297ec63b96251117e116f0b7794b0fb0a","datavalue":{"value":{"entity-type":"item","numeric-id":5177336,"id":"Q5177336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536307$E42C1EC9-C846-4047-97F6-D1D107B8B5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88ec885d59965649695fd7ebe03ac370cc06359c","datavalue":{"value":{"entity-type":"item","numeric-id":5261282,"id":"Q5261282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536307$21A849EF-B8DA-4DB3-9E27-1BB5ABA87360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536307$6B345022-663C-4B89-8407-E932122A4D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536307$B5572157-A818-4D7C-9018-C3EB878D5895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e39f4bfc93eef19734273a874b06aa2cc6aed6","datavalue":{"value":{"entity-type":"item","numeric-id":5170704,"id":"Q5170704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536307$361C52D7-C7BB-4ABD-89FE-2A637C53A678","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":"Q6536307$A8B0710C-1218-47A9-99EB-70001DEAAC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d41812deaf69456c0e5da9ef36ff2973a5950b","datavalue":{"value":{"entity-type":"item","numeric-id":5348928,"id":"Q5348928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536307$8450C763-3207-418F-8F12-89CEA6CF3109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536307$2C27BDB5-9639-4A15-BA5D-DEA29A881EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536307$8E533C5E-9B50-443D-A5EE-0314F211251D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6100d8dc18ac3a6066df8e7761c27fb4ab6d21","datavalue":{"value":{"entity-type":"item","numeric-id":5708289,"id":"Q5708289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536307$FFEBC014-C2E1-409C-A0F7-AEBBEE2B298B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc99abfb008ffcdbb916270ada6a830164c4bc8c","datavalue":{"value":{"entity-type":"item","numeric-id":2949208,"id":"Q2949208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536307$0B297602-FF90-4BDA-8D54-7E735AEE563C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536307$D3C3CA21-6CB7-4CF6-9304-D9C23FB50393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a8b694d70fc75aa502f005dbcdfea291d709051","datavalue":{"value":{"entity-type":"item","numeric-id":5178908,"id":"Q5178908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536307$FC433EF9-A9F3-4555-BEF8-2068ED030AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a185365ea304676a668d997c851ad5b7001286f","datavalue":{"value":{"entity-type":"item","numeric-id":2942909,"id":"Q2942909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536307$773E463C-AB26-4D99-B605-DB4349536D38","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":"Q6536307$1F2FF8A5-5F99-4C38-A958-0F4F808B8814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad140dba0e0d62853c16a3a3dbb366784e498da","datavalue":{"value":{"entity-type":"item","numeric-id":5894005,"id":"Q5894005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536307$A317D018-67F7-4787-BBBE-1C6C51EE8959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b8d74eb30783ead52df96f665a06c49d9668e6","datavalue":{"value":{"entity-type":"item","numeric-id":2942928,"id":"Q2942928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536307$18F8F14E-8D94-42C1-965E-15D724D91779","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69aff6fcdb07076f2899da55b9ec1b8beb9b5777","datavalue":{"value":{"entity-type":"item","numeric-id":5170704,"id":"Q5170704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fe4d4ced5e6478471e664e91fc2b8c37b76edab","datavalue":{"value":{"amount":"+0.8690239191055298","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":"Q6536307$91003E06-5103-47BC-A11B-1253C9FB0C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8d73c942198168275be8460e4e9a1c0058bc1c","datavalue":{"value":{"entity-type":"item","numeric-id":1583363,"id":"Q1583363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a71a5c9692aa3bf2fbb59c1680828bcc03474e56","datavalue":{"value":{"amount":"+0.8003143668174744","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":"Q6536307$8BEEFD70-E6E3-417D-AAEB-BB67F59486BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebccb92a57c1614d171f6572b42b80381934db9a","datavalue":{"value":{"entity-type":"item","numeric-id":2949208,"id":"Q2949208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"435312f380d29ed3ddf23efc9afca50208f9a4e5","datavalue":{"value":{"amount":"+0.7933164238929749","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":"Q6536307$B12B7A94-6BFF-4A63-9CD4-34FE5252390C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14185da354a081abcf81ee304a10386207c6599c","datavalue":{"value":{"entity-type":"item","numeric-id":5371979,"id":"Q5371979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"405a1367c5e60aa191b967c50d3c7562f31c97f8","datavalue":{"value":{"amount":"+0.7619506120681763","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":"Q6536307$55672E15-8A9C-4E2D-A9B7-6CE7FA16C33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705ecd7455b03fbd6e77b7d8eeb2b5707fd489f3","datavalue":{"value":{"entity-type":"item","numeric-id":2892751,"id":"Q2892751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24df25657a89d9062b0d20373bd83c53db58cf0","datavalue":{"value":{"amount":"+0.7530498504638672","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":"Q6536307$7B9D9590-E7AF-4518-ABF5-04073E41DEFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536307"}}}}}