{"entities":{"Q2736204":{"pageid":2746943,"ns":120,"title":"Item:Q2736204","lastrevid":79185206,"modified":"2026-05-06T13:20:22Z","type":"item","id":"Q2736204","labels":{"en":{"language":"en","value":"Term-modal logic and quantifier-free dynamic assignment logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1638364"}},"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":"Q2736204$491B4A74-0BA5-4C82-B66F-ADE59A70C05E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43a5982ba08cfc4cb9ae7747bee751b8823ee33e","datavalue":{"value":"0972.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736204$BDFFFC8F-84CD-4539-AFEE-BA830019C23E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"514a7ecd7d5835df1a343141c7ef094d47e91f95","datavalue":{"value":{"entity-type":"item","numeric-id":229753,"id":"Q229753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2736204$DBC6F9DD-8E29-4A4D-89B9-46AB32F1D849","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbe54b189e142f443bd2748281897f2cac285eb6","datavalue":{"value":{"time":"+2001-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2736204$E2CCE280-9848-4309-9279-638F52B2401F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736204$8EE125BA-8396-45DB-896F-E753D74C58A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736204$D04EC2F6-0560-446F-B285-1493005C4470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736204$CA18FA90-5160-43E3-A80A-4343D3BE70AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736204$D1450092-89B4-41CE-B755-EA2D2F8BA03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736204$AF5E4322-1E33-444D-A780-FDA1524D5834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736204$2D26754E-EF6B-45A2-9780-050018762E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736204$274E8F4C-0059-47BE-A52D-7C2F871C3BB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a79d5539e61fc28e6299c084619ddfa63d771365","datavalue":{"value":"1638364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2736204$2C1C79C1-9C1B-48F2-8BA3-C066E334DEC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4651b4c27aa0d22e34c23cf45a8f0b130b4e4399","datavalue":{"value":"reasoning about multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736204$79FFFAC5-F1C4-4E7B-8BC0-D0BFA5910186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29fa0b7b618c102f422f480fc265f09074913605","datavalue":{"value":"term-modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736204$077A7AFF-2C09-4613-B189-D2460BCCA11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736204$085DAF04-3772-4D7F-A108-6663F21ADF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0179c11b620ab3d836a73c4e6e82bf8a434c8240","datavalue":{"value":"possible worlds semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736204$0E1497B2-8D24-4351-87C8-3D5FD650FF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c8d000346f246bb7bc36d022c6c3d20fac997c8","datavalue":{"value":"information updating","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736204$8662CCDB-1824-4A3C-90BC-5CF554F3131A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2736204$B065C541-01B2-4369-B946-44AFEA8A63F6","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":"Q2736204$353BD17F-A83F-4246-B918-EDD291D3341D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2db59639ba0fce6fd5287811c176ebdaa6a27f40","datavalue":{"value":{"text":"Term-modal logic and quantifier-free dynamic assignment logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2736204$8B70D560-8210-4490-ABC1-A244B8C0F6F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2e6344150437f2a332be39fad71f27ae462371","datavalue":{"value":{"entity-type":"item","numeric-id":2721198,"id":"Q2721198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493ecf2f776c53ec792291d8d227328615008c56","datavalue":{"value":{"amount":"+0.8858288526535034","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":"Q2736204$1A230384-DD1C-41F3-A5FA-4F2B70F26E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebb638adc3dd24baaf5bebd588c7d4ac869a9a8","datavalue":{"value":{"entity-type":"item","numeric-id":4632321,"id":"Q4632321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493ecf2f776c53ec792291d8d227328615008c56","datavalue":{"value":{"amount":"+0.8858288526535034","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":"Q2736204$2CECBB1A-1357-43BB-8596-E5000CB2B950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abe47fca2f03c3ecc9893f9e8ad2188aa1897bd","datavalue":{"value":{"entity-type":"item","numeric-id":5955624,"id":"Q5955624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd63d010f0aceea25aab018caf5e90639c14efa","datavalue":{"value":{"amount":"+0.8853259682655334","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":"Q2736204$52F8B112-A64A-4E21-8BD4-3C505370A59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96001cc2a6171f9c36554272d41877ac0ea5f6b0","datavalue":{"value":{"entity-type":"item","numeric-id":4518805,"id":"Q4518805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd63d010f0aceea25aab018caf5e90639c14efa","datavalue":{"value":{"amount":"+0.8853259682655334","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":"Q2736204$C54940EF-3981-4D9D-A5CE-630249CAC3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d03571aa9a2a45d545579db9ac057522d9a85e","datavalue":{"value":{"entity-type":"item","numeric-id":2001365,"id":"Q2001365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e94bfd1d34d945ae4a3dcf66ef7ab75a6732cc7","datavalue":{"value":{"amount":"+0.7602173089981079","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":"Q2736204$1C7B5CE6-D99A-420E-8970-087C37307609","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Term-modal logic and quantifier-free dynamic assignment logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Term-modal_logic_and_quantifier-free_dynamic_assignment_logic"}}}}}