{"entities":{"Q6865994":{"pageid":20692564,"ns":120,"title":"Item:Q6865994","lastrevid":84241577,"modified":"2026-05-14T02:34:53Z","type":"item","id":"Q6865994","labels":{"en":{"language":"en","value":"Goal-directed semantics for dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8153022"}},"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":"Q6865994$3A8C1D50-BC8C-4A49-9859-E4E47E98A54A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d482db11ba8fdedd2c7a66ae1f2b02fb2f80150f","datavalue":{"value":{"text":"Goal-directed semantics for dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6865994$86EC666D-8926-4FCD-B36A-2A7BAFF9DC51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"069e3a557e2f79abc282041b7db70b5fd28bdc06","datavalue":{"value":"10.21146/2074-1472-2025-31-2-52-72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6865994$3018138E-59FD-49AA-AF61-7448762400F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83e6134ef3778a44d58b4c3860450d381d79c997","datavalue":{"value":{"entity-type":"item","numeric-id":2804037,"id":"Q2804037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865994$16842D53-A51F-4F23-9FFD-0DBE4132392D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"149112218bdb038213a4d05b46a1244a47d21344","datavalue":{"value":{"entity-type":"item","numeric-id":6581940,"id":"Q6581940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865994$87F6AA26-B686-48D8-BACD-B8883ABEE82C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59db53334aa774736a913683f0c2c8728a8f4267","datavalue":{"value":{"time":"+2026-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6865994$0EB4D08C-6502-4D34-B07D-9E1B28BB51DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6865994$0D4530C4-7877-4C8E-A832-ABE500F5895F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8bc10c77b0a4cb558ec31619c3337fe985cb68d","datavalue":{"value":"8153022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6865994$074C78D5-85E2-45D5-A996-8C1B4A94909B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865994$9DEF0092-087A-4C7B-B66A-1A6E2D90D548","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865994$F90DF9F3-7D59-40FA-B3C4-F9FDE23D38E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b258592c601cae1d1adc4cef3d7af7cd7a6789e7","datavalue":{"value":"goal","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865994$AFB8A582-F22E-430C-B2FD-82E764DF587E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865994$6F58C2EC-CC1A-4E2C-B483-4B9E3883884F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865994$25BE1700-20AD-46C9-866D-508971F1199C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cb02faf385445bfb4d9bf3f04a5979604bee13e","datavalue":{"value":"goal-directed behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q6865994$8560964D-F028-4E24-9085-D345527C5214","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":"Q6865994$B852FDE4-EFC7-4D7D-9CF3-912AB51E8FD6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7afdac982ac478d560702abe528e2289dd79c897","datavalue":{"value":{"entity-type":"item","numeric-id":5329148,"id":"Q5329148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865994$12E88DEF-D932-4EB9-BB8E-F3A448EFDDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3d7dd86eb7cf64c55502dec5b163112df731f6","datavalue":{"value":{"entity-type":"item","numeric-id":5742195,"id":"Q5742195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865994$D8E190E5-443B-429B-BF43-BF08406EFC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6ff0e3b35e4ad4aa077d407777a47250f3721d","datavalue":{"value":{"entity-type":"item","numeric-id":2756613,"id":"Q2756613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6865994$BEAA37D4-2FA6-4952-8CE3-175DA2E58F07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Goal-directed semantics for dynamic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Goal-directed_semantics_for_dynamic_logic"}}}}}