{"entities":{"Q5960010":{"pageid":8136812,"ns":120,"title":"Item:Q5960010","lastrevid":97769198,"modified":"2026-06-05T15:23:10Z","type":"item","id":"Q5960010","labels":{"en":{"language":"en","value":"The donkey and the monoid. Dynamic semantics with control elements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1727126"}},"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":"Q5960010$7B413119-885D-4EA6-A0E2-C03EA1EEF56F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e7ad5955c30879860dfa53cee5af2e2be75d2a4","datavalue":{"value":{"text":"The donkey and the monoid. Dynamic semantics with control elements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5960010$A90BE37D-7732-463D-B7B8-FAD527F964A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0acbd069277a079d789030946945fa5d1a8b86ac","datavalue":{"value":"0998.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960010$320834E4-07AB-4533-80FE-8AB7061B20CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e79d42d2ffd71684461a31940f67196923897314","datavalue":{"value":"10.1023/A:1013026830239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960010$FD16C071-7CCF-4045-9C9D-AEF0F7106B0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960010$D4015E5B-ADB2-4675-89BF-F168C834127E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960010$D61766C1-461C-4311-A5C6-B8F0466A21CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d18439a648c68971434e67c4d3438eb872bd034f","datavalue":{"value":{"time":"+2002-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5960010$7FF6BD93-27E2-4974-B9AD-109A7C35A19F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d2ad96546cce81f323058031667eada53a69500c","datavalue":{"value":"The author introduces some variants of the dynamic predicate logic (DPL). In Section 2, the author specifies what he means by a variant of DPL and details the used tools: e-monoids, dynamic relation algebras, signatures and models. In Section 3, the author develops his first variant of DPL by adding a polarity switcher. The switcher just changes the streams to which the local contributions are added. Some paraphrases about a farmer and his donkey (!!!) illustrate both the flexibility and the rigidity of this variant. A systematic use of monoids allows to programme the interaction of meanings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960010$32899333-39A5-4613-9425-D55FEA610BA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960010$79E5BF18-AE04-4F1F-9888-F28B250C56F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960010$A8455A96-6DE7-4472-AA8C-531DD4AA3500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3b0a22587432575dd8ab8708980328a5eeb487a8","datavalue":{"value":"91F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960010$354568DC-881C-486D-B347-082D47E9B8AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98a7d8f97950c9154fc9a572e7cfd6c90c3c0481","datavalue":{"value":"1727126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960010$855F50FF-3481-471D-9028-CEB6A7F51810","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9c055781f443e21a68b0fe86c0c047ba3af2bf2","datavalue":{"value":"variants of dynamic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960010$82807982-8880-4672-8259-1C1091E674D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a57ee3f5174bb6d9169d064bcde27f802a7e5580","datavalue":{"value":"e-monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960010$64042A4A-4514-4C72-98A8-C8B16321984D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f30399a4e6b595e5f8dfe8332c90d9ad6be9b8d","datavalue":{"value":"dynamic relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960010$BDDB31B8-A80C-4E17-A594-52220D5D50A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d873a1d4d05cb79d90b13271e3f58ea19f26e91","datavalue":{"value":"signatures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960010$2BEB507F-A36F-4D1A-969D-E6E8F3BB0D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a33bfb266517f37c2893982b2b0f9fde5f7330a","datavalue":{"value":"models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960010$D57C09DF-F565-4AD2-85BA-431B8819AA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b2df890eb4adc0ddf846310b7d98d73d6f3828d","datavalue":{"value":"polarity switcher","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960010$000B2E80-AA44-4A06-9A92-864BB108526A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc5c2b2fffd657d8281cfaed0ec7a9f3e217bbee","datavalue":{"value":"interaction of meanings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960010$7934CBF5-FE7B-41AC-B35F-7FB90BC1957E","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":"Q5960010$9AA1997B-A8C9-449F-9EEB-7385D170F414","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bafe107dce66c09bd1ca102f830354093fd765f","datavalue":{"value":{"entity-type":"item","numeric-id":5202997,"id":"Q5202997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"163ead2bc2410dd9756c08ceefa76aa6567f316e","datavalue":{"value":{"amount":"+0.7580724358558655","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":"Q5960010$21F0CBED-BB46-400A-85F0-F6BD93714D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a40e8f178b790e700fd202b4f783d226ba4f40d","datavalue":{"value":{"entity-type":"item","numeric-id":1288172,"id":"Q1288172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c774a2d38d51c9a6e27a48aecab2efd836a36fc","datavalue":{"value":{"amount":"+0.7376023530960083","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":"Q5960010$B4949226-F4A5-4880-9A12-07B5E8F04769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51ec603b005ca3b7c8d2792f7bdb0100551a3d0","datavalue":{"value":{"entity-type":"item","numeric-id":4552500,"id":"Q4552500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c774a2d38d51c9a6e27a48aecab2efd836a36fc","datavalue":{"value":{"amount":"+0.7376023530960083","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":"Q5960010$DAD22F02-726B-405D-BA28-A810853E8EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3976fb038fb34511f9aef92336174165bd3e5db0","datavalue":{"value":{"entity-type":"item","numeric-id":1384001,"id":"Q1384001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"710d48e8c645b7ce8eba862d7327aa807009125d","datavalue":{"value":{"amount":"+0.735541820526123","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":"Q5960010$0280E4EF-B9E1-492E-8397-1413842EF038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2475c8005a2b7895de3411561e49a2e02e27bf6a","datavalue":{"value":{"entity-type":"item","numeric-id":1314278,"id":"Q1314278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95cb842658ca23a9d652225f4560be4d25224eca","datavalue":{"value":{"amount":"+0.7341556549072266","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":"Q5960010$382094BB-C8B3-45AE-904C-4F430681A4A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The donkey and the monoid. Dynamic semantics with control elements","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_donkey_and_the_monoid._Dynamic_semantics_with_control_elements"}}}}}