{"entities":{"Q3309805":{"pageid":3320513,"ns":120,"title":"Item:Q3309805","lastrevid":48670666,"modified":"2026-01-05T13:51:31Z","type":"item","id":"Q3309805","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3837990"}},"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":"Q3309805$91B3560C-D3F9-4E41-80E6-B1B20A98987D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1b651627f2dd150576f3735c1a6fdf5c571bd65","datavalue":{"value":"0528.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3309805$8936E527-FDB9-45D9-AD71-9B9E03B88117","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8267b3be2b739476dcf61b4c89d4f97117c42016","datavalue":{"value":{"entity-type":"item","numeric-id":671658,"id":"Q671658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3309805$E1D5393F-D5A7-4EE1-9359-6C0D223EC673","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3309805$7F74B865-88BC-4BD1-9569-AE942AC3E7EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3309805$5DC80501-545D-4686-B98C-0517DE4D7F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3309805$2857840D-5EB0-4F28-BC59-4F0D2462C3B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06092782dc3c8b9aa4969f4b0768821489e7ca69","datavalue":{"value":"3837990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3309805$BD8267B5-6209-45D5-B670-3855CC190832","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3309805$BC5EB525-1C41-45A3-A0E0-F4DDC5F84819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f84bfa4d35417b90f2a3d3973763cb89a42b0a1","datavalue":{"value":"paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3309805$3AD5BC7A-C059-41F0-9A5B-1034EA832F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"365b77b133aa3d523e3cd75623817203e9e4b2ae","datavalue":{"value":"normal form of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3309805$CEDDD8E5-759C-41F3-BBEC-44C66FE212CE","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":"Q3309805$19609447-808A-4473-B0C4-A2A146A6C532","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6acacedaa7923a1afadb7acccc332f1221229d90","datavalue":{"value":{"entity-type":"item","numeric-id":3441199,"id":"Q3441199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f90ca13f0bb91951f655b2da0109d7a44f3e3e","datavalue":{"value":{"amount":"+0.8136975169181824","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":"Q3309805$B6FC2002-59D2-44EF-9D21-683121E67410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8208072dd51e1bed16409f73faed688c572173b","datavalue":{"value":{"entity-type":"item","numeric-id":6488550,"id":"Q6488550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bade6b2f769353e5675e77fd42d1e5bd641cfde1","datavalue":{"value":{"amount":"+0.808440089225769","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":"Q3309805$BAFCED2E-840E-4F8B-AB33-A56DD20123C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a629f668f1d2f7c136d043dc6e41f13b903ac127","datavalue":{"value":{"entity-type":"item","numeric-id":4264723,"id":"Q4264723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81982e342843c6226b67af8a6b031f35c9b0bba","datavalue":{"value":{"amount":"+0.8030614852905273","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":"Q3309805$E55F722D-ADDD-471B-8F90-711F72DCA34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d1061ef9e5743e1f35820a3b9604da31d765091","datavalue":{"value":{"entity-type":"item","numeric-id":5055756,"id":"Q5055756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc955f463d687f7d59b3e330d8af4421ce3251da","datavalue":{"value":{"amount":"+0.8013455271720886","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":"Q3309805$0B383AB1-3646-48D9-A992-2D68992E40AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1f80d33d2b711c1786c52beef6916c90b47ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5055708,"id":"Q5055708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24fbc03fe4e10b15295c952a4da08b4e927fa0f2","datavalue":{"value":{"amount":"+0.7947918772697449","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":"Q3309805$51AD5833-D20E-4884-9AEC-E8809FE8350F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3309805","badges":[]}}}}}