{"entities":{"Q1722641":{"pageid":1733382,"ns":120,"title":"Item:Q1722641","lastrevid":69038337,"modified":"2026-04-13T03:56:16Z","type":"item","id":"Q1722641","labels":{"en":{"language":"en","value":"Proof pearl: Bounding least common multiples with triangles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7024455"}},"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":"Q1722641$601B4792-E38F-417C-9B34-8442FF787F87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42c2b8d2a1d5ada0759a603a6de8f7986524dc8b","datavalue":{"value":{"text":"Proof pearl: Bounding least common multiples with triangles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1722641$84B223DC-BB46-4656-BB77-5994A93D8880","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"362d1e43f914f5ee349f6105a072cdea99b103b2","datavalue":{"value":"1468.68284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722641$D3DE206C-3EC2-4CEF-B087-D815DCEBC567","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2bb865809c16cbe3c29a40a113b8b9352e3770a","datavalue":{"value":{"entity-type":"item","numeric-id":1722640,"id":"Q1722640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722641$6745BA4C-73B1-47A1-9E05-EDA3ACE955DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145fb4ab3c36a5f99f91a0be2758a779e5bceae8","datavalue":{"value":{"entity-type":"item","numeric-id":386031,"id":"Q386031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722641$5E88FE2E-B368-4A09-BCBB-D07BB81E7937","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722641$90D8E91E-EF52-4269-905C-CCF2C8DC2D24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e07e584aaf32d9a9691066d4a126742d1828198","datavalue":{"value":{"time":"+2019-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1722641$6161E9A0-301E-4502-AECC-102EA919EF22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722641$0D1AE3CF-D10A-49AB-9911-D5AE97214112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f6f2e73ebe360c69b5f99d6be8e06f538650497","datavalue":{"value":"11A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722641$E82E2988-4354-4388-9E24-14C01744930B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722641$7DEBE4EF-2B52-44E4-B0CB-71D25B4981F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb849d5b9871d7de5a3c136df8c21cc81aa952ab","datavalue":{"value":"7024455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722641$D9735651-1D23-4B01-8CD6-D929C0D3FA83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2c2062de5f19c527ccd12cf4042772b859b439d","datavalue":{"value":"least common multiple","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722641$18411697-A22B-48BB-94C9-137DF106DD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1bd0ea8501df2d809ec3efa18a09d2a69477c69","datavalue":{"value":"Pascal's triangle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722641$DBBFA16A-CDCF-4098-86A1-BB532E71FB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d80afa774f11888a86e01c8fd4d25577751c2db1","datavalue":{"value":"Leibniz's triangle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722641$51338874-4B98-48FA-80EE-71F433EC9579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc0dc7c05f75a6364f0dcd54ee6aed1a8932214","datavalue":{"value":"formalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722641$51209CC7-B011-4D54-AE93-15916A23C53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722641$45AB6DD1-AC61-4B99-AFAD-778091E3467A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a98f4f63c134cf5f8bbe7dd8160815c1e044dd6","datavalue":{"value":"HOL4","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722641$93BCF391-FCC8-46AC-8533-F76CF351585E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47ccf779a32104cce9a210c450df4fecae281ec1","datavalue":{"value":"binomial coefficients","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722641$6735B71F-4EE1-459C-A0CA-0A8AC9E14D6E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722641$B05A601A-ABBB-43F8-9F76-F3412972E4B9","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":"Q1722641$72F8F332-435A-4CFF-8CD3-8C98E61E8B52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcc6147e4630fb1a02c5c991ad8bb8f454c4ff96","datavalue":{"value":"https://doi.org/10.1007/s10817-017-9438-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1722641$BBED954F-61D1-4D4E-9AB3-9DA7BDF66FCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab617b56bb86a90784d6aacd41fbd67ca55e8e95","datavalue":{"value":"W2762997874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722641$0A2C3B0A-9481-4FCA-9CD2-7CED8414ED5D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1234570f11caddb900135131d2fd06479f5792ac","datavalue":{"value":{"entity-type":"item","numeric-id":1772458,"id":"Q1772458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722641$80F3A9CF-7E94-4D0A-860E-C230B67F41E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8635671f40deea656fb3b0cdc4e932d89e63f6b0","datavalue":{"value":{"entity-type":"item","numeric-id":3638243,"id":"Q3638243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722641$7DF7FD1D-A8BD-4F77-8545-F34010D49114","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":"Q1722641$B64E8164-AC37-414D-8977-184B0EDE5733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1310264e2e16304b41bc00a837cdb148b5000481","datavalue":{"value":{"entity-type":"item","numeric-id":3029318,"id":"Q3029318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722641$A211AF43-9FC7-463E-A1B9-C28161578BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e88e92294ca165afee4256b830f22647e745dbc1","datavalue":{"value":{"entity-type":"item","numeric-id":3932807,"id":"Q3932807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722641$C1D1C4C7-4AFF-4941-AAED-33A9048F9C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"863dff1ec39c42296687f1c2c5d2b7c1e2903d5d","datavalue":{"value":{"entity-type":"item","numeric-id":2945627,"id":"Q2945627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722641$7FF4E5ED-F5C6-4B07-ACFC-92CF8795D228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c58be64b817052641e5c14a8174260e7202a14b","datavalue":{"value":{"entity-type":"item","numeric-id":2829255,"id":"Q2829255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722641$62C96860-790D-412E-8803-6DDEC09F9172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45890c8ca21f1123e4c5dca5f6dd3e08790fe939","datavalue":{"value":{"entity-type":"item","numeric-id":2879250,"id":"Q2879250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722641$3D6572BB-44CD-478E-ADB5-2EF0E3003186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df225e3aa1d3bc90ec9c5ad0f0c265e38f37430","datavalue":{"value":{"entity-type":"item","numeric-id":4781157,"id":"Q4781157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722641$38F579F3-D9E6-4FDA-856D-BF3D18ABEEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"546c20251bf798b5731c92668b9ef9f659bd77da","datavalue":{"value":{"entity-type":"item","numeric-id":1031944,"id":"Q1031944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722641$43669CF1-72F8-4384-9558-22B1A1922DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"927a9a8bdaa0572428f8d2da424d3e05cc3cda9a","datavalue":{"value":{"entity-type":"item","numeric-id":3107113,"id":"Q3107113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722641$42D073F1-659D-44FB-BA72-934BA5CD1FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573bff24e38d5ec531cdfb8f9e40f2bcea03dc97","datavalue":{"value":{"entity-type":"item","numeric-id":2894181,"id":"Q2894181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722641$1B772C9E-E861-4A52-9FEA-45D5651D8103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59431a6eef566c7dd576a8b538185628ad61169e","datavalue":{"value":{"entity-type":"item","numeric-id":5638382,"id":"Q5638382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722641$91BCA377-016D-4874-A5E9-110DA4C71397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986e05cfef1c53e891858a34a46638d4252221a1","datavalue":{"value":{"entity-type":"item","numeric-id":3518705,"id":"Q3518705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722641$D4D3186C-C459-45AB-9695-ED9D69E0DEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f831bdd0445bbb207a58535cee0f990813469d","datavalue":{"value":{"entity-type":"item","numeric-id":2655322,"id":"Q2655322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722641$EBC21DA3-0DF7-4755-A38B-CF5AC68904F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ea4bea3a26dadd5db9b6838471e47c0188e088","datavalue":{"value":{"entity-type":"item","numeric-id":3957010,"id":"Q3957010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722641$5C34D8BA-320F-4969-A5FA-4EC3B177BD01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e90475d43a0031b251277993604d00f2f690561e","datavalue":{"value":"10.1007/S10817-017-9438-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722641$BA8F3043-BBC3-49DA-82A1-7623E98E6F2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df76aaa32881bb02bdc91e7272b7a3d38a396dc","datavalue":{"value":{"entity-type":"item","numeric-id":2829255,"id":"Q2829255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ffcd4dab63742a8dae19baba52d396ce2668a65","datavalue":{"value":{"amount":"+0.98942893743515","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":"Q1722641$1E2A7900-898C-47CC-846B-AC110ABD603D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd3a83b4e0bbd3f73e4d5a24fe10a659f386cb10","datavalue":{"value":{"entity-type":"item","numeric-id":4972085,"id":"Q4972085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"191d58e9b558776d15f6e4da756938fd5e75c20c","datavalue":{"value":{"amount":"+0.8024075627326965","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":"Q1722641$6D091B23-27A9-4836-806A-804BE79DBBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e59f005c433f55a5046e51965b71d96cc6126aaf","datavalue":{"value":{"entity-type":"item","numeric-id":4071796,"id":"Q4071796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6f54621c207653505f0d7d78ee9601e0d2ab001","datavalue":{"value":{"amount":"+0.7607892155647278","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":"Q1722641$1693B14D-1C6B-449F-900B-C03E5EA1EA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb6e1f73c55360d1ef2f5b14636f6c73b4b018b","datavalue":{"value":{"entity-type":"item","numeric-id":3107113,"id":"Q3107113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a42f2f7a606f5c358d538793ef0a82796e416e","datavalue":{"value":{"amount":"+0.7579022645950317","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":"Q1722641$3B7E94B2-05A9-407E-9667-E4DA32E438F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"726288c21e693f857fdbcb3c0190619c9e3255dc","datavalue":{"value":{"entity-type":"item","numeric-id":2563989,"id":"Q2563989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc02b6b29104813cee1efc64363294f87a0629f","datavalue":{"value":{"amount":"+0.74252849817276","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":"Q1722641$B609E2A5-843C-4244-B02D-ABCB4FE060AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof pearl: Bounding least common multiples with triangles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_pearl:_Bounding_least_common_multiples_with_triangles"}}}}}