{"entities":{"Q682633":{"pageid":684482,"ns":120,"title":"Item:Q682633","lastrevid":63562383,"modified":"2026-04-11T14:00:38Z","type":"item","id":"Q682633","labels":{"en":{"language":"en","value":"Dynamic logic assigned to automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6834002"}},"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":"Q682633$7A1A8E93-7518-4E69-8B8E-DBDEB24918E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7339a032e73e5c2a15154af3fa7c6b810c662409","datavalue":{"value":{"text":"Dynamic logic assigned to automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q682633$2FF020D4-1697-4233-BBCE-256107E3814D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"844ecd31526ac25ecb6e7f49875f329842c28f38","datavalue":{"value":"1478.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682633$4FA92FB9-ED9D-412F-983A-E34595426B2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682633$1405171F-227F-4AD3-91F6-3BBC78C61F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1009b76ff83985243f529dc96d2417a3ae270b3a","datavalue":{"value":{"entity-type":"item","numeric-id":277550,"id":"Q277550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682633$2575E0A9-6266-4FC3-ACBA-98F8A3A0EE03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82a3be88549eb59571e2dd1afecf617032b59ace","datavalue":{"value":{"entity-type":"item","numeric-id":168494,"id":"Q168494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682633$3F59FFDF-E4CA-42E0-9D08-E6D93714D347","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"677c90223eaa06e0b6fdeb399f15f769da14c07e","datavalue":{"value":{"time":"+2018-02-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":"Q682633$15AADE5A-C91B-4DC1-A020-280C1F1B2FBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"629088a785674c6a3212aab364382fbdbaed0806","datavalue":{"value":"https://arxiv.org/abs/1809.04456","type":"string"},"datatype":"url"},"type":"statement","id":"Q682633$6CCCF8B0-B658-4B0F-8662-923469C33898","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682633$5DC54D59-F9C4-4506-8003-82E4B4689883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682633$6838089B-2C85-4F5E-9EDE-4693056681FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682633$428FDBAD-232D-4B60-9142-BF2F14C3AC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682633$D72A1E19-EC30-436A-8C41-A38D74A37734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682633$4F6D2A29-A5DE-4DEB-AFA0-FAAA98935430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682633$F6F4885B-CE84-4F55-A06B-AC96138BF6D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3508de47d516b40bd95d7633d43ef3d661e56071","datavalue":{"value":"6834002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682633$3E8A5B0B-7809-443D-AF4B-60D8816ABF6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q682633$36615B2F-1AB1-4258-B36E-E684CB7C0BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b628ee37bb1de264bc13811ff0dbdcc706e2c5eb","datavalue":{"value":"automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q682633$5C3B917A-2588-4E45-B5A4-A6361524D4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e327570d93d61f1d3c8429f31b6c4cb60c1429b6","datavalue":{"value":"state-transition relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q682633$53E41FE9-8E7E-40B6-8147-6224FC3E7A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3397e36c1f77e57677831a54a146b841f6c6eee","datavalue":{"value":"transition functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q682633$B180F59E-4D49-4F6C-AEBE-9639E2283C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d90bc612f1085d9b47f339aa2fd43dc0f4132b","datavalue":{"value":"modal functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q682633$04E292DC-7998-4207-ACD0-F732DA09B117","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":"Q682633$96C1412A-AC28-48B7-9466-45AFE472AD36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2907225918cfb47f33c1f971e0d11406ccc46d6d","datavalue":{"value":"W2591476149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682633$9EBD8086-FBC6-4451-BE7D-532240296645","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c644f6c62dc6290b30aae8305ed949ff29b9d35","datavalue":{"value":{"entity-type":"item","numeric-id":892919,"id":"Q892919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682633$4929FB16-4176-4933-B737-CB943A79CE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0000af6e96a9619ff38094013d865750057e54c","datavalue":{"value":{"entity-type":"item","numeric-id":1775133,"id":"Q1775133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682633$75C55B67-9D5A-4DA7-BA0F-CE2BE1ED403C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409217ce1647c2ba67189b9324c5e54d65cf0dda","datavalue":{"value":{"entity-type":"item","numeric-id":4342094,"id":"Q4342094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682633$90A35E46-DF80-40D8-9E72-79A87F3381C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d14e5ced14fe6ab32d6a3afec935fec75dab54","datavalue":{"value":{"entity-type":"item","numeric-id":2392562,"id":"Q2392562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682633$D2BE5E0A-A7FA-4909-AE3E-2CE5B01EFBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c27e15cdec238bef84b8e1b991c5292ba8aecfb6","datavalue":{"value":{"entity-type":"item","numeric-id":407511,"id":"Q407511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682633$3CCAE96C-1C74-4F0F-8C8F-905489202F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"404041fecb2eda9f70f5ab654c86856e787d97d8","datavalue":{"value":{"entity-type":"item","numeric-id":904480,"id":"Q904480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682633$46A0B0A7-2004-42B6-A94F-035654ED03EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a05c228854581fccb67c618d557fe036a8add3","datavalue":{"value":{"entity-type":"item","numeric-id":2799965,"id":"Q2799965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682633$FED7BFC9-DC5B-44EB-A422-2FABCB3ED021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13cd2fccf826ab42aec752c6dddbf5e9793390fa","datavalue":{"value":{"entity-type":"item","numeric-id":1744694,"id":"Q1744694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682633$B5098072-AFCF-4804-8238-348009EA790B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"880f69e24a8fb6fdac60e81c95a6a352858d522d","datavalue":{"value":{"entity-type":"item","numeric-id":2488275,"id":"Q2488275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682633$85A1DE0F-2279-4327-8544-0F9F7DD8BAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3b5731d8665a1f402aa8ba470cd1f3967c3e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":2996923,"id":"Q2996923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682633$F052981C-1D5E-4E0C-A5E6-4FC246062D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6624a382c6f181d71a20a1557801e77d516837f","datavalue":{"value":{"entity-type":"item","numeric-id":508600,"id":"Q508600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682633$1780949B-6D5A-4A80-B28C-33E5E7FD2386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe6fbd244426263ed0206ddd71fa55f349a57de6","datavalue":{"value":{"entity-type":"item","numeric-id":1147172,"id":"Q1147172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682633$D6B76F3C-2A31-47DD-A0D9-18BE2E6F17C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682633$AA841116-9313-4182-9EE1-A1DF4531DB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2ea96d5280cc156f9302d42079ae1b9b61b053","datavalue":{"value":{"entity-type":"item","numeric-id":632699,"id":"Q632699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682633$DFBA0A4F-4CED-46C6-B0C9-D93EB219E0B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fdef7cef2988c1b830278e3a285758008f82550","datavalue":{"value":"10.1007/S10773-017-3311-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682633$C62C3F77-93E6-4B94-8D68-402FA8DC62FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0691e01ad153cc50160b83f2423447a30f0d6508","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d340c1e9c4e02e27cdd1ac1ce4676e9554b181","datavalue":{"value":{"amount":"+0.7360518574714661","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":"Q682633$89DC4F9C-9203-4AE3-A2CF-B1B35B42873F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"254b90133dfebce9d9c78c0d556e45f61da83c06","datavalue":{"value":{"entity-type":"item","numeric-id":1091387,"id":"Q1091387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d340c1e9c4e02e27cdd1ac1ce4676e9554b181","datavalue":{"value":{"amount":"+0.7360518574714661","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":"Q682633$14E93BD4-0A9E-4650-93E7-034EA0F48FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d397e5cb6278da902586cc56fb917daa19cd105","datavalue":{"value":{"entity-type":"item","numeric-id":3732958,"id":"Q3732958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61bfdb594e09fb537fd3b0d6818f5646c09c6a39","datavalue":{"value":{"amount":"+0.7275708317756653","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":"Q682633$7D31CC14-704D-4DC1-BFD5-42C846718346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5cf9af7c3753ca49859a1990c2ccf9d498a943","datavalue":{"value":{"entity-type":"item","numeric-id":4928449,"id":"Q4928449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb423debea9cd03b1e81e55c6b60211c0972b3b","datavalue":{"value":{"amount":"+0.7209075093269348","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":"Q682633$92566A7C-7FCD-49BF-9D03-4F250E62185E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf11d814a57d0e33247911c9820ab2cc3dee2f8b","datavalue":{"value":{"entity-type":"item","numeric-id":5271051,"id":"Q5271051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee42427f9d273f58480d410c27a80f9ea953a46a","datavalue":{"value":{"amount":"+0.7195977568626404","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":"Q682633$B805B39D-322A-49D1-8D01-02C0F49E7BA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic logic assigned to automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dynamic_logic_assigned_to_automata"}}}}}