{"entities":{"Q1090675":{"pageid":1101427,"ns":120,"title":"Item:Q1090675","lastrevid":66430893,"modified":"2026-04-12T10:02:14Z","type":"item","id":"Q1090675","labels":{"en":{"language":"en","value":"Automata-theoretic techniques for modal logics of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4008370"}},"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":"Q1090675$FA178B99-FA24-472F-900D-9A48549B7953","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f152f82c94dce69c66551953edc6d6ccab692898","datavalue":{"value":{"text":"Automata-theoretic techniques for modal logics of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1090675$10E81EAA-5BC5-426F-9BB1-12FAC0703C40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee49f0ff90770ec66bc6d0085113077ced1a2cf2","datavalue":{"value":"0622.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090675$DEB2D5AD-BAB7-47C0-AE92-BCB7E603248D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"959e6aea6cac4ff687c91147cc8ac7e7d10a8f72","datavalue":{"value":"10.1016/0022-0000(86)90026-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090675$98E1545B-FEAC-400B-8A72-E3EC252C8FA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$D6BE1C56-E16B-4C7B-9010-72311450970F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebafce9516d4c14b715c69adea30ca40313f766f","datavalue":{"value":{"entity-type":"item","numeric-id":930284,"id":"Q930284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$0A549B28-D611-4D2D-8C18-5EA54B55E7EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$96162E11-C319-4810-A21C-4B8B76880C0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1090675$D6CC0F44-97BB-477E-986B-EE17EA6B2E84","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e61b67db1f7728d809c266ea6d900f61aa9ee368","datavalue":{"value":"The authors introduce a new type of automata, called subtree automata, in order to simplify \\textit{M. O. Rabin}'s [Math. Logic Found. Set Theory, Proc. Int. Colloq., Jerusalem 1968, 1-23 (1970; Zbl 0214.022)] reduction of the satisfiability problem for logics to the emptiness problem for special automata, which the authors prefer to call B\u00fcchi automata in honor of \\textit{J. R. B\u00fcchi} [Logic, Method. Philos. Sci., Proc. 1960 Int. Congr., 1-11 (1962; Zbl 0147.251)]. The emptiness of subtree automata can be checked in polynomial time and the reduction establishes the desired exponential upper bound for satisfiability. This unifying technique is applied to the following three logics: (1) ADPDL (deterministic PDL of flowcharts), (2) the extension of ADPDL with the loop construct, (3) the extension of ADPDL with the converse construct.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090675$A0E919EB-E8A5-4BCB-85E1-A414FB2F9B78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090675$868CC23D-1754-4021-9B8D-07FD4A06FC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090675$70C1D2EF-774C-4F7B-BE72-FA8B7DC89421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090675$13B3A91B-4188-4540-83E0-6295DCFCB567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090675$94750F61-B76D-41DE-A6BD-903D421ABCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090675$F797C663-6A6A-4F23-8461-792D2EA6E640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090675$848DEEA9-6BD9-464A-A5E6-B0B318F925CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cca4fc5813263dcd8e6cd16c5e7697989e0b4096","datavalue":{"value":"4008370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090675$089359E7-9C85-4E5A-9EA7-E2F1F24339D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090675$788C13A8-7E2A-44A6-8A48-0F035E18F699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aaa143df46b6126d28e20aae81e4f8ad4a5bc0e","datavalue":{"value":"exponential decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090675$61FCE940-4EA2-4392-903B-96A66106B4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb4c5df3cf0b8ea0349348a515366bf283ce161e","datavalue":{"value":"subtree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090675$B20D201F-6870-47A3-ADB2-D60C8A8D0DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65a7cf4ee1e241cb9b018d8cf7d323fc0b38b624","datavalue":{"value":"satisfiability problem for logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090675$74B7D5ED-D22C-4C41-8756-EA52F4A103F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecf03533ca72f74267b03815aeb4d6c555243911","datavalue":{"value":"emptiness problem for special automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090675$3F8B9D01-BE93-4F6D-BA88-4D84FB589826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090675$F26079C4-DFDF-4B21-8190-5F440B41B05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fea406e90182e54bb06872dd7c3f038f8c61a732","datavalue":{"value":"deterministic PDL of flowcharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090675$57C7EABB-F7F0-49A6-A5F1-DA7C45D78386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20f76c2a57444b903cc612f745784b557cc3969","datavalue":{"value":"loop construct","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090675$19B8DEC6-9645-4DF9-86E8-021DF92F2454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"534578e159957820b58e263ea95b2ce89d7ac1cd","datavalue":{"value":"converse construct","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090675$D8FD6D7C-FBD7-43E6-B91E-65C7FEF1EE48","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$ED8CD2A4-CCFC-4EB1-9279-D670777455F2","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":"Q1090675$80D33D13-989A-47E5-81D5-13573FD3BE88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1efd6d3702882fc76d4164534d631b8e53ddf240","datavalue":{"value":"https://doi.org/10.1016/0022-0000(86)90026-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1090675$2153A7D9-12C5-40DC-A962-DF521F7DE244","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2cd05311d30632bc1c1c84bcf42055c4b638e86","datavalue":{"value":"W2033071128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090675$2F7051EE-7399-47DA-AEED-61A1E1CDBDF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad21928bd542446f4dab874e018db82a98381684","datavalue":{"value":{"entity-type":"item","numeric-id":1839245,"id":"Q1839245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$AFB70FF8-A391-4E6B-BA89-6225DE945585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf4dae9a78ba0faf4348899879d3cffee2a4636","datavalue":{"value":{"entity-type":"item","numeric-id":5618355,"id":"Q5618355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$7D4C2436-B4BF-4502-A22D-66BC6E7E794D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$DE45D738-DAFA-41E5-AFD0-66BC11925677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$5D02706E-D342-4C7A-9871-B70D040EEC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$E8895E75-0BE1-4D97-8141-4B24067478C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b82f9b29fdf1d516bb2cc7fb83ab9fb762475b","datavalue":{"value":{"entity-type":"item","numeric-id":1245214,"id":"Q1245214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$FCBE00CE-6C73-44F9-B096-A23087EA5067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5424d14c8c3a99b3f5000ef15e220f74093d0106","datavalue":{"value":{"entity-type":"item","numeric-id":3734373,"id":"Q3734373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$99015CBE-C509-40B3-B3DE-D3D870358B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2e42970de8038f5622a20cabcab9dceef04e50","datavalue":{"value":{"entity-type":"item","numeric-id":3327707,"id":"Q3327707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$CFD48C1B-F4B9-40FE-A1E9-DD538EE7B112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49bedc120937d2ca2c0da20fbb588f395782764","datavalue":{"value":{"entity-type":"item","numeric-id":3318101,"id":"Q3318101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$9E1C2654-0654-4983-931F-ECBEC4615F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373c65ef4069b52a23fe230e08a271e32f56a00a","datavalue":{"value":{"entity-type":"item","numeric-id":1235982,"id":"Q1235982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$79962209-0789-495F-8884-AB00BEC3A493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12ce99e75f00697efa1f5f9afd862b773370cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1147690,"id":"Q1147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$EB928F64-6760-4814-8893-EFD86739907B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b82a19190ac54ccd87a58918a70a29fe1833a9e","datavalue":{"value":{"entity-type":"item","numeric-id":4090322,"id":"Q4090322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$4C21EEC4-DA73-425C-9805-8EE519C92818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$745904BC-FF68-4D83-8813-3F578F95D3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d5f7fdd407b024c3b8e20cb24651ffce7db825","datavalue":{"value":{"entity-type":"item","numeric-id":1134756,"id":"Q1134756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$D21A17F4-3DF0-455E-B576-7A917A02A0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"856fa123dbdb98ef62ecff7e9dcf6388514f3caf","datavalue":{"value":{"entity-type":"item","numeric-id":3953158,"id":"Q3953158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$74936948-B884-4650-A6D7-5EE86717790A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$E34B2A5F-7D7F-4970-AE12-367DAFB4FC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300e1e7990d1f1904b1034a2731e332147efe257","datavalue":{"value":{"entity-type":"item","numeric-id":5616162,"id":"Q5616162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$15A9FF20-D85A-477D-87A4-8E70953E5123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75292f6880dd3275361618ebb07df15f46377e02","datavalue":{"value":{"entity-type":"item","numeric-id":4074888,"id":"Q4074888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$950D541A-63E4-40BD-ACF7-A620064C475F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d998f10dbe733ce0c4fe3996b622c39d39adbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3662639,"id":"Q3662639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$5F734F30-E325-49F4-B192-38D175A92DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090675$3B5A28FF-B1EA-40CC-A4AD-F904A9B904BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1990bcd9d5aabd531305be39c8d07738991a6c","datavalue":{"value":{"entity-type":"item","numeric-id":4268874,"id":"Q4268874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb2bd2aef16344d8177ed99b50cca69a0aab4a47","datavalue":{"value":{"amount":"+0.8368375897407532","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":"Q1090675$2F0A5571-6349-444C-AA8D-7AD22E2D3220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5edbcff0b9189e5c5e75519fa1a2b15c41e7bae8","datavalue":{"value":{"entity-type":"item","numeric-id":3496327,"id":"Q3496327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d607b367a261cf81eb35c050508414f689ae3b94","datavalue":{"value":{"amount":"+0.8225803971290588","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":"Q1090675$675100FD-9C3B-4CC9-B686-380ABA4C9F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45a63a94db310200716c8c1631f52e03f111653","datavalue":{"value":{"entity-type":"item","numeric-id":3086936,"id":"Q3086936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58fbf0bf54a700e3b390caa8cf0e49308fd209c9","datavalue":{"value":{"amount":"+0.8185493350028992","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":"Q1090675$01005BA0-C41F-4B5C-AC16-8691FE6B4CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa8bcf4a6e5e5c47d8f56333094c825f8422521","datavalue":{"value":{"entity-type":"item","numeric-id":3739111,"id":"Q3739111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa44a88dc07cff64713a5e5a6e193c8b52aa5a1","datavalue":{"value":{"amount":"+0.7858694791793823","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":"Q1090675$C5C985CC-4865-4C30-92B2-61160F1DA707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6ed82a4e071cebe633b229977f5f8f7434700f","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"648cf9c81039fcd1b43252385a43fd4e8d2be674","datavalue":{"value":{"amount":"+0.7808170914649963","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":"Q1090675$8152878D-8017-4A26-8E7A-D6977A7890E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata-theoretic techniques for modal logics of programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automata-theoretic_techniques_for_modal_logics_of_programs"}}}}}