{"entities":{"Q5747876":{"pageid":7777427,"ns":120,"title":"Item:Q5747876","lastrevid":51080669,"modified":"2026-01-16T13:42:18Z","type":"item","id":"Q5747876","labels":{"en":{"language":"en","value":"A formal proof of Pick's theorem (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785563"}},"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":"Q5747876$9047A20C-C9A3-468E-8952-B1ACC423A380","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e915db5907ba89cb5103f944540f539d064edfb","datavalue":{"value":{"text":"A Formal Proof of Pick\u2019s Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747876$CF4F975A-664E-4E1F-A3B4-B7696A20E4F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b96bc17e2aad95f49582f892b88453fd7300070","datavalue":{"value":"1294.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747876$0DB28BBD-1B3D-4256-BEED-6D8CBC439E55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96e9228bbc9451f9fb73425d61f65f708172b610","datavalue":{"value":"10.1007/978-3-642-15582-6_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747876$FDDFD885-BD26-44DF-8101-736A8298B95E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a5945d2a448b067a1cf2f5ac3296fac055bb088","datavalue":{"value":{"entity-type":"item","numeric-id":5747846,"id":"Q5747846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747876$7285D41D-3B13-4F76-93A2-55D9E6DB6100","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747876$5EC5003D-9EEA-477D-9A6B-61DCA3A44014","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747876$FEC766B8-EEE3-4438-B43F-C481BC026BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"af43e7cbc79593ca17506fb50fa90b43257f791e","datavalue":{"value":"11H16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747876$BA188431-9045-414D-B0F2-9045E2B862EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a9a3cc9d8dbe21daf76270a263ac1d6ebdfc38d1","datavalue":{"value":"11P21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747876$9388B0F6-5518-47F4-991A-CB0CDAF92CD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c151d661eba258f618bbd09f107422697fa70f8","datavalue":{"value":"5785563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747876$D1464BA8-C0D0-4265-A6BA-8683AF48910B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747876$3559F0CE-63CB-4BEE-B0CB-9256B265DBE1","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":"Q5747876$169248EF-DBA7-4928-A965-35CE5F72F718","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab5f091759d79665dd4580608c59c50dea820644","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15582-6_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747876$F3FB1646-AF72-448E-9BA0-6242D30B1651","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c8b88eba7eda41986462330078b98acd710d5b1","datavalue":{"value":"W70939740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747876$B2B56D12-C4E3-4CEB-9291-3CD699C36F09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"321255606fd392f1bd89d5d6c4c99b80b45ce3d2","datavalue":{"value":{"entity-type":"item","numeric-id":3094172,"id":"Q3094172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30056dfb02338834057f6de6b1562068453af63b","datavalue":{"value":{"amount":"+0.9494410753250122","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":"Q5747876$43BB3064-D8B1-474A-9533-1FB94786CC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b534eeaab2e8bd3a33225a16212c5f2572c6c3","datavalue":{"value":{"entity-type":"item","numeric-id":4859604,"id":"Q4859604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2bdd8e69bc68f0b5cb9b69b4faf1c826c7c310c","datavalue":{"value":{"amount":"+0.8213561773300171","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":"Q5747876$A86C8E76-90C7-4FB4-9370-89930E2472D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d445a98c5310032c37655e224f10bf8d9448be2","datavalue":{"value":{"entity-type":"item","numeric-id":5749895,"id":"Q5749895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2bdd8e69bc68f0b5cb9b69b4faf1c826c7c310c","datavalue":{"value":{"amount":"+0.8213561773300171","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":"Q5747876$A428D70D-FB61-42B2-A8C0-3F7A867A3B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b002d6687484d9cbb6863a9cf3e2ef9ddcea08e","datavalue":{"value":{"entity-type":"item","numeric-id":4676002,"id":"Q4676002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54dd942f264874eb05b17cd3f062a1df8700421f","datavalue":{"value":{"amount":"+0.8129041194915771","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":"Q5747876$CEE75955-2202-46A3-8041-66353513DF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0341196e1b1fd24a1a4a8779f0e1f9a13f03fb","datavalue":{"value":{"entity-type":"item","numeric-id":3527592,"id":"Q3527592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f61830e0de574f6fe16c28f78232b4affa0f03d","datavalue":{"value":{"amount":"+0.8110080361366272","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":"Q5747876$04C6BDC8-F3D4-4DE4-80A4-0D53A731F305","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747876","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747876"}}}}}