{"entities":{"Q3718149":{"pageid":5748055,"ns":120,"title":"Item:Q3718149","lastrevid":50681369,"modified":"2026-01-14T19:10:55Z","type":"item","id":"Q3718149","labels":{"en":{"language":"en","value":"On static logics, dynamic logics, and complexity classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3947620"}},"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":"Q3718149$4570D0CA-077A-485C-875A-B91976BA656D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cdded99a1c5b0e0345712cf57225bb449b66292","datavalue":{"value":{"text":"On static logics, dynamic logics, and complexity classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3718149$B59EF73D-87C3-4EB8-A61D-6F4BE226FD65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b67798f5870522fea836054c08ab8c40701a20ac","datavalue":{"value":"0589.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718149$EFD80B65-B81B-45C8-A851-C3108363CA8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3f7620595806ab54f03b598e8f9a20df50107e1","datavalue":{"value":"10.1016/S0019-9958(84)80023-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718149$6BC8C0A1-FB84-4CA0-A33F-8752B87BB57F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d86d555bd6cd1001c3d6ecad72fc1ab67c5fdce1","datavalue":{"value":{"entity-type":"item","numeric-id":209473,"id":"Q209473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3718149$DF5BCD74-66E5-48A3-823F-2CC3FBD80F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27618d3afb5e8d09bd379eb0df3ccd8566897b24","datavalue":{"value":{"entity-type":"item","numeric-id":244948,"id":"Q244948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3718149$08085EE1-196B-41C5-ADA7-53B5FADA5218","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3718149$60847F7D-A2D8-4735-824B-3118DFEE0A89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3718149$2D993FB2-D645-482E-A66E-7165A9A11F01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718149$13C37C16-2A70-4320-A8AC-CF357041A22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718149$1218515B-046A-4D7C-A5E7-FECC49A4769A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718149$28C2AC67-DD42-4BD8-B628-D1C78361EEE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718149$F02F0976-2297-4A14-A959-BAF60E59A874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718149$43B7F5B4-7A74-4E35-9ECE-26CEE50F9B09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a353ca837d6d50146ab06acf18b915ce196079bd","datavalue":{"value":"3947620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718149$437C388F-40B7-4C9D-AEC0-41C4ABE10964","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19cf93326a9d281d63792c5b44443a15d8c86da3","datavalue":{"value":"quantified dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718149$7F906D59-1C71-4592-A502-0F4BFD697A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718149$DCF98466-588B-437D-BFF7-2D00CE65A414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fa56f4d78c8fc0cb898e5c2d195e9efb04ec91d","datavalue":{"value":"LOGSPACE","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718149$0AADEAF4-ADD4-41DE-8CEF-26CC6CCE1146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0864d9863a6b0c9bc5b2959d934a4f37fee1b7","datavalue":{"value":"PTIME","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718149$573656D3-E745-4C73-AABE-A9AE4DD89F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c107bb63de79565718d188b33fcc483957cfdd","datavalue":{"value":"PSPACE","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718149$183DFD41-8949-452D-B036-2CFA9D992C27","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":"Q3718149$283BF629-C44A-48CE-8B64-D034BA732523","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea655080c35a31d839d17c9bcb28d0fd4e95d5a","datavalue":{"value":{"entity-type":"item","numeric-id":3203003,"id":"Q3203003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1768d4c1cde84e698d232e4fcc7a80c7cfd2f4","datavalue":{"value":{"amount":"+0.8010096549987793","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":"Q3718149$D8709A21-E370-49EE-8135-0EE2FD6FF239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f3c9bd0ee2893a55af34a624f65f4cc9b88948f","datavalue":{"value":{"entity-type":"item","numeric-id":791517,"id":"Q791517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dee444ed94d8d84e941cb6fb6837466a5aa6253","datavalue":{"value":{"amount":"+0.793336808681488","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":"Q3718149$D366B785-0990-4857-9EAB-3636B98699EF","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":"1fcd62f1172a6baee297dcb0edfa5092edc71bc9","datavalue":{"value":{"amount":"+0.786630392074585","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":"Q3718149$5BB2B1AE-77FB-4CE9-9BBB-204951180276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f57dd83d992fd0761fe9d47477b9fe8c5a3bdd","datavalue":{"value":{"entity-type":"item","numeric-id":3835442,"id":"Q3835442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc1e0fecf4c27c4871d0ddb772cb956b26db7b1c","datavalue":{"value":{"amount":"+0.7829627394676208","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":"Q3718149$A57B2D0E-0336-4575-94FA-A4FD2359CE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4feaf3e934550e5c5d086c51179bfdf0cde50c6b","datavalue":{"value":{"entity-type":"item","numeric-id":5415640,"id":"Q5415640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"364a1ed9b58b3cac511053704e162a5b147773aa","datavalue":{"value":{"amount":"+0.7806954979896545","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":"Q3718149$55693D4B-1D75-4FC8-AE67-0414894BC163","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3718149","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3718149"}}}}}