{"entities":{"Q3638243":{"pageid":5668149,"ns":120,"title":"Item:Q3638243","lastrevid":50699870,"modified":"2026-01-14T20:43:15Z","type":"item","id":"Q3638243","labels":{"en":{"language":"en","value":"About the Formalization of Some Results by Chebyshev in Number Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5574307"}},"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":"Q3638243$8BCD1AF5-3984-4ACB-86ED-67D8945BE110","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efc07c954c726588ae1ac7cdc604ebb3541993fc","datavalue":{"value":{"text":"About the Formalization of Some Results by Chebyshev in Number Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3638243$294B23E8-E352-4DA0-83D1-A2535418696F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58996a3927ff84ad6c445eafeac50f29b6b95aca","datavalue":{"value":"1246.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638243$4364CD68-0A47-4768-95F7-D8499B8CBBF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56289c0c1be4ad2979033d68d8a1f5d95273a77a","datavalue":{"value":"10.1007/978-3-642-02444-3_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638243$12837055-C818-4996-BC4D-10D29F7CBF9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7eb816b28b9c1f72e9b0af72e4651889c7844f4","datavalue":{"value":{"entity-type":"item","numeric-id":287278,"id":"Q287278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638243$60F88B5B-924A-433B-BDDE-73021817FB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aec9839e6b2c451febe526ce547ea5fd11508ee1","datavalue":{"value":{"entity-type":"item","numeric-id":744985,"id":"Q744985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638243$7176D8D8-ECBB-4CE1-9BAA-EB9178EA5111","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638243$120075EE-64EF-4C71-9521-62CC0A27A31E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f2e3fc7575081ebb3b175707a32845a6955dc2","datavalue":{"value":{"time":"+2009-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3638243$AAC2DD3F-7360-405E-B5D1-7DE903B56840","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638243$4DFA81E5-1A45-41E2-86FF-A5E9CBF72253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e16b73d668e1481a22707de3aa06c6e25136661","datavalue":{"value":"11A41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638243$8A41D5B7-AC8B-4045-9828-7DACB2071DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638243$B1F18DB2-2E77-49F1-85A9-9E249AC4E5F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68ce7c1b2b6468965f2a5d78425d5c0583afb365","datavalue":{"value":"5574307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638243$5B8A5C05-A57A-472E-B35D-FE5CF6BD03ED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638243$942C0706-80F5-4629-83CB-24B562908854","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":"Q3638243$4A4C6A25-5CC7-4648-808B-D6E7AB796537","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e154e2aba59e289e08a20fe7dc9fb76cb780f1a7","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02444-3_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3638243$CAAE4A7F-2128-4E71-AC5C-FF903837A8BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f349df0116da044b5cc9a9945937fde91297dc0e","datavalue":{"value":"W2122761321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3638243$A10A1CE3-507E-48D9-A7DD-B99308E4C0EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f3c84fedec6be5b8f59fef93a6a8632cda3e40","datavalue":{"value":{"entity-type":"item","numeric-id":4101884,"id":"Q4101884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638243$9E3AF2BA-FB98-4520-9CD0-E3BB4086AE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee68e943f423c6598b22e9df8e1ff7f83d287b8","datavalue":{"value":{"entity-type":"item","numeric-id":3497621,"id":"Q3497621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638243$A42B5192-2E76-4C59-BB77-5785CED1074F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb9cfedcdf8209e09850a44ba23684e87646d65","datavalue":{"value":{"entity-type":"item","numeric-id":5277791,"id":"Q5277791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638243$332B7C03-7BF8-407A-99B4-FC3FE45D278C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec857327ff4d4a3446074f11689fe91b3c32839","datavalue":{"value":{"entity-type":"item","numeric-id":4780264,"id":"Q4780264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638243$DDAEA593-742A-4FAE-A906-5482035D3AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb40aa93777a7cd41d54dcf43b55867cf1b75c38","datavalue":{"value":{"entity-type":"item","numeric-id":5772619,"id":"Q5772619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638243$9AADACB0-6CCA-4646-BCB0-AE4BAFB23812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e65c74afe2b4d2d82d56db1a3dce7bdb46bda6","datavalue":{"value":{"entity-type":"item","numeric-id":3497625,"id":"Q3497625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638243$798EAFEB-1359-4EE3-99F4-08004ABB25CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3855af33f4c82abb191ed201f76779d081a2c15c","datavalue":{"value":{"entity-type":"item","numeric-id":3559771,"id":"Q3559771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3638243$E1F98295-8F88-45FE-9B27-7E134906B425","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1822182d9b0bb8d3af7dabbc18e28dd6bed3f857","datavalue":{"value":{"entity-type":"item","numeric-id":5195248,"id":"Q5195248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"269aa0e663cc3fff403d43bdd78c31d8510d28aa","datavalue":{"value":{"amount":"+0.918264091014862","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":"Q3638243$B7625FC7-A48F-43B4-AD95-C0E047F25B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b21873d4f75565183b2f851be5cf44feb5bb2a","datavalue":{"value":{"entity-type":"item","numeric-id":2655322,"id":"Q2655322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9847e1b999d26d4c4d38a052bad8caad05718905","datavalue":{"value":{"amount":"+0.7610331177711487","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":"Q3638243$7EB0F06E-3ED8-433E-94D3-152D932A349D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89216159a55347760b5115e9d5f129e5afa4aba1","datavalue":{"value":{"entity-type":"item","numeric-id":5277791,"id":"Q5277791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"057f91dd100b1fefc43107c5541d138638b15f3f","datavalue":{"value":{"amount":"+0.7480251789093018","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":"Q3638243$206F500A-46AC-43EA-86EF-ABA06509B738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03eab135d53aa5100b93ac9f2db653219c8ec6f7","datavalue":{"value":{"entity-type":"item","numeric-id":3699784,"id":"Q3699784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5dc638158c7d9cdecdb48bfc1ec96cb708e0147","datavalue":{"value":{"amount":"+0.7250957489013672","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":"Q3638243$C5ECC9C1-CAB7-442B-8F56-25D240E9C0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed6341050575af05cb381ad91f613df25249dd81","datavalue":{"value":{"entity-type":"item","numeric-id":4333845,"id":"Q4333845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aabf44aea0b49a08a23b9fa821abe9e3cfbd2c1","datavalue":{"value":{"amount":"+0.7069756984710693","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":"Q3638243$CC8B01F3-6B48-4A6F-A113-ECC6ED8E428D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3638243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3638243"}}}}}