{"entities":{"Q2323451":{"pageid":2334194,"ns":120,"title":"Item:Q2323451","lastrevid":53518511,"modified":"2026-01-25T03:28:03Z","type":"item","id":"Q2323451","labels":{"en":{"language":"en","value":"An Isabelle/HOL formalisation of Green's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7100462"}},"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":"Q2323451$B016AE54-D223-4898-AD62-AEC85E13BE23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6144554cf6e02d2bc0391e483a3a13743046fa79","datavalue":{"value":{"text":"An Isabelle/HOL formalisation of Green's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2323451$BC3A066E-446F-4F1B-8C2D-AF37753460A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f6da4b2c5646f73515aa2d73c0e4a476037c14b","datavalue":{"value":"1468.68313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323451$61D47F3A-C9D0-4994-BA70-D6FC5BEE35E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f0be3c33817dec30ca405b4332fb07d2bfa84bf","datavalue":{"value":{"entity-type":"item","numeric-id":1663243,"id":"Q1663243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323451$A8911C6E-B45F-4382-A233-254445D5BA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323451$8643FB17-95E3-4B00-A98F-3C603956486B","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":"Q2323451$9BF78D4D-CFBA-4440-8B50-99A93ADA3499","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bb2730e245e69026d7d337b11c937cb60d6f2b0","datavalue":{"value":{"time":"+2019-09-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":"Q2323451$47094C82-3F78-4FBC-ADF8-97A0C9D7DBB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"434708a892dedbac9987fadcfd41c91c653eec84","datavalue":{"value":"https://www.repository.cam.ac.uk/handle/1810/262376","type":"string"},"datatype":"url"},"type":"statement","id":"Q2323451$FE0B365A-2FD6-4950-86FB-3DC38A5080C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323451$B04A71B7-3BE1-4637-8C44-A7E82652467B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"129fe865897932151f512806eadfaf2d6b75be2b","datavalue":{"value":"26B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323451$9AFD559D-EC53-4D07-A9B9-1815B8D97E01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20627274030b4d321a553ac5d70a2c5b6b8ecad3","datavalue":{"value":"7100462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323451$F2EF2830-18CD-47F8-99F0-BEB98D80CC2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c908e3891683d83ddbcdf71fc30e31eab2e1172f","datavalue":{"value":"formalised mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323451$4436E2A5-2DC0-4543-A997-26967D0F7781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"660c6dac8d2ba08c47f8b415729dd36f03b06b49","datavalue":{"value":"mathematical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323451$531673A4-2A17-470A-B8EF-A67F833850B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a31b1361422a7b483b1e66aaaaf4e70ae6bd380","datavalue":{"value":"multivariate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323451$667AE201-FB00-467C-9928-A27FE959D92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18a5ffb81fbcdf69a71a467e4b74acdf5d7afc92","datavalue":{"value":"mathematical physics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2323451$40FD4215-8E11-4829-ADC9-D084B64CA217","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323451$273E3DBB-E657-406A-812B-86E55DF796A9","rank":"normal"},{"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":"Q2323451$F30CF550-76C5-4364-AB2D-98179C419B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323451$66B59DC8-E66D-4922-895B-CC0EEED3B4C6","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":"Q2323451$9249B531-96B2-484A-8920-8CEF555CB734","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e99be66e0649e16bc9f851a1fb9ff49c654a740a","datavalue":{"value":"W2900255997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323451$25D7081A-1EB6-44D2-9B15-792E12E77F91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78fdfaa2e085562091eb227b83fea97fcca8bdc8","datavalue":{"value":{"entity-type":"item","numeric-id":2829238,"id":"Q2829238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323451$2AAF3B92-4A42-4FD5-AACD-2C97AF0FA0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640541bde62fb3c1b35c82df10682869cee16c75","datavalue":{"value":{"entity-type":"item","numeric-id":5577281,"id":"Q5577281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323451$7F1C1937-E83C-467E-9BD2-543BF70CB371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86130f82f7d1626397998647d55cf07876c242b9","datavalue":{"value":{"entity-type":"item","numeric-id":1907534,"id":"Q1907534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323451$08293734-94AC-42C7-9660-4DF255CF9C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ef84619234e2e46e8c4513d6d1ef3cba6f5b65","datavalue":{"value":{"entity-type":"item","numeric-id":1945903,"id":"Q1945903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323451$01294E5C-6D5C-4D02-AFA2-035168D32ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34dd873a66486e9e38fc156a4b8aa6ba19960bb7","datavalue":{"value":{"entity-type":"item","numeric-id":3088003,"id":"Q3088003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323451$2603F074-25E4-4709-A0DD-678FA05B6706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d360f4c10b4163627f57faa3db163275ea6a011","datavalue":{"value":{"entity-type":"item","numeric-id":5327350,"id":"Q5327350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323451$34E730BE-01FF-47E5-8E86-31697E687236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b443e2d114b28d492f220debe3a14c5d102e9e5","datavalue":{"value":{"entity-type":"item","numeric-id":3198035,"id":"Q3198035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323451$A342C05E-DB2A-47B2-9486-D5BEAA160EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a4c54bebb2fb50beab7c27b086bdee0a719382c","datavalue":{"value":{"entity-type":"item","numeric-id":5848362,"id":"Q5848362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323451$37E85B67-D353-4295-B703-BA60DCE69F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323451$D2363087-10B9-4205-9002-FB2F63CF4781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa19f151f45c2883e8e253c9bcead0010cd737e5","datavalue":{"value":{"entity-type":"item","numeric-id":4223154,"id":"Q4223154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323451$5CC2C2FF-0ECA-4F12-8A5E-2229C548CD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4127163a110eea17b9b8629ef157a4bd816314a","datavalue":{"value":{"entity-type":"item","numeric-id":4486015,"id":"Q4486015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323451$CA417A02-309E-4B90-8BF9-341F4FBAA982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5615f5de2885edf3a547a5bc0b860fb9a0c7b9f1","datavalue":{"value":{"entity-type":"item","numeric-id":3169192,"id":"Q3169192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323451$E313F28B-E813-45E5-B2E9-90CA1D3E4A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f154ed6511405fd4f83853438e2966ca3d49b409","datavalue":{"value":{"entity-type":"item","numeric-id":4490681,"id":"Q4490681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323451$616CFCCB-2DA8-41F7-BDCD-E9BEC0887805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e9d68914c0bb20a68ff8a98ea449b9bef38324e","datavalue":{"value":{"entity-type":"item","numeric-id":5907034,"id":"Q5907034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2323451$B5355048-2717-47AC-B234-5BB47BAE473F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d33904b6f6c7cd6aabe113bb311020d3c3896b8","datavalue":{"value":"10.1007/S10817-018-9495-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2323451$09DE945D-32E7-4338-A9EE-1FD227C215CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aab297f6d5d50aa494945cc26ba9dcfccf2c10f","datavalue":{"value":{"entity-type":"item","numeric-id":2829238,"id":"Q2829238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e673cc6457e6561b2ded90ed047828e0fd89171b","datavalue":{"value":{"amount":"+0.9422948956489564","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":"Q2323451$5E65DEB5-F9DE-40DA-9F58-AC5494CC76B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8bfe1579abd1aa529055d84308768a923e2bf5d","datavalue":{"value":{"entity-type":"item","numeric-id":2754041,"id":"Q2754041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3615514bd74268e0249ca9d1ac7bfd6deef5d9fd","datavalue":{"value":{"amount":"+0.7262118458747864","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":"Q2323451$CB11CC2E-6DE0-4057-A430-D7E036AB8EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eae89e07503493be40df59194450b06ff250806","datavalue":{"value":{"entity-type":"item","numeric-id":1775158,"id":"Q1775158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f07cd80c7da22b73323471789babec82db06c43","datavalue":{"value":{"amount":"+0.7237260937690735","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":"Q2323451$14F5BA07-27A9-42F7-8C55-1F0E51A727AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f09903e494277d353d2220bcec3796967e689850","datavalue":{"value":{"entity-type":"item","numeric-id":2829261,"id":"Q2829261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f5c38d36103accff6674e45348b51ffe8aafa0","datavalue":{"value":{"amount":"+0.7058554291725159","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":"Q2323451$DE507262-EFEB-4FA6-884B-208321F267A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57b147ecec191e315db2052e5efa46687045fc95","datavalue":{"value":{"entity-type":"item","numeric-id":2501028,"id":"Q2501028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42059e670840ea0ff9a4c0ff66416236ce6255f5","datavalue":{"value":{"amount":"+0.7001122832298279","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":"Q2323451$72BBEF7F-74FA-44B1-A44D-6F2D93A86A43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2323451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2323451"}}}}}