{"entities":{"Q3605541":{"pageid":5635447,"ns":120,"title":"Item:Q3605541","lastrevid":80808536,"modified":"2026-05-06T17:02:51Z","type":"item","id":"Q3605541","labels":{"en":{"language":"en","value":"Unifying Sets and Programs via Dependent Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5510303"}},"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":"Q3605541$8E28956D-5040-4474-924A-770A91E01E45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1496ae60a8d93dd233ace8132522ac3c366ae9a9","datavalue":{"value":{"text":"Unifying Sets and Programs via Dependent Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3605541$47F41FC6-765E-4405-9121-89A98D9791FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d78c378fa7347dadb1f91dc26b50919126a4eeda","datavalue":{"value":"1211.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605541$0C7CBB21-F1DE-4A63-A43B-ECCE472D6747","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8526ce378571cf135a273629e29e9f8bd7a3f0b6","datavalue":{"value":"10.1007/978-3-540-92687-0_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605541$BD906E65-AB18-4324-93FE-887A01DF2FB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7d45bc58b6343c85796331c2c0125934a8b7086","datavalue":{"value":{"entity-type":"item","numeric-id":408533,"id":"Q408533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$C035C20B-898E-48E1-A254-D3B65CF3A4AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$638EBE0C-7650-4B3D-A0B5-41CFA7064A9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e18d4fd78a311e2c3bebfb4c4076a76532be8395","datavalue":{"value":{"time":"+2009-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3605541$2314F0C4-F8B7-48F1-9CE9-6098EE31CE7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605541$E505F928-0798-48A3-84DB-5DBB5D9562EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605541$CBFAE0AB-9BEB-47C9-A44E-41691AFB5E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605541$2FC8F188-C4A0-41E2-BD7A-043C22AA09D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26766a336df2a3cf072b27ce8e35f74260f9cab7","datavalue":{"value":"5510303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605541$945375E1-2B97-49CA-8095-07F0CAA1A808","rank":"normal"}],"P1463":[{"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":"Q3605541$FC147E99-97C5-4C87-9432-A51B68F69B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$8388DFF7-594A-4F19-9B2B-5A0979C94D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$51D2B1A9-1DB7-4381-8E31-9F3C31D34399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$3BEA2363-3398-41F1-8BFC-E7E980449B65","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":"Q3605541$79E5CB80-E0BE-404F-9FD2-F22CC7511E9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a3d195b30481c25a62f8d83f8f4e07765c55a12","datavalue":{"value":"https://doi.org/10.1007/978-3-540-92687-0_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3605541$F7FA4641-ACDD-4CF8-BA0C-1836D48AB483","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0dbfdc47abe7939add01828d22ef0e27c45391d9","datavalue":{"value":"W1507092030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605541$DCABD0C1-8C19-4D96-BA92-8B49E73A5025","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$B6779DA3-A541-4E36-8E42-EBF57724AD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc3f49c7e55fab01a06f84c68fdf4990068cc091","datavalue":{"value":{"entity-type":"item","numeric-id":4357062,"id":"Q4357062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$3F4510E8-30A7-4FDA-AE0F-64A83D9847F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6f0b82d28d67b4e3312c91b8fa8f0254a3dc1e","datavalue":{"value":{"entity-type":"item","numeric-id":4524766,"id":"Q4524766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$000FC80E-B0B8-4786-8425-CE735BDCC000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$97F51B0D-5127-46C9-9FB9-EC1B1B385790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9595474d6c649f08e5d55140eff822a5539301af","datavalue":{"value":{"entity-type":"item","numeric-id":3613407,"id":"Q3613407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$040A940B-BBB3-4369-B9EE-4A8CE5BB6696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c8e9d898906d9e08aa7d9efe3af4528b97ee58","datavalue":{"value":{"entity-type":"item","numeric-id":5426072,"id":"Q5426072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$F60AF463-FDFC-4724-B2AD-1A19CD6F71C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb41e9770a958f62aaacb94077bfe45e3d916bf3","datavalue":{"value":{"entity-type":"item","numeric-id":3222842,"id":"Q3222842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$FEE6B8C9-B6EA-4BF0-8899-954346288DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"412c65ba7cbb4986ecab32f5da59be81d7bb88f4","datavalue":{"value":{"entity-type":"item","numeric-id":5901479,"id":"Q5901479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$CCB5B69F-3975-498C-A2CA-D7E121C18AA6","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":"Q3605541$47FE25C5-4377-4140-B796-3D6B18C69AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$0FF1C381-2BC0-455B-8C3A-8EFDE6ACC3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da47f505e4676f000e190202d67ce831f4acdb1b","datavalue":{"value":{"entity-type":"item","numeric-id":4921444,"id":"Q4921444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$F7159BB8-93F6-47B6-96E0-BA46809E97EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3551f2a22d68d8091928801d8423ada3760e3e7a","datavalue":{"value":{"entity-type":"item","numeric-id":3863865,"id":"Q3863865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$D84211F6-2705-48AF-B410-0F39C653162A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9854627288bb9c35dacdc8035d00458c4f8cde85","datavalue":{"value":{"entity-type":"item","numeric-id":4490719,"id":"Q4490719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$CE5C4717-583F-420A-9E84-6120181358CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a442df7fc5b2e13404a6aff88cfc0223c7cbae","datavalue":{"value":{"entity-type":"item","numeric-id":1193653,"id":"Q1193653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$9893F17A-CBAB-46EF-9314-94D3CE8F383F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aa40dce4bc3b76d4413f4d8a1ec8d4ba8395994","datavalue":{"value":{"entity-type":"item","numeric-id":4460846,"id":"Q4460846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$1DC709F4-AF6B-4018-9934-A88539E759F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bf808c34edd92c2b99b788129bd6db0f113c6b","datavalue":{"value":{"entity-type":"item","numeric-id":1876088,"id":"Q1876088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605541$60DE02E0-AF7F-4D9B-A85D-7D4DCFCDDA50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffa407ad2e2d3f5b78eafe97fabf354c92c49b58","datavalue":{"value":{"entity-type":"item","numeric-id":408534,"id":"Q408534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b9f89ecb396274cc212141fbba79df6e94273c","datavalue":{"value":{"amount":"+0.998909831047058","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":"Q3605541$32536452-F8A7-481D-9785-BEACF6331605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb18c1c5852128bff5686d0e5094ce1a989c69c","datavalue":{"value":{"entity-type":"item","numeric-id":2757819,"id":"Q2757819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec266c58c549aa05a8b8655d8f2421ae2e6ad7e","datavalue":{"value":{"amount":"+0.7769191861152649","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":"Q3605541$B32D86AD-E5FD-4E7E-BCA7-C395767363E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b981abc9d5a2934b1599e79993a3b619b1e445cd","datavalue":{"value":{"entity-type":"item","numeric-id":3613410,"id":"Q3613410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7e7029638fbffc14e13dff596c7a513d7ada06b","datavalue":{"value":{"amount":"+0.7220609188079834","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":"Q3605541$8872A6CE-3D17-41BC-B43E-2CD4C4205C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec2f0bb38b56f759cbb69a7dc3cbce032e16f8c6","datavalue":{"value":{"entity-type":"item","numeric-id":5055716,"id":"Q5055716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99af000971b43e0742f21a625411db725fc59c23","datavalue":{"value":{"amount":"+0.7146841287612915","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":"Q3605541$8F5AB533-FCFE-4B0F-B99C-4A0AD1DC224B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4899bccf91708c9ddf1efc49b96e6be61f98ee3b","datavalue":{"value":{"entity-type":"item","numeric-id":2819193,"id":"Q2819193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eecd037eda89e54dec400d6060303bb637d3b37","datavalue":{"value":{"amount":"+0.7086368203163147","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":"Q3605541$E7F2B298-A117-4059-8CE4-968371B73092","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unifying Sets and Programs via Dependent Types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unifying_Sets_and_Programs_via_Dependent_Types"}}}}}