{"entities":{"Q737089":{"pageid":738938,"ns":120,"title":"Item:Q737089","lastrevid":63959913,"modified":"2026-04-11T16:41:58Z","type":"item","id":"Q737089","labels":{"en":{"language":"en","value":"An imperative pure calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6609749"}},"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":"Q737089$D6328CB2-E36A-4389-A2AE-DA3513219735","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db56d306a8ab3e9f8dcc1b0603d2d06437dddb19","datavalue":{"value":{"text":"An imperative pure calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q737089$352442A1-EB1E-4C37-90DB-F86C2D772E6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ae5aef3749e65be6ab48f3636310325aa97db5d","datavalue":{"value":"1345.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q737089$473B0BF1-DAAE-455C-9740-0DB122FD255E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94548640838b271ab60bfece1817db3ed358b0da","datavalue":{"value":{"entity-type":"item","numeric-id":737088,"id":"Q737088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737089$8DB10202-53E9-451D-998A-FA4361F1B67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d49729725758c351c60c8f7613fb05da9422e494","datavalue":{"value":{"entity-type":"item","numeric-id":418191,"id":"Q418191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737089$07ACA76C-FFCC-486D-B1D5-7BAE86AE70D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f448c722ebdcd657017d2557fee6ee764cbfbc2","datavalue":{"value":{"entity-type":"item","numeric-id":418192,"id":"Q418192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737089$9ACA62DA-C764-43D9-95EA-DE2EBFC0E5B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19f8be58b1829936b94d36e09e6fb6fb923fb3ba","datavalue":{"value":{"time":"+2016-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q737089$5C1BCB00-A956-443F-837E-93E2D8C2764F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q737089$55F4F0C4-F176-4DED-9746-DF5A24D653FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q737089$776F301F-1E04-4D74-ACAC-325658ED8BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q737089$19055169-60B9-4205-B620-879C6960CE18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7bbadcc9e833bf660f3a5fa79f2ef8b9652f772","datavalue":{"value":"6609749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q737089$6F92CF60-2C0A-4997-96A9-CC5DDC130555","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q737089$D11EF04B-AD94-4735-84D5-E606FB8231B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a67d7db044362bb12e7b310939e578cbf94b1c86","datavalue":{"value":"imperative calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q737089$14972241-73B7-45A3-B5BB-90A780BB8B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de5c78d46b9cdcf0ebef8b039e94b15fe93e030","datavalue":{"value":"aliasing","type":"string"},"datatype":"string"},"type":"statement","id":"Q737089$DED38414-FB66-4B30-8F07-BF0899C358A5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ab4b0c13226e47c3c5f251da713a2c06b69ed446","datavalue":{"value":"Q113317697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q737089$1F3ECF84-15ED-4620-9E46-7F74299EFE91","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea42592d88b0dc0335528708fc0459f05c2f670","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737089$986261AA-B7DE-44E4-AB98-7BE239B0E387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b0996c451b14a06853df9996b5aeda4f0ca33756","datavalue":{"value":{"entity-type":"item","numeric-id":21900,"id":"Q21900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737089$E9B918DC-782A-458B-86F8-4B7C8A8E851A","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":"Q737089$BBDCA908-2CA6-4E3D-A88D-88281FEEA1A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a65c19ec4a95062f003820ee6c16036d6e4a72ac","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.03.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q737089$22EFC173-9071-472D-995A-0868967BDE68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee59cf6fdd1bc249b986e32fa351dda87e83cab7","datavalue":{"value":"W2342367320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q737089$79A7B2F5-2CFC-481B-9C20-231E56C81166","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a3a8b14ad4f777fb81b522e209f9494238a008","datavalue":{"value":{"entity-type":"item","numeric-id":1849854,"id":"Q1849854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737089$4D031A4E-7261-4E34-97A3-A322A6AB7D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc937e27d5d0efb7afbe95dc3a7e3d054e3183c1","datavalue":{"value":{"entity-type":"item","numeric-id":4358458,"id":"Q4358458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737089$09094382-8D68-4E3D-8C7A-F8E9484E177A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866e49a2bb01a72bdb249686d914712453b16f61","datavalue":{"value":{"entity-type":"item","numeric-id":2763681,"id":"Q2763681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737089$96099480-A5C5-475C-87F2-30DD3881923A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec914e13778f9f7efd28b1b1c29a040fb309cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3655271,"id":"Q3655271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737089$C5989B1F-BA7E-4140-952A-531980FA49B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d56b81cc149fd4c5f4f4c86815da5f5d4ddf0b2b","datavalue":{"value":{"entity-type":"item","numeric-id":1263961,"id":"Q1263961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737089$5D129310-531C-4A9A-BFB9-6F78E5478602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14199d752f4bebe689aaa85d75a54b5e20dfe3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1199538,"id":"Q1199538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737089$8551A8C4-41DA-4858-BB20-9C330AA95FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q737089$0E35EDBE-15E6-4262-BDC9-D8684BBC2E4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"543efd3a495d074f7845a7a18723cc177114ba6e","datavalue":{"value":"10.1016/J.ENTCS.2016.03.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q737089$552D4945-7630-45E6-90D6-06F0A4EFBEDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03d7575e61998006881faa45e0084f3a92b4be4a","datavalue":{"value":{"entity-type":"item","numeric-id":3460909,"id":"Q3460909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8df4ede6da56752cb6efbc3bcab90499d476ced","datavalue":{"value":{"amount":"+0.814224123954773","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":"Q737089$3D259FC7-9B58-40E7-9D6F-46713613DD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48f575a899977dc7ef07e6185ec6ed107c18d50","datavalue":{"value":{"entity-type":"item","numeric-id":3455835,"id":"Q3455835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31660f1f48534981fccb340e252c429132b29ed5","datavalue":{"value":{"amount":"+0.8019688725471497","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":"Q737089$FA162FFA-E5C7-4D8A-8B70-A1133A2D96E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da7c61ce1561a81e246d8b8795544ba621da51f","datavalue":{"value":{"entity-type":"item","numeric-id":5178764,"id":"Q5178764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a0f1fc8be75b8ee50bc71555ab54972f65fafa","datavalue":{"value":{"amount":"+0.758722722530365","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":"Q737089$A9005D04-D029-4BCF-8341-D95E3B6B6E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84fc8c5cab33d2083d03117616f62443327cb0c","datavalue":{"value":{"entity-type":"item","numeric-id":5096750,"id":"Q5096750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b947808a17ca3f14e0d4cc199f47c84537505a","datavalue":{"value":{"amount":"+0.7252722382545471","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":"Q737089$19040296-2C10-440B-B009-209F438A9783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd514dba250d2fc194bc1c32bae95a5968d1f9b","datavalue":{"value":{"entity-type":"item","numeric-id":4594258,"id":"Q4594258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ca2d123076bf4ad50098ebc293e61f5e3e407f","datavalue":{"value":{"amount":"+0.7243370413780212","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":"Q737089$7D6E551A-A745-48E1-AD37-008AAC0084E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An imperative pure calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_imperative_pure_calculus"}}}}}