{"entities":{"Q3812289":{"pageid":5842195,"ns":120,"title":"Item:Q3812289","lastrevid":53538638,"modified":"2026-01-25T05:17:59Z","type":"item","id":"Q3812289","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4081618"}},"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":"Q3812289$E469ADBF-755A-47CE-939E-7C9389722509","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14b2a56df55c777bf5e7edcd63e7941be96185d7","datavalue":{"value":"0662.05058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812289$23D9B2EF-1EE8-4F2C-8897-BA09A253F81E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3812289$F2AE1030-B013-40AA-81FC-82F76B94C338","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e35cfda1c439de499de525a8a9009114d934bb37","datavalue":{"value":"05C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812289$F5C6764B-1E72-43CD-846A-A91807BC10FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f9920e258389d79a7ef76ef96a77d2e9cc60267","datavalue":{"value":"05-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812289$27A30EFA-1B5D-4B4D-AFA4-CD1F4C12C8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812289$4E2F8BC4-31D6-4BE0-B430-58657083B19F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57d23c1214042a3761b417caf4cb8a7dbfbe97b1","datavalue":{"value":"4081618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3812289$078E1036-B852-4A0E-A231-C47D4B44D26E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"968154142f4a673f669385ee68d8f299d2b6cd78","datavalue":{"value":"proving theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3812289$C1A8A33A-0134-43A8-BD6B-B4D846260D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77b19228e795b98ff97a5256e09456f46e9d1a7f","datavalue":{"value":"logical statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q3812289$779594D3-D2C5-47EC-8BBA-1AFAD09EC57A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee130c9b7f60a5b1364d597046dcd0740de6d4e3","datavalue":{"value":{"entity-type":"item","numeric-id":1299997,"id":"Q1299997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3812289$FC14AF7E-0D34-4E5E-BDB4-C43F3A5C1E5D","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":"Q3812289$A7FA8C04-02E9-4019-992A-31B185AC06E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46bb56130477d532bbcc8addaa769c01371e53f7","datavalue":{"value":{"entity-type":"item","numeric-id":3684166,"id":"Q3684166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748619740c18d8e53c23903b52ad45fafc0e6972","datavalue":{"value":{"amount":"+0.8824688196182251","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":"Q3812289$DE652A09-BE9E-42AD-B940-D97D575F477F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987d45e8f2e33fb0c4c91657cb9cf402401c66a7","datavalue":{"value":{"entity-type":"item","numeric-id":3315555,"id":"Q3315555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a90914a7b4c85751a9d9e8d233bd3b9d745e3fc1","datavalue":{"value":{"amount":"+0.8523138761520386","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":"Q3812289$020ED011-CAC3-466E-BEB0-0CA57DF33AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b8d7882cf2a6c6da14987c016bb379b7b8d3702","datavalue":{"value":{"entity-type":"item","numeric-id":1104124,"id":"Q1104124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eded2866565e1e43d399cb333888904a54edad4","datavalue":{"value":{"amount":"+0.8437952995300293","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":"Q3812289$45EA83E0-79DB-499B-B8DF-97BAA63AFD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f94569e8d866bb83bbbcc1df5dd9a1899c4e9afa","datavalue":{"value":{"entity-type":"item","numeric-id":4207939,"id":"Q4207939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1f8eb859acc1b7b86017cbedba945c161ea3cf","datavalue":{"value":{"amount":"+0.8318185806274414","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":"Q3812289$96113F5E-583E-4865-9489-1692B5336E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f07d5308072f64ca9e61e400524bd318ff5a52","datavalue":{"value":{"entity-type":"item","numeric-id":3722511,"id":"Q3722511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b9dbc52901d8c90884e7e7e6d4cd0a2bcda6b58","datavalue":{"value":{"amount":"+0.7914440631866455","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":"Q3812289$60BEFDE9-2D11-4178-8813-421A455CF9BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3812289","badges":[]}}}}}