{"entities":{"Q5104726":{"pageid":7134302,"ns":120,"title":"Item:Q5104726","lastrevid":55422145,"modified":"2026-02-17T16:01:43Z","type":"item","id":"Q5104726","labels":{"en":{"language":"en","value":"Finitely-valued propositional dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7585733"}},"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":"Q5104726$96718669-7ED7-4BC6-83FC-BEA7C4CD8DEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09805c4574013ec5efe52d1a718be5de2476fee3","datavalue":{"value":{"entity-type":"item","numeric-id":777890,"id":"Q777890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5104726$3B2AC8C0-FF46-49B7-96DA-304514854518","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22a2efcfe4f96c3bebc408ebd225f07cb2931b11","datavalue":{"value":{"time":"+2022-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5104726$1D832376-30C5-4FD8-88C6-94406E98B181","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11566041a8cfed6271bc9c1e309d041318df0a85","datavalue":{"value":"https://arxiv.org/abs/2012.12133","type":"string"},"datatype":"url"},"type":"statement","id":"Q5104726$0C56D38B-71F5-4060-A421-1652A907CBBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5104726$56BA187B-A828-442D-BAC2-40F4A04F8550","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c63d29ee0652361c561145b71cdb6ec4ff0e3eba","datavalue":{"value":"7585733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5104726$88B52319-7038-4E66-B0BF-7DD85AD7C989","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53adbbc298a5cdbd6905b232a0f062cc4c9d1aed","datavalue":{"value":"FL-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104726$818D2D87-7214-4011-9F68-AF75D1B19CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e169b8aa95cd0689e50a9ceb223354763fc30719","datavalue":{"value":"many-valued modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104726$0EF97E85-9D53-4FA3-AF99-2500A0C85A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104726$18ED0BC0-1F00-4D22-A5CF-7D71033E62D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e4a50f524a853d7093b2872ea866d3349bf61","datavalue":{"value":"residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104726$2C92EA9C-9061-4D72-93D4-12EC15496B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104726$0AA4E1B0-A53A-49B1-9F9C-ABD0221EC0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6796d424dca43016b82a0e0eac7d770020cb8a4","datavalue":{"value":"weighted structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5104726$6C0E7255-F181-4941-9A53-2E7BE445684B","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":"Q5104726$CD3DE607-5B1C-408D-B78C-AE76496B327C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd947b2852301cfdfdf1fa92a1b46e1d92d29820","datavalue":{"value":{"entity-type":"item","numeric-id":2737566,"id":"Q2737566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"783eadc2a65de26c8106dbec9c5af9e43a02be16","datavalue":{"value":{"amount":"+0.7882769703865051","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":"Q5104726$F749E9C0-3F57-4945-8BD1-592FBDA92723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"174186a563574d0248f21c88affde9c55e122252","datavalue":{"value":{"entity-type":"item","numeric-id":2303619,"id":"Q2303619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56627e3b97b226fb970b19cb609ad587274d8d6","datavalue":{"value":{"amount":"+0.7790829539299011","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":"Q5104726$95D16FBC-5700-4828-B354-B905D5861BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2849153baacf8083264a8111ea48a9bf6a845ac","datavalue":{"value":{"entity-type":"item","numeric-id":4636052,"id":"Q4636052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f55899cc0023c8954337cc2fc8d3002342e073","datavalue":{"value":{"amount":"+0.7689709067344666","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":"Q5104726$E5A1A6DC-7F75-4E72-A77D-1DA990A294C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a1cadfaa3de02c3e9c851240c64a1a71d5bf62a","datavalue":{"value":{"entity-type":"item","numeric-id":472791,"id":"Q472791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5cd96eda8ec2fd963cf408c5e28aba2b40f19b","datavalue":{"value":{"amount":"+0.7665666341781616","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":"Q5104726$7D003A62-D2EF-4B3D-809E-691FC6CC3D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed23dc11c8fa70f487cd288f75892943a3baa877","datavalue":{"value":{"entity-type":"item","numeric-id":3721807,"id":"Q3721807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37c7d0df9905abac262aad6125570952bbf207e","datavalue":{"value":{"amount":"+0.7625147700309753","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":"Q5104726$4E775225-8970-459B-9A6E-9A632F481644","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5104726","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5104726"}}}}}