{"entities":{"Q2829238":{"pageid":2839976,"ns":120,"title":"Item:Q2829238","lastrevid":52660040,"modified":"2026-01-23T05:17:09Z","type":"item","id":"Q2829238","labels":{"en":{"language":"en","value":"An Isabelle/HOL formalisation of Green's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644733"}},"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":"Q2829238$32410BF3-BC8F-4137-955B-38206ED2BC29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8164b1e0089701cf99dac4f4ef0b2e8e09eba00","datavalue":{"value":{"text":"An Isabelle/HOL Formalisation of Green\u2019s Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2829238$699C6DE4-8558-4F8A-A35D-41A234E039A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b615ea898e9700f8ccbe9d2d200b075f3979008","datavalue":{"value":"1468.68312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829238$5ABE0E17-5C76-4726-A5D0-91DE13CAF8C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b0381a3e5f4ceb8eb44c92a67014a3cfc0eb57a","datavalue":{"value":"10.1007/978-3-319-43144-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829238$C0671E5A-CF65-4557-B325-B85FE797A711","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":"Q2829238$72C3BC1B-297C-48C5-9074-4AB55BA67AAF","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":"Q2829238$0B5FA917-FB45-4E24-BBFA-41AF28876308","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829238$24DB6ED5-AE12-4EC9-BCFC-7B1291BBB818","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2829238$5BDA6321-CA9F-4088-80C5-3A94133BF205","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":"Q2829238$AFF09C4C-A7EC-41E6-9C12-1680AEFFA7D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829238$4E7710F6-FC73-47E4-A7B1-CCFE026D5231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"129fe865897932151f512806eadfaf2d6b75be2b","datavalue":{"value":"26B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829238$5DFAD906-648C-46FB-945B-45AEDAC56CA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"661e068f8cbd29dacfd42a5568355389ebabef23","datavalue":{"value":"6644733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829238$81406247-5529-4AF1-9946-6F49662BDBC4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8c8d4727a5575adb5d6f62326c24c4a66fa35890","datavalue":{"value":"Q57382542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829238$D4B20897-8A30-4E73-B8C5-7DB327D81F64","rank":"normal"}],"P1463":[{"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":"Q2829238$DD420491-6958-40FE-90FF-FB21E2F7C1E7","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":"Q2829238$18D7207C-AD74-43E2-979E-C40EEE2E8B19","rank":"normal"},{"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":"Q2829238$5D177286-FBC0-42A3-A1E5-019B412CCD4E","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":"Q2829238$8827FA7D-CB85-4A3A-B54F-289E960EA38A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81f21f32a6776db8916e4948b2aa26f20ff8609c","datavalue":{"value":"W2503421619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829238$39230B50-E285-4C1D-ADF4-AAE09E4AEBF4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2767d6dbc6b179594064d21890fd29f051e220cd","datavalue":{"value":{"entity-type":"item","numeric-id":5565773,"id":"Q5565773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829238$BE00BC8D-0603-4C08-AF3D-B6BBAC06849B","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":"Q2829238$96278498-18E4-493B-BC03-2A80E233E3AD","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":"Q2829238$09B050F8-E30B-47A4-ABAD-24CEE7083336","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":"Q2829238$D52E3813-CECF-4B39-8986-A8F1F9E2DD98","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":"Q2829238$E949B913-F68A-4E69-B339-8212182251AD","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":"Q2829238$BF5F8031-EC07-456E-A8BE-FD4532330F79","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":"Q2829238$C559AD89-4F07-47CD-9D15-46732B0FC30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbc4087ed347c6b3c7b9ce7bc5153180cdc0b084","datavalue":{"value":{"entity-type":"item","numeric-id":5601274,"id":"Q5601274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829238$B2261C3B-8BB8-4690-B64D-D78DE33B4A39","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"02781b80311963e794eae5d3f51a9de2c1e75fc5","datavalue":{"value":"conf/itp/AbdulazizP16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829238$25E982E8-8212-46C1-A8A6-2F6B76366EA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abd89d6d8350306bf45af671201bd22f55a1b29b","datavalue":{"value":{"entity-type":"item","numeric-id":2323451,"id":"Q2323451"},"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":"Q2829238$3AAC5F9A-FB06-498A-843F-3253680547CA","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":"1d01cc7790b295bafaf7de55c0439b6c62d87ba2","datavalue":{"value":{"amount":"+0.7224046587944031","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":"Q2829238$1AD5669D-DD5D-413C-A2CE-ECAE33B8509C","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":"903f2193e0ac66741051ab94141b740516faae45","datavalue":{"value":{"amount":"+0.7014172673225403","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":"Q2829238$67A9D462-EF15-4096-B0AE-098D10327B73","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":"a1c63a6dae23964ceafb279f74d4e3fe37d5455d","datavalue":{"value":{"amount":"+0.6981775760650635","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":"Q2829238$21976BDF-CCE4-4F65-8D8E-726B520AA083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b92f7308b234648893bf056f8812b54c4ffc13f","datavalue":{"value":{"entity-type":"item","numeric-id":3198035,"id":"Q3198035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c280dd7ac6571e04f1106b70c8319cb3ee3d8f","datavalue":{"value":{"amount":"+0.69427090883255","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":"Q2829238$322AC428-0709-425E-A9A7-A19D7915C4E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2829238","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2829238"}}}}}