{"entities":{"Q5354811":{"pageid":7384386,"ns":120,"title":"Item:Q5354811","lastrevid":41734322,"modified":"2025-05-07T17:27:53Z","type":"item","id":"Q5354811","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6769444"}},"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":"Q5354811$65DE2E32-A816-4829-BDA4-F4123E005D26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3b9a1557ae6121a9b858f42a7c9a02a63b98ee5","datavalue":{"value":"1383.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5354811$25E37266-E6BB-4931-922C-3FF6109CD6E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09805c4574013ec5efe52d1a718be5de2476fee3","datavalue":{"value":{"entity-type":"item","numeric-id":777890,"id":"Q777890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5354811$14ED8F39-DE6C-46EA-8444-003F2F230EE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8cd92d668d0d9ccfee92ba50b458c9ee84248f97","datavalue":{"value":{"time":"+2017-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5354811$7602FB10-F35F-4E91-9493-3AFE750AA40E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5354811$8E09B761-E101-406E-A62A-F8EA3A496737","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a977c194cf6f26bc1e124ce735eda5a1a9dabf26","datavalue":{"value":"6769444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5354811$B2AD3938-D143-48FF-BDBF-338EDDB20FEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79ad661c6e9e02c2554583932870f63f80163820","datavalue":{"value":"action","type":"string"},"datatype":"string"},"type":"statement","id":"Q5354811$629BDEE2-E0A7-471F-A83A-9235B006ADAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5354811$3079C04E-B6AD-412C-BB67-85E999BE4DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5354811$4EB5D491-F115-44C9-B275-52587A399DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89c7328779089ae42ff29d1b210d89388ee596f4","datavalue":{"value":"sub-structural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5354811$A2471398-2606-4A37-B20E-44489DCFD480","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":"Q5354811$EE08B17A-F528-404F-A74D-872DCDCF6F35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de2cb9e5d3a4d69cebe43d79445a1c4de7b60788","datavalue":{"value":{"entity-type":"item","numeric-id":5465435,"id":"Q5465435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcfa2feb2bd2fff2eafac24452c0efc1a7304aa6","datavalue":{"value":{"amount":"+0.8746322","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":"Q5354811$5BC07FD4-E126-4DCB-92FD-E61E5C4EEB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37cab58f532447187de94e43b4b683a575e7e60a","datavalue":{"value":{"entity-type":"item","numeric-id":4708931,"id":"Q4708931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c866e7ae3cb416d30a43575ea9080b0483ff7e7e","datavalue":{"value":{"amount":"+0.8733942","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":"Q5354811$B50C255D-1F7A-4443-922F-B3B962C281F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674a6abfe93f6fb80b996e14bb05bd4bdd8842a","datavalue":{"value":{"entity-type":"item","numeric-id":4511320,"id":"Q4511320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5155e5ed43e74c775b0c3e0a09bbb0780907fa20","datavalue":{"value":{"amount":"+0.87228996","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":"Q5354811$3EE1A86E-3DAC-442C-B63B-0F7FD0608E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b546727189882dd711631d814ffbbaabf8a19ba6","datavalue":{"value":{"entity-type":"item","numeric-id":817963,"id":"Q817963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b45edbc9a20c76b42179c89ce5783e71c0db41b","datavalue":{"value":{"amount":"+0.8633809","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":"Q5354811$78680323-A20D-4C0B-B938-D8C4B7FE9A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02957054d3fb9f6c94b6a74f0aa590ff95ce8451","datavalue":{"value":{"entity-type":"item","numeric-id":2269510,"id":"Q2269510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f8c08b503e821366064d64359ac895dd771237a","datavalue":{"value":{"amount":"+0.8605045","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":"Q5354811$720E698A-46A3-4B3B-9A5E-1AF81DBD4632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be33ad98c42559a8897ed8ceaedaeb4fd7d5c941","datavalue":{"value":{"entity-type":"item","numeric-id":4471519,"id":"Q4471519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467fc89de1f9ed0ad942e28d65a897d9cc193260","datavalue":{"value":{"amount":"+0.85475147","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":"Q5354811$B7F4DC22-CE8F-4F6E-9E36-A33B03071914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"409993e29b80740719277894c3ad8bece1bbb857","datavalue":{"value":{"entity-type":"item","numeric-id":2690222,"id":"Q2690222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"936445c43916de619f0f49b81cd846ff205585dc","datavalue":{"value":{"amount":"+0.8540499","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":"Q5354811$85FE6519-1F80-43EC-AFC0-76DA2D0B8DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109242f8bc5801b5ea519a072f8a87dc8db781a9","datavalue":{"value":{"entity-type":"item","numeric-id":3400566,"id":"Q3400566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3943471f395e22b9f07b378f90c821a384a3c3aa","datavalue":{"value":{"amount":"+0.8538368","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":"Q5354811$ACD106C3-9ACC-416F-91CF-24047EE247F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bdb8358923d0c9ffbb6a5485c2bb825f700270","datavalue":{"value":{"entity-type":"item","numeric-id":4352535,"id":"Q4352535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f0822b413a6a557aa4a5df5a8b01f2f94d7a202","datavalue":{"value":{"amount":"+0.8526788","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":"Q5354811$143A64E8-7F80-4D38-A242-6C561F877674","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5354811","badges":[]}}}}}