{"entities":{"Q2117018":{"pageid":2127761,"ns":120,"title":"Item:Q2117018","lastrevid":57734721,"modified":"2026-04-01T04:14:08Z","type":"item","id":"Q2117018","labels":{"en":{"language":"en","value":"\\( \\pi\\) with leftovers: a mechanisation in Agda"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7493477"}},"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":"Q2117018$ED693EC4-08CB-432D-B92A-970019E60957","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18e0fc0e18b7b5ce6f9435998cba794515125657","datavalue":{"value":{"text":"\\( \\pi\\) with leftovers: a mechanisation in Agda","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2117018$0A2F494C-EC49-46C4-ACF8-6A30E86113F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17ec7d8dec2da018e1e80f023a498a1240e774e0","datavalue":{"value":"1490.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117018$468D37CF-C3D5-4B68-A6C9-7F95E55340DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19b3f35ea967d0191b9238ef28c518b382f0dd9e","datavalue":{"value":"10.1007/978-3-030-78089-0_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117018$E6154F67-9ADF-4A84-9115-0332E3ABEB77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4785294aa5041dea911bb676f1b5ca0c5e056c2","datavalue":{"value":{"entity-type":"item","numeric-id":2117017,"id":"Q2117017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$A43D6E5A-499B-4E7C-9690-BCFCBC40B39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9e4217002c0881a5f7ec0ded59f7697840edf24","datavalue":{"value":{"entity-type":"item","numeric-id":518893,"id":"Q518893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$CD0AE199-8FA7-4CCF-8297-78E99BF2A3C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d3dbf12e1376632bae2e48d8bc3683002116149","datavalue":{"value":{"time":"+2022-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2117018$43C27596-E452-42C6-A1BB-ED0748FB7523","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"adac8bf1c024da3f7ac3ccf3022eb219786c2037","datavalue":{"value":"https://arxiv.org/abs/2005.05902","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117018$61A2723D-AD6C-4468-9175-699EC1BABB4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117018$77A9E3B1-F440-4F41-8D1A-C314E59BE93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117018$74D25952-F5A8-46E1-B869-8A3065FE8904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117018$9795B75C-9871-497F-B275-52649A1BE369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117018$DC92027F-CBDB-4E23-886C-683300CE603E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117018$4B9ABB28-6ED7-4399-B1E3-82E89394C147","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb05fd23421edbc7e19101f76940bf2217429c78","datavalue":{"value":"7493477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117018$941F2886-6BE6-43EE-889A-889F413FD00F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117018$61B39548-C5DE-45AB-80F4-C2F6ED116A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e1274f9a42ee56b39863d4c156892237de6700","datavalue":{"value":"linear types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117018$E1D21B3E-899A-4C5D-95AF-9B739E6D4CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d7624919c7a41df0839c56b65d84acc41c0d34c","datavalue":{"value":"leftover typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117018$E67005FE-4B90-43E3-84C7-16081A4C853E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117018$029D92C9-B000-4CC3-8682-904F68824D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adf15c453b46bd7753fe7e18167d5fbe480bc3a1","datavalue":{"value":"mechanisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117018$035CA4D5-59D2-48D9-AD3A-C1E0AA196713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117018$04C5916F-FE53-4EF8-81AE-0BD6E63C2CD9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e2a74c523f453d5d9063194486bcb383c672e9f9","datavalue":{"value":{"entity-type":"item","numeric-id":20978,"id":"Q20978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$5B86B346-EB42-49F1-8AAD-DBDA53EEB721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aea350126982735e73539673e9998ee4fa425308","datavalue":{"value":{"entity-type":"item","numeric-id":32090,"id":"Q32090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$B2FF8757-B0B5-47BF-87F8-6BD9EA3449A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$DD707AFD-F45E-4866-A3FE-B901E4FA348D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$9070DD9F-F076-4CF7-ADA7-6E74D845AA1B","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":"Q2117018$98B68A70-BFAD-4F3A-B468-6CC1D164CC3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c9d84f97f3f55747d2a07765585a2db4db8874a","datavalue":{"value":"W3177385648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117018$EF113BD4-94BB-499D-88F1-309A3C730431","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8caffb1d99cd00097a4c61811b7ef8210bd41f6","datavalue":{"value":{"entity-type":"item","numeric-id":2871836,"id":"Q2871836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$98B621A6-798B-42ED-BE79-898E76099C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0df081610fe40d8d130fe7a26d735ecba5c2b3","datavalue":{"value":{"entity-type":"item","numeric-id":6060672,"id":"Q6060672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$893A1DDB-D598-4E70-9BA3-79A8F820654A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8324ecf1b83629f49a2cf02432ea440e2d5e9d22","datavalue":{"value":{"entity-type":"item","numeric-id":5145276,"id":"Q5145276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$8B288E92-747C-4638-838E-C6ECAB787B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decc23e3b901610c59b53d4c7d357a311f296c04","datavalue":{"value":{"entity-type":"item","numeric-id":5284548,"id":"Q5284548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$64D20908-CB7E-4C85-8593-C55AA21DE85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce39ca711bf99c74f8bdce078c27fed133ff4aa7","datavalue":{"value":{"entity-type":"item","numeric-id":5758048,"id":"Q5758048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$92B44264-1DFA-4E37-8CB6-7AADE2962296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354da199dbe1f7391127c09e8d66b9bd98941d08","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$9688E78B-3F42-4899-96E3-135CEC5BD04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7801674a23e06a59d417f3e874ab8fcaac0ff8a0","datavalue":{"value":{"entity-type":"item","numeric-id":2407105,"id":"Q2407105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$7884DDE5-899B-48DE-B39C-FE5A277182A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$B63F4813-F92A-42C8-B654-4DEFDE6503A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"411db536364a584b7722a27f23652b26d99d2fd0","datavalue":{"value":{"entity-type":"item","numeric-id":4413066,"id":"Q4413066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$9917A353-1E9F-4622-8038-50CB8641FE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78cf241232b9c9342d648ecb21b85fac04f06ee7","datavalue":{"value":{"entity-type":"item","numeric-id":4536440,"id":"Q4536440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$33DEB15A-A9FB-4A9E-8281-11062EF9A953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0191c8d55bfb13f05e230de930538ee944fa6808","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$84BD45CD-FEE9-4321-8A3D-403EC6A50C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ad39926d69ce0460ebe804af4fda0bdd5e7220","datavalue":{"value":{"entity-type":"item","numeric-id":4790662,"id":"Q4790662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$42A963D2-8B46-443A-AE59-2CDBA1073640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4e8e29d8772f6e638866432d4891bb06c3eeab","datavalue":{"value":{"entity-type":"item","numeric-id":5189644,"id":"Q5189644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$9F8A26F7-928D-4721-AF18-00CA3282060B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4e2516feeb49cb9b5b08d633631d211ee715cdf","datavalue":{"value":{"entity-type":"item","numeric-id":2988658,"id":"Q2988658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$41FB1132-0632-4E9D-B5A0-7A4CEF5605DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661452b1ae531815c88791d0d88c3db4ccea9a4e","datavalue":{"value":{"entity-type":"item","numeric-id":5741569,"id":"Q5741569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$577E4E42-21B4-4297-8FEF-814EE3B605DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bce890db8f764308dc9d80705e866747b01fc19","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$A65B64F6-336F-4FAE-91A3-9B1C62F96357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1620bc79adffbb9b0f00ce2b11a84d197fdf55","datavalue":{"value":{"entity-type":"item","numeric-id":2819854,"id":"Q2819854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$2B2A7ED3-8796-469D-90EF-4BF1A6C4A24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a06252384a0241337bdf3c51e24a574fd7b9b29","datavalue":{"value":{"entity-type":"item","numeric-id":5900554,"id":"Q5900554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$B41A9A2C-C322-4396-AF25-8B90C9D45781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90865b1c8552ad64f20c3edbd61195665c4a9e74","datavalue":{"value":{"entity-type":"item","numeric-id":4764609,"id":"Q4764609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$F4852EF4-AC16-4ED3-AE56-E03A703C1970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8fc169fa8502374ec38a912feacc8828421ebe","datavalue":{"value":{"entity-type":"item","numeric-id":3188289,"id":"Q3188289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$F8EDABEE-042E-421F-9968-ED4FF74D9271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$F63AD771-E1B7-44AB-A1E8-206276697E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$6C331AC9-4A48-4589-8E3E-BAE9DCB92726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$C3139947-351A-42B3-A21C-5990892E9F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f054d1c534dbec3ef29b40f00b53e78f40949dd","datavalue":{"value":{"entity-type":"item","numeric-id":2931809,"id":"Q2931809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117018$3E435C6A-9A54-4B43-986B-96EA93140884","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b72d7d3a0fb1daa603d4d0c6514e935242f6ad","datavalue":{"value":{"entity-type":"item","numeric-id":4370350,"id":"Q4370350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"517d11754365f2cb2d979f82c3f03671093703c2","datavalue":{"value":{"amount":"+0.7604353427886963","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":"Q2117018$39D2A361-0F73-4621-906D-82D3742C9B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449bd73628e26e8e9c6c8ab0b9e35067fa8e7c45","datavalue":{"value":{"entity-type":"item","numeric-id":5741562,"id":"Q5741562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f040f0b260d0e6e463297e215dca035bfc3291","datavalue":{"value":{"amount":"+0.7590473294258118","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":"Q2117018$E914D507-90B8-44B2-BFFF-79BADFB81206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"708f96d0fd2676f1f5ca438a298b0bddb7ff2002","datavalue":{"value":{"entity-type":"item","numeric-id":5310663,"id":"Q5310663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eebb28aa8fb3521c4514ad2598052accd06cf82","datavalue":{"value":{"amount":"+0.7502689361572266","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":"Q2117018$30061FDC-CA65-4FA2-8D49-78D9F2227FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9a2ab61bcbb5e352bd51746056edbe19c86c63","datavalue":{"value":{"entity-type":"item","numeric-id":5898625,"id":"Q5898625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc0ba427941d9f67bc496fe18a38a0fda451fdb","datavalue":{"value":{"amount":"+0.7476598620414734","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":"Q2117018$916F1C57-96FB-4DBC-B2B9-1E62BE0672BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ed0151dffa42408898580243886fb355629cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2830028,"id":"Q2830028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eaa2f4a7a12ef950935f4d1cf8220b5a0faf944","datavalue":{"value":{"amount":"+0.737943172454834","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":"Q2117018$DB2C22A4-75C6-4ADB-9139-63C14CBF6E38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2117018","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2117018"}}}}}