{"entities":{"Q13159":{"pageid":13215,"ns":120,"title":"Item:Q13159","lastrevid":56208597,"modified":"2026-03-13T05:18:54Z","type":"item","id":"Q13159","labels":{"en":{"language":"en","value":"HasCasl"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"c8d92cf03a7c181ffe87fe55baf5bf0ce0ae1d3b","datavalue":{"value":"399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13159$BB4FE064-DAAF-4247-B40F-420652A20EC3","rank":"normal"}],"P286":[{"mainsnak":{"snaktype":"value","property":"P286","hash":"cd36d70a83fd4a70ae4b9e15081d565fdcf8861b","datavalue":{"value":{"entity-type":"item","numeric-id":1006648,"id":"Q1006648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$270AEAFB-9405-4B0B-B578-F39F35434AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P286","hash":"369410ebb43d8a0d113f6159291257727076f8a0","datavalue":{"value":{"entity-type":"item","numeric-id":2996141,"id":"Q2996141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$12649D7F-5BF4-4FD7-B53C-66D963A4733A","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$939A67B1-E02D-4027-A94A-A79137A9A781","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"1e5cf1f4edd2cae5f522118178c364d82a890634","datavalue":{"value":"http://www.sciweavers.org/publications/monad-independent-hoare-logic-hascasl","type":"string"},"datatype":"url"},"type":"statement","id":"Q13159$938A7672-BF0C-4E59-8CBB-5DCCA03088A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13159$7DEC2589-FCC1-483D-95E8-3DF5020F99E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f50a93e1fa52c1f7a63c5e1d98864f256220e6f","datavalue":{"value":"18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13159$3D812CF0-C573-4403-8B4F-194BB99DD4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q13159$7BFA91FA-349D-4946-9960-80795F040F4F","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e8669f86935885839c9d11cb5355208de33a360e","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$E38988DD-7817-4806-9130-A3AF2C198130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"e2deb6bf1d4c2d4a91e6bd25d48cab95bae8848d","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$9C8A5F28-C11C-4877-9851-842AC1CD6EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$83AE40D6-12C8-44D9-BA6F-26D12400F933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0826468599a3b3d422343f55e756b4cbf4443cc1","datavalue":{"value":{"entity-type":"item","numeric-id":19080,"id":"Q19080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$DAF15C29-B650-4E3F-BD5F-2D14AC0812C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4bede6a37ebe08319061984bb68beaa8e4664a82","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$54D760BD-6B14-41F0-A40C-AEF25F3DDF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"5df55c3fb5a14629e85631adff6d0aef1136b6c3","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$D18065D5-9AC5-4720-B8A7-B46C13600C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"446c33bf9b374ba0441e5f70667e3e0c13ccd355","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$57D2B7E6-B008-4618-96B3-207061ADEE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$D2F38AB5-41F6-4313-9CD1-EB8AE1CD29F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$3EFE6269-98A6-48B9-BF81-AD5EDA7565FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"90f9f9407ae7834d9efac8fc7e692d86901d5a38","datavalue":{"value":{"entity-type":"item","numeric-id":39366,"id":"Q39366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$1F9ACE37-DDF7-42AA-B7B3-C90B256CE5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7dab625c073339525b1a46e420f12edaf81f818d","datavalue":{"value":{"entity-type":"item","numeric-id":15955,"id":"Q15955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$0CB6B75A-3282-4D76-AE18-2F37093256A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"59eca7bb121f013b8f0455cacf69c1be62321bb4","datavalue":{"value":{"entity-type":"item","numeric-id":23262,"id":"Q23262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$0A218D94-DAB4-4EE2-AB46-E121BC612CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bd9520de0fdc39ce6071f960038f68f86cf783dc","datavalue":{"value":{"entity-type":"item","numeric-id":15692,"id":"Q15692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$FEED739F-BEC5-4E4F-8A90-D287955DE131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0ffb956ccd6dff60834c86347796a6161bd8299c","datavalue":{"value":{"entity-type":"item","numeric-id":14723,"id":"Q14723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$F03E47A0-2FD5-4C44-BED5-3C6187D4A935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ef8b5cc119c0cee5993f5c9a9f03210ea6d29380","datavalue":{"value":{"entity-type":"item","numeric-id":22254,"id":"Q22254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$888A6BA4-0BF2-44A1-8836-5DEE61C9CEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bd0a78f92a43d7d4b9fb28d11c52d211df965f7e","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$469583BE-2EDE-4C47-9140-1E6F12ED76BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8aea0ab4aa185418a08316853dcad4681c058166","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$336FE4F1-5777-40D5-A397-CE78A7D090B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6f188704542de813b69b40e0e5e38b8a52687050","datavalue":{"value":{"entity-type":"item","numeric-id":28137,"id":"Q28137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$E44ED93D-4466-42BB-9FF2-C5304F6F0E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3f3b0fa35dbe17f90c24199caadffb8764943dc2","datavalue":{"value":{"entity-type":"item","numeric-id":45758,"id":"Q45758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$52AAFB27-2C70-4E69-B669-11F6BD3CB6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"7a22eac7a92bcff56b8e6f7d20e7be218051a97a","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q13159$E9966A37-23A9-43C1-AB65-AB1AF26E3EEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"HasCasl","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/HasCasl"}}}}}