{"entities":{"Q3370569":{"pageid":3381273,"ns":120,"title":"Item:Q3370569","lastrevid":49780822,"modified":"2026-01-10T16:30:50Z","type":"item","id":"Q3370569","labels":{"en":{"language":"en","value":"Mathematical proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5004591"}},"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":"Q3370569$045C3E7F-76EE-459E-AD2E-C2D5B2745B6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7789d9f5bb6ecebc720ab4980cec4ff141090def","datavalue":{"value":{"text":"Mathematical proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3370569$2B191CB0-3CE7-4C23-B286-3AD6A5192A37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e765552355e4765993a742c47eacf50ac6966d52","datavalue":{"value":"1098.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370569$3F47350D-2FA4-4F4B-B9F5-237FBCB014CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c23ed0b7b3c38fae3617fc66df9d5f30b1c51414","datavalue":{"value":"10.1080/09720502.2005.10700395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370569$94CF9663-1B7B-4FA6-879C-4705039E4969","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60d261ddb8cb2395e824b99eb56b6ac75cf8605b","datavalue":{"value":{"entity-type":"item","numeric-id":3370568,"id":"Q3370568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370569$540C5970-52FC-41A4-956C-7CAA0BD21B4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e59472b1129dfc067b188bfdeaca83d44a39faf8","datavalue":{"value":{"entity-type":"item","numeric-id":2709835,"id":"Q2709835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3370569$8D4734EE-A7B4-46C2-AFBC-5F3065107876","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7be842e5bc1b54667cb2f669eb29d91c2f271633","datavalue":{"value":{"time":"+2006-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3370569$2C2DCC5D-AB4F-470A-A92A-B98CC08E680A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370569$3E5314BC-6661-4291-91D8-A8832005E7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370569$E634A326-65DE-4B73-BDD9-3621C3D2887B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370569$E68BE789-8CA4-49DF-BDE2-A2231A47BA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370569$2944B8CA-1F2B-46DE-9D61-7E1B146AF41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370569$208AC1A6-A10D-43E0-8F8A-0409655A6DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370569$796BC0BD-8922-41F3-B5E2-845EDB0BCCDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29e7bebed951a9ddbcf25fd244121a1fddbcc8ba","datavalue":{"value":"5004591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370569$56A16D53-D8A3-4FAD-906C-6E0131DA0E72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99974e488eefe65e9a359b970a995a9b6d33d8e8","datavalue":{"value":"NP-hard problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370569$19636142-FBCD-49B1-B65D-DDED9926AEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370569$EB1D56F6-95B2-4BFE-ACDA-B4AC7036BA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2518fecb1c0b57735793eae5817ca06057a14d","datavalue":{"value":"Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370569$98C5B113-2CFF-4908-8064-CD8806582FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6987497a3d681d38c2818fcc6369a292aac0dc57","datavalue":{"value":"computer proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370569$6C7D6A8C-35EF-47AD-A391-7D367A941121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c416b15aae4d7aa8d5e0138c90a63f3871d5b2dd","datavalue":{"value":"quantum computer","type":"string"},"datatype":"string"},"type":"statement","id":"Q3370569$264DAD86-6480-4EB9-807C-B03DCABBC18E","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":"Q3370569$81B83D20-8347-4272-A623-7621B48D7DB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65ff9fee406193104ce021da152fc9abae5e4db8","datavalue":{"value":"https://doi.org/10.1080/09720502.2005.10700395","type":"string"},"datatype":"url"},"type":"statement","id":"Q3370569$FCA0B04D-56DA-4472-9484-D1E0170A301E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1226853500350bfa25313700186263b204dc6ea9","datavalue":{"value":"W4242638089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3370569$8A3D8547-E121-4D4E-8AA6-CE4F852AB7C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f376d6acb38f83573c22ba664926099fa5806f9","datavalue":{"value":{"entity-type":"item","numeric-id":2997766,"id":"Q2997766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"588090b6917e1cbcc2a334f42b15c6c6cd9f66d4","datavalue":{"value":{"amount":"+0.7923018336296082","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":"Q3370569$CD432A03-ED41-458E-9307-9DA3213FC01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77b3c56429c9c8743a5a714a691c631666af3416","datavalue":{"value":{"entity-type":"item","numeric-id":4890909,"id":"Q4890909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6140240d75812aa84145615c644f9f9c3f5afb77","datavalue":{"value":{"amount":"+0.7782565951347351","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":"Q3370569$1444CD46-AED9-446E-B38C-0F3F61B858C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf0a8c02a057c776fe99c81438bcc29f9fca789","datavalue":{"value":{"entity-type":"item","numeric-id":5894879,"id":"Q5894879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d064f5759b00f7d1fbebf75a8b2ad78299e744c0","datavalue":{"value":{"amount":"+0.7743363380432129","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":"Q3370569$3034E5E6-950A-476F-BE40-25B961020773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6ba7746db3411117fef3a34be889dfb4c4e69a","datavalue":{"value":{"entity-type":"item","numeric-id":5448310,"id":"Q5448310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c35ecee61ee61afdf19b97a6dac60dafdfb65d","datavalue":{"value":{"amount":"+0.7685629725456238","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":"Q3370569$FB269B62-127B-4B95-A716-CDF620E6E257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b766aba7b7528e1562f2ec8a00e4cfac9e99e351","datavalue":{"value":{"entity-type":"item","numeric-id":4325964,"id":"Q4325964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d79f406a1414ebe74de6a70ea028e90a40b44149","datavalue":{"value":{"amount":"+0.7542099356651306","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":"Q3370569$427E010A-A812-4DD7-B645-68B7B2BA12D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3370569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3370569"}}}}}