{"entities":{"Q5890841":{"pageid":7926636,"ns":120,"title":"Item:Q5890841","lastrevid":55928746,"modified":"2026-02-21T06:01:45Z","type":"item","id":"Q5890841","labels":{"en":{"language":"en","value":"Natural proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6621790"}},"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":"Q5890841$1C4F9C25-884A-44B2-BDE9-B1D4EA468C86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7c6e9b12aa9811ce66c701f5c2f834d57e3bc9b","datavalue":{"value":{"text":"Natural proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5890841$AD41D91C-BA26-4345-AA76-E0CA58691E21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e51d7b141de221409d4311be3d3d42992167147","datavalue":{"value":"1345.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890841$366F5DCA-08C6-44B2-A0F8-7367F8EB59BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61b2103f657905482d62e1d25a8a5ca5ebc61f4c","datavalue":{"value":"10.1145/195058.195134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890841$49FD2152-A1B7-4B29-BC91-CB91D1C69323","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6e6e8d52601d43c5d16e3f57108159b17a42f32","datavalue":{"value":{"entity-type":"item","numeric-id":234344,"id":"Q234344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890841$2B62B48B-6EED-407A-A915-9006C5A4D039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c0bcfb4eb9a7ab6903b269f394ffde6834d9319","datavalue":{"value":{"entity-type":"item","numeric-id":1370854,"id":"Q1370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890841$B96BD589-166E-43E6-9595-49C55162556C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ac9865fce36b00b83ba5b8e31f5c41be4684294","datavalue":{"value":{"entity-type":"item","numeric-id":2817591,"id":"Q2817591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890841$50B394B4-9ACF-4651-9D2E-D6056B1A1BAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4cb1dfb644827a2862c7d97faa24a24e858feb59","datavalue":{"value":{"time":"+2016-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5890841$3C53AAD0-DB8E-4EE0-9F82-D5ACAEF41EAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890841$3DF72B4A-7CD1-431A-B183-AC3319BFE5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890841$03A1B912-9AFA-4347-8A1E-7E48E1913E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890841$F4150527-8E2A-4591-BD32-AE4DA35FEB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890841$7F7CDB12-5A17-46D6-AB4F-B442D58DFD95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2311c53c33de61257b5c40dfb447255ca94a91ab","datavalue":{"value":"6621790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890841$EF9FFB13-7D78-497C-8EA3-935AA2812595","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6af1659f5eb92a758de970bdd63212e78c5d9d83","datavalue":{"value":"Q56701135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890841$66C3D417-B2B3-4A90-86B0-533196B66542","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":"Q5890841$0084F6E6-B094-4604-923B-2B6F814F2A63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef9052f34a023c114bdb208a78af8526111a23df","datavalue":{"value":"https://doi.org/10.1145/195058.195134","type":"string"},"datatype":"url"},"type":"statement","id":"Q5890841$C3FAB8FE-210A-4D37-B5F1-C1B34ACCFCC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f767c2debab862aca2826da899015ff895104ce0","datavalue":{"value":"W2294221698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890841$76D11152-451B-4949-BD3A-4B109D92C09C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"78e5d384640b123bab134514ac5ad5bb55511543","datavalue":{"value":"conf/stoc/RazborovR94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890841$7538D3F2-0C7A-40F6-8F23-EE24F094E5E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a99656fa8549640caed6056adc1c4975be0aeefc","datavalue":{"value":{"entity-type":"item","numeric-id":5906823,"id":"Q5906823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5ab9da2fa136fac927b48ccd8c4b5504b0a943","datavalue":{"value":{"amount":"+0.983082950115204","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":"Q5890841$C1785CF3-01FB-4D00-A798-CE0289853039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22b34cc5766a2d8ef04aad57cdd2b6e63cd41af5","datavalue":{"value":{"entity-type":"item","numeric-id":716305,"id":"Q716305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d59d6de14ab4912ff86e957371c72fe92b971854","datavalue":{"value":{"amount":"+0.8644881248474121","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":"Q5890841$3E7844E7-E660-43CA-8A9A-9B0D9FDC3914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cf78c2988f5e16845612a3de1c7d66a490041f2","datavalue":{"value":{"entity-type":"item","numeric-id":1107322,"id":"Q1107322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faaf62b3bee5a1a52138223d2212e950af5b18bc","datavalue":{"value":{"amount":"+0.8024388551712036","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":"Q5890841$795BDA80-DF4C-4277-85A1-B3786CEE30F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5890841","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5890841"}}}}}