{"entities":{"Q5202997":{"pageid":7232568,"ns":120,"title":"Item:Q5202997","lastrevid":49490380,"modified":"2026-01-07T07:17:02Z","type":"item","id":"Q5202997","labels":{"en":{"language":"en","value":"Dynamic predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197968"}},"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":"Q5202997$3A1DBD15-0BA9-490C-BF1E-5B8AD3D1A940","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9d50286d4fa51b38119067d97c2d6921bcdb22d","datavalue":{"value":{"text":"Dynamic predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5202997$FEDD5DA4-2C05-4B7E-8778-A406190B18D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d31798dfa96d564ae9bda0c91c22cead3733a133","datavalue":{"value":"0726.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202997$9AE0C74F-5BD3-4355-9F69-BC61362DAD72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f623f711d6b0337a7367c7a43bf80dc6c6fffcb","datavalue":{"value":"10.1007/BF00628304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202997$266B1D63-5192-4F6C-A397-4F1C7C45C79A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4b7c02046570cc90d5b9701b74b8336516f1b65","datavalue":{"value":{"entity-type":"item","numeric-id":514590,"id":"Q514590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202997$18CD2580-EEED-4429-BBF2-9E1A096BCA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1b370fb6469382e8a0fe99553825818b4f53dfb","datavalue":{"value":{"entity-type":"item","numeric-id":3367304,"id":"Q3367304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202997$242B9102-2CF0-48A8-864D-1C3C0269A320","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"09d7173c444a62b35fa8c5e5b8d5931ba55e3405","datavalue":{"value":{"entity-type":"item","numeric-id":3039322,"id":"Q3039322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202997$49747B02-23D3-4B9D-9D78-36E122AC63C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q5202997$29E74485-C056-4DDA-846E-42B2AE907361","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202997$A7ED32F4-CA4F-46AB-99D8-E46089CE9B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202997$D43712E9-E3A0-435A-8182-F6C2BF9664F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fcc40c000d2d267ae70e04ad11a85644de19166","datavalue":{"value":"4197968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202997$74334E79-D471-4B0A-9EEC-ACB1E48AD527","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89b44d78edadaf7927d491165f7cb58bc78ac96f","datavalue":{"value":"scope","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202997$F39CC1CB-85CA-4F0A-8721-88FD036611AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485b5d8dcb1e5e2117f9c842ebd45e3b711a0a49","datavalue":{"value":"anaphora","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202997$A1D19401-13F9-41C3-8A8A-5430DDA4C9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65d618ef64e221fc5c0404ae2f88ef0f7f0fa056","datavalue":{"value":"semantics for first-order predicate formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202997$36C64941-EDDD-4472-BB39-C8C3C384563B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"480044c4de8e33739d9a4e6c7c05e6d653f1468d","datavalue":{"value":"dynamic interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202997$6E137351-E305-45F1-AAED-165B5DF45EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d18d275f73d53eb7f3dee56adc1561f0784f8ddd","datavalue":{"value":"discourse representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202997$C50B3676-2518-4AEE-824F-235D00240DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202997$E04147D6-FBB5-4136-B9BC-A75B891F0532","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":"Q5202997$6CC33F6A-C8DA-4337-8CF8-04B8D19E08F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fe3c632b25c63283b1d7beaf3b44d5aa69fad4","datavalue":{"value":{"entity-type":"item","numeric-id":3211283,"id":"Q3211283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202997$B984C667-7ACD-4B4C-84AD-4106849620FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43ca84f7aa53b5e71e8f370677fd5783a21ad679","datavalue":{"value":{"entity-type":"item","numeric-id":4287487,"id":"Q4287487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202997$A83E4DBA-9299-4A5E-9E2B-3897D4C52069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202997$60D85B82-749D-4041-ABA4-5903B8C79C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c838845839e461adece43560765b1867254bcd","datavalue":{"value":{"entity-type":"item","numeric-id":3741611,"id":"Q3741611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202997$B8E61535-A972-4F03-95FA-64AD0DE1EC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97e92bc1fb4f82e36632de3cce1ad768bdc914e","datavalue":{"value":{"entity-type":"item","numeric-id":4081200,"id":"Q4081200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202997$9C26D8A5-0521-469F-9130-35B6DE9E8F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd366651bababc746499cd6c6063100deaba12d7","datavalue":{"value":{"entity-type":"item","numeric-id":3211285,"id":"Q3211285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202997$9FF9F876-38CD-4013-ACF7-5225DF2090B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ac39a6caaaa285ff37fedb54eac5dd502e76192","datavalue":{"value":"https://doi.org/10.1007/bf00628304","type":"string"},"datatype":"url"},"type":"statement","id":"Q5202997$EAA438A9-82A3-4FC7-87FE-B6C020AB9B59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"777b4b3f4b07e5e06259d7e56825ffb28f32fce5","datavalue":{"value":"W2071089353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202997$FE1B7386-1BB3-449F-B90C-8B4C19A9B7C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2475c8005a2b7895de3411561e49a2e02e27bf6a","datavalue":{"value":{"entity-type":"item","numeric-id":1314278,"id":"Q1314278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b2b09e5a030198cf437b600ebfb872240c0350","datavalue":{"value":{"amount":"+0.8298620581626892","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":"Q5202997$512137E5-337D-43ED-9F4F-0B33058610F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a22942dde321dea210939ea6f30dffb86b08770","datavalue":{"value":{"entity-type":"item","numeric-id":4895894,"id":"Q4895894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042975b955f4cee10349a0f877acdfb797c1b4b3","datavalue":{"value":{"amount":"+0.8133248686790466","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":"Q5202997$475209D8-A36E-4456-AA4F-E965AF6DF102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cec4d61acb86aedec3b5b570e9e1ef8e0664dfc5","datavalue":{"value":{"entity-type":"item","numeric-id":5939955,"id":"Q5939955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042975b955f4cee10349a0f877acdfb797c1b4b3","datavalue":{"value":{"amount":"+0.8133248686790466","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":"Q5202997$E07470AF-0D56-4E3A-B48E-2F97F0900CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3976fb038fb34511f9aef92336174165bd3e5db0","datavalue":{"value":{"entity-type":"item","numeric-id":1384001,"id":"Q1384001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db4ccb7035272018c437d16e151ad27e622438f","datavalue":{"value":{"amount":"+0.8066431879997253","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":"Q5202997$D92B863B-E6CA-471D-A38C-F89A33C85EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db28630bbc0ddd77806980b6721317862896fa1","datavalue":{"value":{"entity-type":"item","numeric-id":435156,"id":"Q435156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6c0efb2a2f9859fe61822476e4f02a8afaf3e63","datavalue":{"value":{"amount":"+0.791297197341919","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":"Q5202997$68037F6A-DF3B-4CA3-8429-ACDFA62902C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5202997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5202997"}}}}}