{"entities":{"Q1662225":{"pageid":1672966,"ns":120,"title":"Item:Q1662225","lastrevid":53174408,"modified":"2026-01-24T09:34:42Z","type":"item","id":"Q1662225","labels":{"en":{"language":"en","value":"A new style of mathematical proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6920265"}},"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":"Q1662225$D9AEB6DC-AA46-48C0-B2EE-9FF5E83C702A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eab52bcf6b19b199ba430092ca345ba862de8967","datavalue":{"value":{"text":"A new style of mathematical proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1662225$C641A29F-4BB6-446A-8C34-F6B471BC2AFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbcec347871a5ebed2b33ea30dfa969c6c93c98e","datavalue":{"value":"1395.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662225$49FBFABC-A98A-4132-90B9-FD37FA76DC68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bdaefcd1b5c16b948de35ce1eacf7a0063ea2ca","datavalue":{"value":"10.1007/978-3-319-96418-8_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662225$762052CB-3F02-4CF7-914A-DB6BEE0B287A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"596956d13d65318c3063740527340bc624646ab6","datavalue":{"value":{"entity-type":"item","numeric-id":174773,"id":"Q174773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1662225$4AB03D68-676F-4C46-B76E-3A9E62491C3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d202540b63b8c4b32047f2e7f472d0d69bf8092","datavalue":{"value":{"time":"+2018-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1662225$9B801A83-5766-4F5E-BBAA-4A1A8293503F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662225$2C723C13-4469-480D-B673-934BD92DA616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662225$61334018-E0BC-4582-A4E4-21A1B65E1383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662225$904953CC-F093-4D72-948F-56B7A372B2F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21ccf5a1fcf278c97033adf2104d372566de591f","datavalue":{"value":"6920265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662225$32F99461-422C-4F21-8454-22B2A0DFDC4C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7122f6b434ec62d62a0c28aa6b0d782dc60199d4","datavalue":{"value":"mathematical proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662225$B57E9657-3595-4D01-A855-FE0BA3773A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1a555baf865c864f1b827f1fc4f2f31599464d","datavalue":{"value":"traditional proof style","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662225$D847149F-3383-417D-B347-450F5FA27937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15c6bc5b740850b50a11ea24c5db5b4de630b6fe","datavalue":{"value":"formal proof style","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662225$C8FF01C1-027A-4A33-828D-68181013AA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"798e56ec0b0ef047d304a29b57004ea68428774e","datavalue":{"value":"universal digital mathematics library","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662225$956249DD-8FB1-411C-8D80-49B3D525F5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa66587eff3709f9103aa42f208722df39b7ab46","datavalue":{"value":"UDML","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662225$78D51EEA-FF37-4A99-BF62-4EA72AF80069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"461038fcc3a9edbf54685a1482d4c8d2cf56921f","datavalue":{"value":"little theories method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662225$67D543C1-FE45-499C-A639-7C17A47009D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"245aa48a52b1e381584a342ae2f1a8c44ca098d5","datavalue":{"value":"theory graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662225$FB3DD76C-5DBB-4FE4-A4D8-B8842AD14478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cce4b697dfea321a2599641b5b887890752afbe","datavalue":{"value":"flexiformalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662225$47C36142-05BD-4B12-BE15-8B7EA9D91A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a820473b385ab043dabe14cc812925cd849e9df8","datavalue":{"value":"cross checks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1662225$18D60B20-F172-4A12-B0DC-07F92732A84F","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":"Q1662225$5445512C-69B9-4587-B261-10F86CC5801B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ba29774cea33883d5418627ead5edcd28e97039","datavalue":{"value":"https://doi.org/10.1007/978-3-319-96418-8_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q1662225$12A1A185-E770-40C5-B1C2-B15E9F020FD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89d9a126eb767718fd066b35f7ce73f406919234","datavalue":{"value":"W2806692674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1662225$22C293DE-EE57-427C-8F83-BB110189C2B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb496ff782047b2099af04ec16756413ce47453e","datavalue":{"value":{"entity-type":"item","numeric-id":3686657,"id":"Q3686657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce6f8370d85e9d6ad8bdcebe1416a44d6cf4c52","datavalue":{"value":{"amount":"+0.7187129855155945","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":"Q1662225$B8CCD9D3-F88B-4CC5-9EA6-CABF43449B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca371bfeda32fe62a61ad72df5eb738de233367","datavalue":{"value":{"entity-type":"item","numeric-id":4261731,"id":"Q4261731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ef1de382cb622ef1fc2c3e72bf34901ec11b7df","datavalue":{"value":{"amount":"+0.7106863856315613","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":"Q1662225$B53A2FAD-1425-476C-A5D7-9BB0C0DAAD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77b3c56429c9c8743a5a714a691c631666af3416","datavalue":{"value":{"entity-type":"item","numeric-id":4890909,"id":"Q4890909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99a3d93af0be941c735f974fc7db22f430f00c0","datavalue":{"value":{"amount":"+0.7106574177742004","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":"Q1662225$3B8C0E3C-11C8-4A1F-97C2-6CB43DB98ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf0a8c02a057c776fe99c81438bcc29f9fca789","datavalue":{"value":{"entity-type":"item","numeric-id":5894879,"id":"Q5894879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce5791dc0e8167521225d452b17460925d0d523","datavalue":{"value":{"amount":"+0.7068341970443726","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":"Q1662225$C87DD342-542E-47ED-8F52-4924DD998D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab6ba7746db3411117fef3a34be889dfb4c4e69a","datavalue":{"value":{"entity-type":"item","numeric-id":5448310,"id":"Q5448310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"892e9277369b519fe62cb61f89ae2dbfa285e371","datavalue":{"value":{"amount":"+0.6987723112106323","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":"Q1662225$9888AA68-DEB1-490C-AB3C-1B88882717E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1662225","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1662225"}}}}}