{"entities":{"Q5202984":{"pageid":7232555,"ns":120,"title":"Item:Q5202984","lastrevid":41753805,"modified":"2025-05-07T23:34:25Z","type":"item","id":"Q5202984","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197949"}},"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":"Q5202984$CC9509A4-D199-4EA0-BC0C-760E3DD71144","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db6b9dae67d9bd89a14289cfee46ac5be4f72845","datavalue":{"value":"0726.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202984$6FC5BC1E-DF74-4072-9E34-5CA9DF54139A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c87b5aca574eeb1372d986f8806fd69f2d77ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1245696,"id":"Q1245696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202984$01FD925D-D79E-427C-8A22-C7A86AD99F1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q5202984$4515E4AD-1BD2-4E32-A22F-F1B81B81AAED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202984$80C0A318-38D0-4578-9333-C882B8FAE57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202984$2A351E65-006A-4C4B-B853-CD42965E4D24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5eeae36556cf949a028ea21ae3b1500e79a38822","datavalue":{"value":"4197949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202984$2981C31E-782B-4E82-9AFA-70D1EA81DD66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82ffb3dfccceb9df4f1d76a3280fbd1d8f51c30d","datavalue":{"value":"invertible calculi for propositional dynamic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202984$E17511DA-F1AD-4BA3-BC69-BB2F78821478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a090f21e4882c196bf408698346147b2264ad0e","datavalue":{"value":"totally star-free propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202984$B43247CE-025E-4CC6-B64B-568CC5378939","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":"Q5202984$C259BC2E-D28B-43B0-9A64-608090FCBFBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c9f30beb64bf4ab056b59a87e6a6149bae2826","datavalue":{"value":{"entity-type":"item","numeric-id":3689162,"id":"Q3689162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b508c9ed224dee6c20ebd680258e1716446bc5c","datavalue":{"value":{"amount":"+0.8956211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5202984$6AEE9129-69DA-46BB-9B27-61703AB6260A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455e93c0234e2f11e5c2b39635dedfa21673d905","datavalue":{"value":{"entity-type":"item","numeric-id":6171324,"id":"Q6171324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"538d424a8dfbdfb7b33bd3ee2f893282af3cefbb","datavalue":{"value":{"amount":"+0.89056504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5202984$FE667955-9388-424D-AF1E-1CA6A977CD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"104289d0a5e2f8cef3efb438e479e2bebfd4e95e","datavalue":{"value":{"entity-type":"item","numeric-id":2151411,"id":"Q2151411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f039f3f8a42b0f10feae24e19e978ba57da36f08","datavalue":{"value":{"amount":"+0.8869854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5202984$4C01AFEA-5BE8-4227-828E-3A7E09FF58C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079684752b1943f1aee76a1343d5eb0e709eae7a","datavalue":{"value":{"entity-type":"item","numeric-id":4647551,"id":"Q4647551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b581f0be6b6fce9a834481aaee34da7ab4af02a","datavalue":{"value":{"amount":"+0.88448966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5202984$673B1A72-472D-4119-B281-05C54DFDEEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d449e330b67c1db762bef7ef8feb887512bf38aa","datavalue":{"value":{"entity-type":"item","numeric-id":965900,"id":"Q965900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a6b9cb1418eba42f1d1810b6fc43bb0cd73b6e","datavalue":{"value":{"amount":"+0.88206154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5202984$64E153AB-EFCD-44AD-B54F-0C86F1D4C253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133a05bb46988892d52757233f280a5aa5d3a954","datavalue":{"value":{"entity-type":"item","numeric-id":3735691,"id":"Q3735691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d93b3c06a36e25949f17166491fb47c8486b1396","datavalue":{"value":{"amount":"+0.8793024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5202984$082640B7-8CCA-4C2D-AC9E-027A41AA6E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3858961c8d4f61b37623ce25c4266f40dc59db85","datavalue":{"value":{"entity-type":"item","numeric-id":2151417,"id":"Q2151417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19ec51bf6a1d01499335724876cf70cd7f0bbe53","datavalue":{"value":{"amount":"+0.877711","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5202984$B73044D0-3CD8-4CAA-8436-9E4E51F09DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f7991ed3bc4de9741db596d9dbad8440a019c2","datavalue":{"value":{"entity-type":"item","numeric-id":3149166,"id":"Q3149166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d778634b95709553e70c2cfb7963e0f7aff04073","datavalue":{"value":{"amount":"+0.8773467","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5202984$BD8C2FAE-8D38-4A1F-8396-202558CEB87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b3111f8ca731ea643542073f2a6b8290885389","datavalue":{"value":{"entity-type":"item","numeric-id":5437872,"id":"Q5437872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f625ed415cd07cc6dddcbd9daab997b5cce3f564","datavalue":{"value":{"amount":"+0.8771369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5202984$FA248F16-9062-47F1-9012-40DCDD8A1EA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5202984","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5202984"}}}}}