{"entities":{"Q3537323":{"pageid":5567227,"ns":120,"title":"Item:Q3537323","lastrevid":87371582,"modified":"2026-06-04T11:31:02Z","type":"item","id":"Q3537323","labels":{"en":{"language":"en","value":"To predigest proving of theorem in real number field by using separable proposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5370925"}},"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":"Q3537323$F7A781BF-D20D-47C5-91A4-16139E7681AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee144a63dc4658e294195f9292fd0fe2e334c66f","datavalue":{"value":"1164.26309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3537323$5BA86D9D-750F-4634-8CCA-8AB4EAFE7691","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"194c710085788a257e857094b6592ccaf90316e7","datavalue":{"value":{"time":"+2008-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3537323$99F1B6D6-5443-4220-8737-404F326FB99D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e11be76db0504a20556545d615708c6152734ed","datavalue":{"value":"26A24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3537323$51A1E99A-5333-4BD5-AD0D-DB614D3C1902","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af4fe3bce74d3958a954ee69cf80fab42ca05a22","datavalue":{"value":"5370925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3537323$CFC209A4-0F11-4FBC-A902-52527F96B690","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63cfe2a3d73e0218bb0e5426d0c2717c2cabf86c","datavalue":{"value":"continual induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3537323$92ADD431-85DD-4ED5-9B21-177F1B24B9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44193e4d3d94855c2451233291b8051cf856d1f2","datavalue":{"value":"separable proposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3537323$5EBB256A-85A4-473B-98D8-4F87C4CAB649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b945511cec21f3f92a0efb57cdcc17a7d9451a21","datavalue":{"value":"separable proposition theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3537323$1051CBDA-D003-490A-81FB-A68F9267776B","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":"Q3537323$52D4A00E-9D5E-4374-B5AD-A175808BBF93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbfce4353ff9de41362bc35eb9c34fad191972b","datavalue":{"value":{"entity-type":"item","numeric-id":5432960,"id":"Q5432960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ce19a996cbac5d6f234823756f85951ff21f30","datavalue":{"value":{"amount":"+0.7983524203300476","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":"Q3537323$3E0DE527-1615-410C-986D-4560190DF890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20f714189b9218f26277fdf5c494093e2d82c02b","datavalue":{"value":{"entity-type":"item","numeric-id":5108578,"id":"Q5108578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c9a1d2f23b0bedc998943a79869275bc025894a","datavalue":{"value":{"amount":"+0.691709041595459","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":"Q3537323$E458A78E-8B9E-4D93-A1AA-57A60A62F21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57529e8f830b4b64e85b2d54c332a1d4e800e718","datavalue":{"value":{"entity-type":"item","numeric-id":4245050,"id":"Q4245050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc680eb6dba56b8322bc8993e4430f7b0ef1848","datavalue":{"value":{"amount":"+0.691388726234436","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":"Q3537323$FCF7D9A3-0350-44C2-B9D7-6B66E9A55CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c66d9c9280cb2519ba945f6709094c3435fe32a8","datavalue":{"value":{"entity-type":"item","numeric-id":2526038,"id":"Q2526038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc680eb6dba56b8322bc8993e4430f7b0ef1848","datavalue":{"value":{"amount":"+0.691388726234436","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":"Q3537323$E3D4294F-F939-4C75-A72E-66FCF4BEEBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd36a49b96952b5ebddc6023c1c9123063180cef","datavalue":{"value":{"entity-type":"item","numeric-id":5534906,"id":"Q5534906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ebb1e83054f798568fa5eb100220857cdda8194","datavalue":{"value":{"amount":"+0.6908823847770691","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":"Q3537323$71E9016D-DF18-4E71-B68A-F3EC0BBC647C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"To predigest proving of theorem in real number field by using separable proposition","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/To_predigest_proving_of_theorem_in_real_number_field_by_using_separable_proposition"}}}}}