{"entities":{"Q3325017":{"pageid":3335725,"ns":120,"title":"Item:Q3325017","lastrevid":45958900,"modified":"2025-12-20T23:58:49Z","type":"item","id":"Q3325017","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3856389"}},"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":"Q3325017$B6C238A6-872C-4ADC-B809-F44BE5DFACCD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83cedfe00534074e72047cb4b7e247c40c2dcd8f","datavalue":{"value":"0538.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325017$3720D73B-FF0A-4739-B389-2A908D350864","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0c110e220042f8c25f69d7566fe58fbf25b7","datavalue":{"value":{"entity-type":"item","numeric-id":514567,"id":"Q514567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3325017$05D04C58-AA49-4467-BEA6-990DED49B1EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3325017$F800B3D1-96A4-47B6-A12E-881417E14A57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325017$C0131472-F9BB-43D1-9E57-20BAEE47421C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325017$0BD4CED9-A67D-49C0-8113-74C39DEBD08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325017$B9D235DC-8C9B-40FC-A156-1EFEE5995F3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e637cfbc751900ac8996a40c1b90802cefc26029","datavalue":{"value":"3856389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3325017$34A4FD03-439E-4610-83AF-DA06D9051198","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e4f58d02897f6a47e705c4d8eae0855bdf8b151","datavalue":{"value":"similarity type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3325017$9F182E88-EE04-4760-AC6F-BA3F9C2BE1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae6ea92a5034befd2b0418d66d9f3f581cfea3d3","datavalue":{"value":"total correctness in nonstandard dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3325017$72788685-E8D4-4004-9CCC-0EEE1AFB3191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3325017$79EEDF47-EA6E-460A-B971-5F4436D30EB9","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":"Q3325017$AA98862D-D9A4-44F7-B605-35DE1C032A3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494f82ef33661419430b7d24eb4c97150d0078ab","datavalue":{"value":{"entity-type":"item","numeric-id":580955,"id":"Q580955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5010342cbf86aa7b3061077d5eb92d3ba27a3eff","datavalue":{"value":{"amount":"+0.9500255","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":"Q3325017$5CFB1204-12AD-4145-ACBE-BFDB89D5BD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb5c56932ff269ab571dbc7900d427089f6827c","datavalue":{"value":{"entity-type":"item","numeric-id":5308458,"id":"Q5308458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c290a5f6a91e0df70aabc62933a2965a954e160a","datavalue":{"value":{"amount":"+0.9124295","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":"Q3325017$7C63C880-6CD8-4535-8CF3-FE638F9384E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52477531e119662b8df7da0345e08a7e2d051232","datavalue":{"value":{"entity-type":"item","numeric-id":3012530,"id":"Q3012530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39b0ccc49b74f1ee67ec233052154df2117224bd","datavalue":{"value":{"amount":"+0.91187525","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":"Q3325017$3B345367-F8BB-4B4D-A413-D7F73912F921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9357f030428601ed694758b55100476237598b8","datavalue":{"value":{"entity-type":"item","numeric-id":3765226,"id":"Q3765226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a1cdfe0d31e8e5a171fc5130209196475d2d7f","datavalue":{"value":{"amount":"+0.90980476","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":"Q3325017$BFFCE2A0-4B51-4B9B-A0D3-9218F5BB85F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce7bdad2532f4d7df7db035258fed4015030a55","datavalue":{"value":{"entity-type":"item","numeric-id":760793,"id":"Q760793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bda1ff0374a48855a6f889381773f73a32a6f2e","datavalue":{"value":{"amount":"+0.9087135","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":"Q3325017$5C3E121B-9D84-414D-8169-70D2B905E6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcfbe2ac44a0dcc2f5957fdd3687861fdc199a5","datavalue":{"value":{"entity-type":"item","numeric-id":3617722,"id":"Q3617722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d8749a7bc7720bd144e62e44aaaf2465819e67d","datavalue":{"value":{"amount":"+0.9052954","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":"Q3325017$FAE993C0-D035-4EA6-A976-BEE75CBB5639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"694673490717e949ac2b52e03f1369d9f24468f9","datavalue":{"value":{"entity-type":"item","numeric-id":4726228,"id":"Q4726228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a716528fa8eeac689fa475ab28d90fc8eb8463c9","datavalue":{"value":{"amount":"+0.8971666","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":"Q3325017$C7BF3366-3D7C-4329-9A19-DB4EBA9CE6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96d6696363f7ada10d99119b73ffadbe7c255244","datavalue":{"value":{"entity-type":"item","numeric-id":3345770,"id":"Q3345770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"376965b053dcd153fa82e45b3694779a2265555a","datavalue":{"value":{"amount":"+0.8949736","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":"Q3325017$E5C7B5B7-3375-4CCA-9490-ABC263B97246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19747309159fdbd489d35cca2e003b1d709c93b5","datavalue":{"value":{"entity-type":"item","numeric-id":5277919,"id":"Q5277919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0218824b602a05a3783dc75adc6cdd226f956bcf","datavalue":{"value":{"amount":"+0.88965994","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":"Q3325017$DB4F8FD0-7ED3-453E-B2BF-6FC14EA20901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85b8398169fbeb35abefb0b70651eec97095a103","datavalue":{"value":{"entity-type":"item","numeric-id":997049,"id":"Q997049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e3e602a020615510a47e7f81a17e20d2a1e959","datavalue":{"value":{"amount":"+0.88523793","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":"Q3325017$E302C2D5-04E5-4465-BE16-09B91B748369","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3325017","badges":[]}}}}}