{"entities":{"Q4823808":{"pageid":6853388,"ns":120,"title":"Item:Q4823808","lastrevid":74943717,"modified":"2026-04-15T01:10:39Z","type":"item","id":"Q4823808","labels":{"en":{"language":"en","value":"Monad-independent Dynamic Logic in HasCasl"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2112324"}},"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":"Q4823808$7B1E1FFA-5AAC-48E8-BA6B-5979552D0495","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2d5019a6402bcee6c7257438da38df9ef1df0d2","datavalue":{"value":{"text":"Monad-independent Dynamic Logic in HasCasl","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4823808$38FC6D4E-6A69-4EE5-A534-B5D9118E9DA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b16186150609fd0eec387fc41fa5e62c7b0ec08","datavalue":{"value":"1064.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823808$EE0A1753-8D5D-4CFB-A09B-B0F725F71E81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823808$F8636A4E-21FF-4B61-9FFA-54808551AE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"431bf8683ea89426e31cb1e39f82476b555daaec","datavalue":{"value":{"entity-type":"item","numeric-id":420799,"id":"Q420799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823808$2F4A53D6-B37F-4F60-B17F-F2D1A3C91D1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"537531571b4f861519c1304a6e93493bd9f1a450","datavalue":{"value":{"time":"+2004-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4823808$5DC68984-F1EF-48BA-9D4A-3CA8FE838282","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823808$9BA3C998-562C-41C1-BD91-9505DF816A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823808$D7D8221E-819D-4558-8641-3714ABD7EE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823808$C33AFCE0-06F6-45A3-9CCF-8B44744FE8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823808$42C22FAC-ABF5-4E84-8F7E-D8132E9EA092","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cd3c49e6f32e826ab9ffe1aa8d09b1ca1903953","datavalue":{"value":"2112324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823808$803D492C-0B5A-43F5-B37D-DBC8EE85EB76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823808$5CCC627E-C178-4A43-AEAC-613A3B094765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823808$99C1AEDA-A28C-403C-AC93-758FB8A9E4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823808$BAD9DCDA-EA96-4FEA-B862-FA14CA488501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823808$6053B628-1FD5-4C63-BE42-7AF1C66E51F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa26151fa3ecf38aac5df67c7cebe0e2b3bf032b","datavalue":{"value":"Casl","type":"string"},"datatype":"string"},"type":"statement","id":"Q4823808$C717A5B5-A7C0-4744-A9F6-57CBAF167C3B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823808$321A4E20-93EB-4C81-AD74-145969D6AE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1a2a866e7bbb119aad234d9285d711e41219669","datavalue":{"value":{"entity-type":"item","numeric-id":13159,"id":"Q13159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823808$00EED829-328E-4646-A69B-7F288E6F7F79","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":"Q4823808$77C0BB81-17A3-4D3B-B864-ED6AE253AB2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c267646c888ff128d607944962a23ea64eef9e71","datavalue":{"value":"https://doi.org/10.1093/logcom/14.4.571","type":"string"},"datatype":"url"},"type":"statement","id":"Q4823808$BD37D6B2-B41B-4185-8835-B237061A63FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8735bf8745b1865646a2ba51103b3dc40ab4062e","datavalue":{"value":"W1969481252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823808$A42A8602-BD14-4FEF-8C81-2D7D7DE511AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef3c690b5daa3840deadfeeeccfa60a9d96d23ae","datavalue":{"value":"10.1093/LOGCOM/14.4.571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4823808$CD654FA6-76A9-4DF6-B351-B5C1223EB7C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4823808$528414F1-DF3B-4E62-84FF-87B4E69EACB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc2cb985aee507bbbdfea7577cb419d00036e5f5","datavalue":{"value":{"entity-type":"item","numeric-id":5900835,"id":"Q5900835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b05e8c1454ef5f0933947a5f0f8e6ffde3b85e","datavalue":{"value":{"amount":"+0.9267838597297668","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":"Q4823808$E8EADFE9-8451-437A-B772-058BE47C3044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f97ef92fc18eae7506018001a310e958af424e2","datavalue":{"value":{"entity-type":"item","numeric-id":4417837,"id":"Q4417837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9c095233efd14155af8dc44700352c658b1b5f","datavalue":{"value":{"amount":"+0.8995856046676636","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":"Q4823808$BA16E071-432B-4B9D-8C44-9A0FB98665E5","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":"0bb90e2c2dd572031b898287d83b0e48dd431b3d","datavalue":{"value":{"amount":"+0.7766566872596741","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":"Q4823808$EF5291E6-6B37-4F67-BA49-FED178DEF329","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":"f5442ac3aaaf0eb41f32e6f4e69cf716cb8d262f","datavalue":{"value":{"amount":"+0.776116669178009","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":"Q4823808$D065B218-2FC8-462E-96F7-3590DF5079D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"318712e7d38345dd5d1003c2c8db6e07adc0668f","datavalue":{"value":{"entity-type":"item","numeric-id":5271064,"id":"Q5271064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2516e0f170938e0aab321f63e1f1c6a30c7ac96","datavalue":{"value":{"amount":"+0.7744686603546143","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":"Q4823808$EF2FD376-72C0-41F7-A97C-2AC3DBD72331","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monad-independent Dynamic Logic in HasCasl","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Monad-independent_Dynamic_Logic_in_HasCasl"}}}}}