{"entities":{"Q4016032":{"pageid":6045821,"ns":120,"title":"Item:Q4016032","lastrevid":55180789,"modified":"2026-02-04T12:28:05Z","type":"item","id":"Q4016032","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 77919"}},"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":"Q4016032$344E4C62-8A27-4AE1-832E-551A524285B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ee1d5345cb7476f3d13f1a7862869f5d07fa6e4","datavalue":{"value":"0792.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4016032$524C7D46-C9EE-452F-BD2C-60EFD6D9A43D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c49d0246003259211e93125a16aa1ea2a2aa3424","datavalue":{"value":{"entity-type":"item","numeric-id":252735,"id":"Q252735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4016032$CE8F9FCD-26BC-4EF9-B7C4-C02D02007600","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e9bed994651c228c1a6e0ea605acd5eb9883aa8","datavalue":{"value":{"time":"+1992-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4016032$62A95A0C-D93E-4490-8A05-3DA6754981B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4016032$D4D8D308-C837-46AF-B19C-EFC022767984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1ec63a0ab51237df67e9180d4cd78b9f8f886b2a","datavalue":{"value":"94D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4016032$712AE497-DF7E-450F-8F69-F09DC7F2F43D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d33353d6ef3dfa2af9f8e6c82edcffa48d889ce","datavalue":{"value":"77919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4016032$659EF559-1BD1-4A13-8F7C-4F8711CACCD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c78685aea0a7d91e6d41499c27d1163c6afe98","datavalue":{"value":"refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4016032$294766C4-E4FA-426B-94FE-4C5F54DE1111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4016032$93AF91AE-F431-4188-B0C6-368713A8323A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fb36fa488398b978b2b0cb745e259d9d3b9ab70","datavalue":{"value":"necessity measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4016032$8797CA21-D17F-4EFB-A03E-3FBF47A3C3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc0e22ad162642e73cf52130dc1d0744977106ef","datavalue":{"value":"possibility measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4016032$68089C31-0517-4903-A1C9-94E32E871F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8a309cd0a2a504ae2b2c66bff298dec1e9c7b74","datavalue":{"value":"uncertain proposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4016032$8C99B1A7-BFEA-4488-853E-47027F5F8276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c944089ebd99d6195538b901db0229fcb390018b","datavalue":{"value":"resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4016032$53D14581-E9AF-4C74-A808-F0A2C388014A","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":"Q4016032$0C6E3892-5106-4CEA-B67B-EA4E5525408D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f161d7a8480efef9f138da8a7034e37e87c864e","datavalue":{"value":{"entity-type":"item","numeric-id":911797,"id":"Q911797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a026d9f6153615da366b99b642cd37dac4a05a3e","datavalue":{"value":{"amount":"+0.8990199","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":"Q4016032$0E813C24-F208-4D18-BA69-C9DAD5ABBD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73355af8bf88fa8e10c3705058fd6c98d1f84f02","datavalue":{"value":{"entity-type":"item","numeric-id":1327159,"id":"Q1327159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf2f056ad0bd09888c626c545e2549401ff14826","datavalue":{"value":{"amount":"+0.87103516","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":"Q4016032$A746C369-D028-46EF-BA26-A1C043C217ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d00ee99e3daffc3e7da1a8c364833f3427b9efff","datavalue":{"value":{"entity-type":"item","numeric-id":1596540,"id":"Q1596540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d78bfa4840d549b1a6c082aeab5be511f2eebf88","datavalue":{"value":{"amount":"+0.86758983","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":"Q4016032$55A95A81-48D0-46B9-92A3-9BA5AEF35DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f7b269e781d4aa3c4ace2f7c3de9f877cc3c90","datavalue":{"value":{"entity-type":"item","numeric-id":4487263,"id":"Q4487263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d34d2f64fac144b3bbce6d77adc8310d13eb779","datavalue":{"value":{"amount":"+0.8574983","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":"Q4016032$43337FF6-42AC-456A-A3B4-7C4C7EF770D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"996c25d4d8ccb60e5d05dba0e9466c0a0761a84c","datavalue":{"value":{"entity-type":"item","numeric-id":3030269,"id":"Q3030269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3b241f845821ca3eaa92df4ddb83b8012c75145","datavalue":{"value":{"amount":"+0.857138","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":"Q4016032$F3A1D012-8B5C-4ADC-A0C9-5EE14EE7CA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5887dfb116757f13164aa5ddb1aab569b834a649","datavalue":{"value":{"entity-type":"item","numeric-id":2772883,"id":"Q2772883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c9af91ea6196e5d4cb20b940ebc0352d26e0245","datavalue":{"value":{"amount":"+0.8570825","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":"Q4016032$DA87E595-ADCD-4927-A041-115AAAC68E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af54e2880b1d9f1bb1a6f99406e59c4bdc2b79dc","datavalue":{"value":{"entity-type":"item","numeric-id":3211281,"id":"Q3211281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"533203353a8174023e28417ed0106fda120014cd","datavalue":{"value":{"amount":"+0.85317653","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":"Q4016032$8134654F-2800-4656-A53C-83CC4F496F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c080708c3bbeeffbe569dfaf09fc9efb27ce99","datavalue":{"value":{"entity-type":"item","numeric-id":4312461,"id":"Q4312461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"791b5c8028eb1ef92fecec4d914f584abb2fc4d4","datavalue":{"value":{"amount":"+0.8524318","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":"Q4016032$D9899A6B-6B84-4D05-AC10-93D3F6003FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"310fb5f9f7ab8edf4b6aa7fa56eb57e321098fe0","datavalue":{"value":{"entity-type":"item","numeric-id":5702660,"id":"Q5702660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a6fb5fc7f83b2e1167d29d365e3a601024247a1","datavalue":{"value":{"amount":"+0.8516782","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":"Q4016032$65945716-5953-434F-876C-4A044AC72C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f598dd428be2a31938e4a852d4b88d1ad61c70a","datavalue":{"value":{"entity-type":"item","numeric-id":4364504,"id":"Q4364504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6340accceb3c04ef218740336c4461d6755186f0","datavalue":{"value":{"amount":"+0.85018414","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":"Q4016032$609948F3-08BF-4BF7-B9D2-79F7D74E1775","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4016032","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4016032"}}}}}