{"entities":{"Q4793038":{"pageid":6822618,"ns":120,"title":"Item:Q4793038","lastrevid":74696373,"modified":"2026-04-14T23:56:40Z","type":"item","id":"Q4793038","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1870426"}},"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":"Q4793038$8803DF1D-422E-4B2A-BEF1-631535F42210","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcc0c333df6cf468103d458dcfb7007cebea51d9","datavalue":{"value":"1025.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793038$C7A3EC7A-D967-40F1-819E-309B1C87F2BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ade2c17110c88e77a460b1060c4082d87479863","datavalue":{"value":{"entity-type":"item","numeric-id":218496,"id":"Q218496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4793038$01D03CB9-5F27-401F-B805-3D0011941FB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cbfeed17e22be2fe3d5c6a8c998eb54116ca1a5","datavalue":{"value":{"time":"+2003-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4793038$A5057319-E49C-483D-80E5-120532FCBBC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793038$435C3FB7-BF6F-46D3-B5EA-C5481F89533B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793038$4D4A64BA-AC77-4545-B3FB-DD367EC0C64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793038$D5F4FDEC-B142-45A0-97E7-055598A5C4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793038$BD7FE585-8B60-41A4-942E-423F7C74B9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793038$B38B0F03-619F-4940-B209-3E35D69A1AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793038$25F6F4AC-CF9A-484F-AC8C-C49E1BACF950","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c99e3788aa30bf2e2d9973b26261f37d9e9f0a22","datavalue":{"value":"1870426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793038$C5079BFD-2813-4515-8AFB-FAEBE519235C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"893d78041fc38394b825035ac413d0e5ad9eedf1","datavalue":{"value":"constructivity of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793038$54AFCB17-94AB-4A42-A0CA-6AD85C2D65E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7929ade5c6a57811569044fd1553f8caa8e9fdbc","datavalue":{"value":"indirect proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793038$741DF79C-52D7-42EE-A75D-7EB7552785BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48aea7e1566aa123bfca54a6934cd20d85d73f07","datavalue":{"value":"existence proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793038$869D73E2-9482-46FA-8142-513F984BFBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2e7cd12ec25a5daa47f16ccd8b575269f965599","datavalue":{"value":"Behmann","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793038$5763AA57-3B55-49E1-BD50-8EC86EC2447E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd9767da36591fc90ebf61c35846c34c27947a26","datavalue":{"value":"Kaufmann","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793038$9BB2A383-8717-4DA6-8BD4-77A2EA0DF06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4282b5b6410186b7da0f96710e20658f12aa55f","datavalue":{"value":"G\u00f6del","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793038$2BDCE5FA-F2C7-4464-9D46-55002A738696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39afa182f881f10a34fa61ed9a215260cdb45919","datavalue":{"value":"Bernays","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793038$A0854EFA-D667-482C-A584-2252944CE331","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":"Q4793038$CE35161A-3479-4486-BAEA-B0A5A56A37C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cfa34d0804e46f7d6a04ec6d2af9e56439562e6","datavalue":{"value":{"entity-type":"item","numeric-id":2856488,"id":"Q2856488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10553f3d36ef787d8b08a80394bdb2f0fd1ae8be","datavalue":{"value":{"amount":"+0.6901096701622009","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":"Q4793038$43CAB7E5-4045-4031-BCBF-9B2368A0B946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46cb8d2d36f7c054b73edd63d426f6d3d2ded563","datavalue":{"value":{"entity-type":"item","numeric-id":4940734,"id":"Q4940734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29af2e66325b784338ab40388f97e7f555dba78b","datavalue":{"value":{"amount":"+0.6888008713722229","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":"Q4793038$91E6F536-2DF0-4038-98BD-7CFED155B8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b5bd48bf5aa814b1a7201c1d0283121befb41f9","datavalue":{"value":{"entity-type":"item","numeric-id":2965531,"id":"Q2965531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a4001d086f9d55d5a330e80b8128a45439a074a","datavalue":{"value":{"amount":"+0.6880946755409241","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":"Q4793038$23C0E386-F329-4115-B182-84854437940C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18c6964887e120428d32cbc1a32044b52e81c4d9","datavalue":{"value":{"entity-type":"item","numeric-id":5115867,"id":"Q5115867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ab5ef62a3b8e7cd6da04d8532104f5c9b5ee19","datavalue":{"value":{"amount":"+0.6868340969085693","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":"Q4793038$BE0D8AE0-94DD-46ED-9520-FBD1A88B7A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9d69ade9f231bf74c74cc51820f497154741d8","datavalue":{"value":{"entity-type":"item","numeric-id":2751849,"id":"Q2751849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"280c67d53d6efa71e1b9286f8ba4e8ecd395850e","datavalue":{"value":{"amount":"+0.6844513416290283","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":"Q4793038$73339A2E-8B60-4BF1-8C1E-65DF316A1EFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1870426","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1870426"}}}}}