{"entities":{"Q944367":{"pageid":946215,"ns":120,"title":"Item:Q944367","lastrevid":65567283,"modified":"2026-04-12T03:29:34Z","type":"item","id":"Q944367","labels":{"en":{"language":"en","value":"CERES: An analysis of F\u00fcrstenberg's proof of the infinity of primes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344344"}},"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":"Q944367$CBD98816-228E-4BB0-8223-7FFF13784700","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed6a62beaf2e85d41b369f364fc1eeeba31f45b5","datavalue":{"value":{"text":"CERES: An analysis of F\u00fcrstenberg's proof of the infinity of primes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q944367$EF5A7CF5-0993-4476-99F1-018609854602","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3060f79e7035c7d8b88081353e7e7a0bba568010","datavalue":{"value":"1181.68264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944367$6D60C055-7535-412D-B5A2-D7E2E02247F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$19919E50-2115-4E7A-AD16-2BB787106932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac16dcce5f3df8b1bf1087e5a90fdae80fa7a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":402112,"id":"Q402112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$CA4B8F72-77F6-4DA0-B885-FD717B432F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$1593DDE7-EC1D-43E5-AC73-7D089F2B6319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6d8bf59d63029125e6be5ae3870d83f8fd51014","datavalue":{"value":{"entity-type":"item","numeric-id":944365,"id":"Q944365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$513D8A50-6B0B-451D-B6E3-81C78C8B7803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37e9c0977f2d070d8849b6b5b9e622eae2aef3e9","datavalue":{"value":{"entity-type":"item","numeric-id":944366,"id":"Q944366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$6CD38667-E86C-40B0-BCB1-B1C4E81F4A5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$0C8BC320-E342-458F-B9A9-CBBA14EEBEFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae960b13deac5afb5a738e4b316ea7d581125be5","datavalue":{"value":{"time":"+2008-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q944367$01AD16E3-FC17-4262-A792-0CA845667FB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944367$A2045BCB-D7A4-4B97-ACE9-007409C15DA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b27b33c22d01b2a4ec5786a5888abcf270127d2","datavalue":{"value":"5344344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944367$8DC9F5E7-3508-44A0-B921-8730C0892735","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q944367$5901BC79-60A1-4D55-8F4E-2224D1B42A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75b42b78dbb6564c3024267b7d2634512fa5c2d9","datavalue":{"value":"proof analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q944367$04266B9C-6B86-4126-8441-15DBF430E5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q944367$6EA6526C-AB66-40F0-9906-2D4EF88F268D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q944367$87379A49-915C-46F6-A8ED-D6BD0F6B9E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f235f24ac5e48f0a588b6c01ea4d93b9360415","datavalue":{"value":"cut-elimination method","type":"string"},"datatype":"string"},"type":"statement","id":"Q944367$6BCB796F-434E-42A9-A37D-7C6C1A46F322","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45702294177a39ee1ff9766c01d5d14dfb7896ef","datavalue":{"value":{"entity-type":"item","numeric-id":21425,"id":"Q21425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$7BE63107-026D-48FE-8E31-6A1CDF9ED6E7","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":"Q944367$30D332C2-80FA-4F8C-9DB1-9441A3F60667","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"834d3b109dea2e92fffa6d279ef3c262901aae45","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.02.043","type":"string"},"datatype":"url"},"type":"statement","id":"Q944367$0D25435E-8108-4B1F-80AC-D0D93DA08563","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c51f40a772ffc467f6b9719e3238d5a8660928e","datavalue":{"value":"W2171522258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944367$74EBE45B-AC98-4A09-8249-5C589C5C1A21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9971824e365b87038a762d44dbf9be6146ef8271","datavalue":{"value":{"entity-type":"item","numeric-id":5705944,"id":"Q5705944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$E1AA16CB-5547-4DB6-A99A-E79D5D6F3002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fbbdce3d319868b6dc8ed64beafab590c70e044","datavalue":{"value":{"entity-type":"item","numeric-id":5756761,"id":"Q5756761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$6F5F2735-C07E-47DA-A1CF-3599473B55CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b559e594edc07777117cb084e905ea94187a1df3","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$34843AAC-38CC-4AB0-BD69-7B0CD30CA709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0508654f8dbc2c54065d5adc87d2e81f95024db","datavalue":{"value":{"entity-type":"item","numeric-id":1302302,"id":"Q1302302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$AD32DEAA-BD8D-4DAA-A2B5-0274315608E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1079b6d698a143d8d07f3dc7f4c3c2ed61bd0760","datavalue":{"value":{"entity-type":"item","numeric-id":5927981,"id":"Q5927981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$94F85360-6BAA-484C-BA02-E17A81A9B8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe7ca05964d4b09b50166ae769ef7441eabaf28","datavalue":{"value":{"entity-type":"item","numeric-id":2457341,"id":"Q2457341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$F5F86C7A-51B2-4A7F-A8E5-BD4B654F62A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e84ff42267477e949575e937efae295817dbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":4372906,"id":"Q4372906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$FF1A0093-5391-4419-9086-9B5C234B546D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b17ca5304b07e27db69bbaad41f776f31427c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997615,"id":"Q3997615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$22790F3A-8758-4F6C-891E-DE7659AFAE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338aa0d01ce8385e92ab151731f9345a1bd5e9d6","datavalue":{"value":{"entity-type":"item","numeric-id":3107050,"id":"Q3107050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$34B419F0-F779-40C7-BB5E-0D28293CCADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$9F1E11DD-7581-46A3-85D2-C35DB0E7EFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5088a51a9044fed79ce9440a83704faca1203fcf","datavalue":{"value":{"entity-type":"item","numeric-id":4748162,"id":"Q4748162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$577680B8-778E-424F-98F0-53D7432EC3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d71305c8d9d041668e564bf7f2f69f04f88a1b7","datavalue":{"value":{"entity-type":"item","numeric-id":3822154,"id":"Q3822154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$E8E3385F-7A47-4057-A32E-9474EA6A691D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$A75B454C-B479-461C-BD84-C29E37A7299B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944367$F47CEDC5-10EF-4333-BFAE-8C856E9A9B33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85d406b6668d2dccca60b499352bf2ed6851792d","datavalue":{"value":"10.1016/J.TCS.2008.02.043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944367$463B1DF4-E334-4080-BCDF-33E7DEDCEA80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be4479469ed258f2f3fe03456989efa7ca924762","datavalue":{"value":{"entity-type":"item","numeric-id":5219931,"id":"Q5219931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c026a6ac1ffd24dfa106707cc1ebe21ea66e70ff","datavalue":{"value":{"amount":"+0.8702987432479858","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":"Q944367$130BC8E1-839C-4CA7-8788-AC5CD6078A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dff2234d712e9ec47640c786da6a18cb4b7bcee","datavalue":{"value":{"entity-type":"item","numeric-id":5705944,"id":"Q5705944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6a5f3096c1c40c8c67b3d6e7b989de34dc5a91","datavalue":{"value":{"amount":"+0.8016607761383057","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":"Q944367$FC99B124-6160-4D48-B7EF-28441AE0EF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f489b95b7f73d2dc05afaf10bdb2ac49b401c6e","datavalue":{"value":{"entity-type":"item","numeric-id":5894700,"id":"Q5894700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e6048aa16676c69ac59f5e33725341cf3bcb1c2","datavalue":{"value":{"amount":"+0.7685160636901855","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":"Q944367$3E43F06B-DFAB-4F9A-ADDE-AB0CB1AD7992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a747b35f96986626e096eb10bb9a93b4c83ed6da","datavalue":{"value":{"entity-type":"item","numeric-id":5747781,"id":"Q5747781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd6833a4c342cf374901cec047a992c2bf51f83","datavalue":{"value":{"amount":"+0.7599478960037231","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":"Q944367$8804C2D8-D3D7-4ED0-94C1-7FBC03DBFBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a949c1887df37020eb85436a1ec2c31019214486","datavalue":{"value":{"entity-type":"item","numeric-id":5705916,"id":"Q5705916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274ff4e8eb316baecb97b5fa37a32371dbef578f","datavalue":{"value":{"amount":"+0.7581744194030762","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":"Q944367$20BFCF8D-E095-4BC4-868D-2A0900CDB0B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CERES: An analysis of F\u00fcrstenberg's proof of the infinity of primes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/CERES:_An_analysis_of_F%C3%BCrstenberg%27s_proof_of_the_infinity_of_primes"}}}}}