{"entities":{"Q2851264":{"pageid":2861984,"ns":120,"title":"Item:Q2851264","lastrevid":51841562,"modified":"2026-01-20T07:41:31Z","type":"item","id":"Q2851264","labels":{"en":{"language":"en","value":"Combining equilibrium logic and dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6214670"}},"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":"Q2851264$B9B97671-9B45-42B6-B80E-A735F2AD17EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b93f64c2ff47a52a518345af595d7b1196e0b88","datavalue":{"value":{"text":"Combining Equilibrium Logic and Dynamic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851264$A7D7DDC9-E652-4B67-877A-B100AB8229AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"899bb301b318650acf8fe23a3f17fc266f15170b","datavalue":{"value":"1405.68352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851264$3AD32D32-598A-4AB0-9D1F-6CCF41E739E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6648b975909cab1d195fcd3c64cd6187a540846","datavalue":{"value":"10.1007/978-3-642-40564-8_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851264$8DFC2F59-5A83-491A-BCA6-882FD833E2FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5d81225bab06711ff25835b9a7685484694bbb1","datavalue":{"value":{"entity-type":"item","numeric-id":266879,"id":"Q266879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851264$560667FC-6EBE-44B2-ABC9-020553A74D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb34c0f0dfb2eb4c6f3a6a5df96c0159936e52c2","datavalue":{"value":{"entity-type":"item","numeric-id":302221,"id":"Q302221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851264$11EFF38B-0E1F-45A0-BCE1-153C47B20674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ee6c4f8dab76d514f2fd92182736bd861c1d65b","datavalue":{"value":{"entity-type":"item","numeric-id":2296748,"id":"Q2296748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851264$D39211D2-512C-455F-B657-72FE9BEBD698","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51a68d4cc2fc48fe2102403b77e8fce99df4def2","datavalue":{"value":{"entity-type":"item","numeric-id":2851222,"id":"Q2851222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851264$3D065E26-F8BE-4D3C-BBB9-E59D56F15895","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b924bdcab1a805ec7a84a6d050c0c2e1a9ae3ca5","datavalue":{"value":{"time":"+2013-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851264$A0138CB2-426B-4D62-B7EC-C1526548225F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851264$C531502B-D2DE-46DF-A192-639C66D01FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851264$26D4E80C-6A3C-4C91-A224-BDC43E6EE23D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a8a8190a54579b12c6c991ed59be103194fafd4","datavalue":{"value":"6214670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851264$2385CE70-81C1-404B-96D2-3D52256D0D43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a9b2dcf8b3a0f429e2af80d5de714d45efbb","datavalue":{"value":"answer-set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851264$BFB92A59-DCD9-40AE-9330-C84F5FB7581A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1e06cda10124e251dd03269953d7c6fd3862104","datavalue":{"value":"here-and-there logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851264$85CEA8FB-805D-49AE-94BA-0568D7922911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9ac413f5aa94c5b7e7fdc90244795870badd09b","datavalue":{"value":"equilibrium logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851264$80AF7A79-CA4C-4A67-8084-5A6F9308E919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851264$DC64CE89-F38E-44FD-BF15-199C67A8F9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dedb3d225474df7deb38f1d81ee39ca754a42bd","datavalue":{"value":"dynamic logic of propositional assignments","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851264$AD430EA4-6B0A-45E9-A19C-54ABB9109B86","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":"Q2851264$0C0CC290-1D3B-408D-972D-FEBC34CD0887","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1e2673415aaab82b14a3492375bee44af00510b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40564-8_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851264$342D172B-F2BB-4EDB-B539-830A2A182121","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef6087219142ee931b4e0ec9cf05c46e3ff6f745","datavalue":{"value":"W2280951085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851264$FDE8963B-B3E3-4772-9A31-6ED9E4598080","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa64ebba9063485d2b47778fce9b0b7f02f5e53f","datavalue":{"value":{"entity-type":"item","numeric-id":3172888,"id":"Q3172888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bd5b73801ca8039e32adcb73ee18ad73cfef0a4","datavalue":{"value":{"amount":"+0.8129780292510986","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":"Q2851264$72217FE4-219B-4E75-959D-C4EA4C0EF296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76da20b75be59cb30ec893d99afa717830d76e9d","datavalue":{"value":{"entity-type":"item","numeric-id":2447178,"id":"Q2447178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a02c3a8715acf752db22cf485d312712c40239c4","datavalue":{"value":{"amount":"+0.8022778630256653","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":"Q2851264$B6DAF881-FC4C-4A12-B167-7ACCAF8E7296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f6b9dd9780ca8ce6dd69c09db06aed1bdc778c5","datavalue":{"value":{"entity-type":"item","numeric-id":854969,"id":"Q854969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6a0c86dec8a3031519cdf03c81e48b462669b32","datavalue":{"value":{"amount":"+0.7986936569213867","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":"Q2851264$9A077AAD-67A1-4DCF-92D8-C54E6ADBFA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df7b0fbc6f6db4b0f6c6b5316ab9e77f799ee6eb","datavalue":{"value":{"entity-type":"item","numeric-id":3112653,"id":"Q3112653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9cab90450039989afe7daac56ce29225652e63","datavalue":{"value":{"amount":"+0.7986575365066528","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":"Q2851264$38A4A728-445A-483D-B4B8-EE2344AE79CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac9def07adecd4f3f96c038cd5d31521a274c4bf","datavalue":{"value":{"entity-type":"item","numeric-id":2767096,"id":"Q2767096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c1bf2a64cf50d3b0e5a9a0e4ec063d65fe67ee","datavalue":{"value":{"amount":"+0.7985536456108093","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":"Q2851264$5B6F11D0-6431-452D-9D95-5D8931514BD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851264"}}}}}