{"entities":{"Q3526945":{"pageid":5556849,"ns":120,"title":"Item:Q3526945","lastrevid":50463326,"modified":"2026-01-14T03:00:14Z","type":"item","id":"Q3526945","labels":{"en":{"language":"en","value":"VDM Semantics of Programming Languages: Combinators and Monads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5347206"}},"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":"Q3526945$D2F6718E-954F-4395-ABE5-2BFAB1667BA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"692d3dd19858b27de4fd1fb7596e39baf327ec19","datavalue":{"value":{"text":"VDM Semantics of Programming Languages: Combinators and Monads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3526945$C595B3AF-8D54-4941-997F-6496D03928C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4581dedb3ce28ace5b817f02f018b6bc3ceeaf5e","datavalue":{"value":"1151.68353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526945$5F0B7383-17AB-47A6-96A0-0B04FFB1B142","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9457b2e15b1da12b48de595e5168bc6c06566ae","datavalue":{"value":"10.1007/978-3-540-75221-9_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526945$1828A059-A396-44B9-ACB4-EEB02ED319F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73fae7aa6d0c7c2cab5ae77c738df9d6a0e9e85b","datavalue":{"value":{"entity-type":"item","numeric-id":516040,"id":"Q516040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526945$A0F27A4F-FF68-477B-BF0F-B8E26A7E590B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a5acd49d140727f43492171bd0684564e4b880","datavalue":{"value":{"entity-type":"item","numeric-id":3526922,"id":"Q3526922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3526945$02075FDB-C67E-42F4-93AD-275E99EB08DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3526945$32AAA2DC-9E3A-4AC3-9AA2-3197C05B61B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526945$1128782A-054B-4B26-997A-AAE94899EF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526945$EA1300FB-901C-4BFC-A201-B93D34FA33CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526945$569A178A-3E32-4F89-AE51-AB7989770E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526945$61BC4B66-522C-44C6-9722-85DEE807DE61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8af3b01a1a0a6f44a3ecd8cd70b40b1ba574e2ae","datavalue":{"value":"5347206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526945$1F3FCEF9-EB35-4ED2-997A-F90C594938E6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0ba81d8706c5a6d9c552fcb5969d73a108d9731f","datavalue":{"value":"Q57783432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526945$79F0612F-FD0F-4870-A67E-91641C664377","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":"Q3526945$1E3A5B1A-53C6-4B6A-96DA-D5089B26F430","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8f9dbabeb4d123ad853539fee3de94346f44f80","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75221-9_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3526945$A7EDED8C-9769-4E20-926A-68CAAD9AED13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e6bece0a53fa84df4126a68c7cfc672ddb52a6c","datavalue":{"value":"W2884711481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3526945$EC2C7968-002E-4771-8E2A-3E84B174ACB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39a07cf85fa6a898bc7f3d2e4ca8bead3001e407","datavalue":{"value":{"entity-type":"item","numeric-id":539163,"id":"Q539163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a8408c3513928d7b9421f5513474e36df33ee9c","datavalue":{"value":{"amount":"+0.9347050189971924","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":"Q3526945$F6394D7D-D750-4524-A17A-73C0317B7105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97294c6d6a534a5495d5dd31b5c3129297aea249","datavalue":{"value":{"entity-type":"item","numeric-id":2767171,"id":"Q2767171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd411fe1924ad2e92acddcccf7d2446f2ac9eab","datavalue":{"value":{"amount":"+0.7668842077255249","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":"Q3526945$BB1789C4-8A39-48F5-A036-174781518B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"684d31309be37548e92107cedb2b2244c0b4f7ff","datavalue":{"value":{"entity-type":"item","numeric-id":4813222,"id":"Q4813222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d248af38e618c908e54e0e6196d9c315f2bc46f","datavalue":{"value":{"amount":"+0.7413207292556763","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":"Q3526945$FA3178EA-A8B2-4486-A374-2FDA976B3746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa1bf95434b4bcc5b8676f07792916d13aee2c76","datavalue":{"value":{"entity-type":"item","numeric-id":5255104,"id":"Q5255104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd546ef4a37c86bad0cd8beaccd16a6e487e5d46","datavalue":{"value":{"amount":"+0.7351570725440979","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":"Q3526945$0756AB51-5D5A-47D8-9FCB-0D7FD2412ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8759a0b25154cea6a16a45914033e5b69f2bbf35","datavalue":{"value":{"entity-type":"item","numeric-id":3557674,"id":"Q3557674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecf9565871f0497773ada67d345f9bbf1609e5aa","datavalue":{"value":{"amount":"+0.7317647337913513","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":"Q3526945$FC7AF542-0F8D-467C-B990-D28A7691E36C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3526945","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3526945"}}}}}