{"entities":{"Q2147687":{"pageid":2158430,"ns":120,"title":"Item:Q2147687","lastrevid":71406204,"modified":"2026-04-13T22:04:17Z","type":"item","id":"Q2147687","labels":{"en":{"language":"en","value":"Pegasus: sound continuous invariant generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7544940"}},"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":"Q2147687$EA8FB2C4-4794-4931-85A3-DF250C48AF5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"393452f8a40cf32c3c142ba0b63f12c979cf9435","datavalue":{"value":{"text":"Pegasus: sound continuous invariant generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2147687$56BDAA13-D034-4DB4-8F09-4B821387FA65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6e2a5e9b76997021a3d81b1774f7f14afcf5e73a","datavalue":{"value":"1505.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147687$29F1A464-749B-4B9B-8BBE-5C6BD5150AD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c266f039dc6060320eaa17f05328c86c3c95be0","datavalue":{"value":{"entity-type":"item","numeric-id":681338,"id":"Q681338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$9F34F59F-7657-4A03-87E0-12D62F83C0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b16426e16334f11344c5d2b57762ae4aeb39220a","datavalue":{"value":{"entity-type":"item","numeric-id":681464,"id":"Q681464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$3B08CB75-175B-4543-B9C5-14E273C1251B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d8505fc68a1c1f3753cae6e600a747c5cc24257","datavalue":{"value":{"entity-type":"item","numeric-id":1799128,"id":"Q1799128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$E3FB2341-E0BF-4E28-9BBB-6CA3E0E5D8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f30f11928671b4270500ff04b24a50b4f8b7866","datavalue":{"value":{"entity-type":"item","numeric-id":252484,"id":"Q252484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$468C6A4D-1789-48D8-A452-696C426FB70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc654f17b8a10219c5683cabcebc6a770c6278e4","datavalue":{"value":{"entity-type":"item","numeric-id":681339,"id":"Q681339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$6BD3E1E0-9FD4-4C38-898E-218807B4144E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$016C8A21-1305-41E0-8CDB-E38B1475CB9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95e580f4051f5bb4afafd11f30b01e18c9a41ef8","datavalue":{"value":{"time":"+2022-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2147687$7EA23BB9-5CAE-4760-B8D4-963FA057A93A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c94a6d3d23bb7c2f4e5c65b515e28a387888944","datavalue":{"value":"https://arxiv.org/abs/2005.09348","type":"string"},"datatype":"url"},"type":"statement","id":"Q2147687$E2417775-16D7-4B79-A43A-926407EF2BE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147687$A01B19ED-1FD9-4511-B3EF-9F5C3EC34E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f7b1732fdd59737d4e26519c7f319134a110e70","datavalue":{"value":"34-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147687$C9506DDC-06B0-4D24-9467-FE8878AC7F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147687$873250A3-FEA7-4C33-89CF-8333B510267C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147687$8012D270-151C-4FAC-9A4E-A05349D643ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59a0836213ef5bfad6945b70ec3a0bf06ebbeb16","datavalue":{"value":"7544940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147687$B7CA015B-0F85-429C-A358-70CA55559D0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e4824208d7bba949dd72987d32ffb13493eeb0e","datavalue":{"value":"invariant generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147687$84F5F326-05E6-4C02-B87B-4EBF8DD346D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e9b118c01af656085e6c070811f6b73a3e847c7","datavalue":{"value":"continuous invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147687$DA180471-D339-413D-A0F1-6CC062C3FE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"993f9a496ecd5d3ee521ed2547719fb6af15d882","datavalue":{"value":"ordinary differential equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147687$FC9B5DB2-9B13-4A2D-9454-51E229F81F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147687$C6F17453-51D7-4FFA-A174-D3D30A17A91B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"447ed476ea2d33e7f18cbdfc58f8107b193b1415","datavalue":{"value":{"entity-type":"item","numeric-id":35704,"id":"Q35704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$1A93A8D8-7BB6-4CE2-A738-C5C2D9ACD8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f08861710da2c3ab20c729d07f0daba38ad899","datavalue":{"value":{"entity-type":"item","numeric-id":35705,"id":"Q35705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$EFF6BD7B-C0DD-472D-A9A2-544A8A42198B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4898c6271bc41ce77a9118a1243458fb3e5d6182","datavalue":{"value":{"entity-type":"item","numeric-id":4023101,"id":"Q4023101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$B18D6C45-FBBD-41AB-93FB-58459DF15C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de769d7300343957443198bf6a688a29343009d8","datavalue":{"value":{"entity-type":"item","numeric-id":5520200,"id":"Q5520200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$3B3D5901-D23D-40A2-8D93-A2415E3FDDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243a6919775547513efe54c07204bdd5762609df","datavalue":{"value":{"entity-type":"item","numeric-id":1683444,"id":"Q1683444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$7BA6ADDC-A24B-4DD3-A6B4-637C3082C04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494aa31720bff090f87eabeb86ce7380ba058cbf","datavalue":{"value":{"entity-type":"item","numeric-id":5747649,"id":"Q5747649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$F5F677B4-EC51-404B-9CFE-180D328FA778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ad3b78a664643f19b3ee97851a9e734914e232","datavalue":{"value":{"entity-type":"item","numeric-id":2305408,"id":"Q2305408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$DF62716D-84B4-4F33-8238-B4152E7F2E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f0976adfa4e2a5288ab46f8ff3a6e68efa13a7","datavalue":{"value":{"entity-type":"item","numeric-id":5472808,"id":"Q5472808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$BB2E11A5-F85B-4D08-9459-ABF07571C675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$FD58274B-59AE-49B6-A9FC-BB74E1463CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7e5ea8b887807f5a5d06a897412368d42a81e7","datavalue":{"value":{"entity-type":"item","numeric-id":5245268,"id":"Q5245268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$70219ABA-807E-4BF0-ABA3-FE8B76DAA59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1fcf06ccee920490b3d66824e63f640f0869afd","datavalue":{"value":{"entity-type":"item","numeric-id":507352,"id":"Q507352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$BAFE390B-9DCE-4C0A-AE24-E32FD34D4884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53bb226811329d6404760983330b254675bd6901","datavalue":{"value":{"entity-type":"item","numeric-id":518335,"id":"Q518335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$6382CD3C-7CC8-4058-ACF3-D53E2DF0D2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af52b6b8946abfd14de05204763d72776cc5bb89","datavalue":{"value":{"entity-type":"item","numeric-id":1773858,"id":"Q1773858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$54552980-1912-4C56-A775-EE5B1F341599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72f2eb22d509a5ff9184858b2bc23cf2958ad778","datavalue":{"value":{"entity-type":"item","numeric-id":611135,"id":"Q611135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$5ABF7316-6E27-4D51-B8F8-0B0BECC1AF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deca8e7cc2cdbbb92d4c53af7a05e4b98800b98c","datavalue":{"value":{"entity-type":"item","numeric-id":1687737,"id":"Q1687737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$119DE532-800F-4577-826B-292BACE80D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89325b91413c3f79263a65cf9e0fd24d71fc02af","datavalue":{"value":{"entity-type":"item","numeric-id":3454120,"id":"Q3454120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$B45ABAF4-E573-4828-8D2F-DEF3B71A62F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f0f63012bd8a792f6bfe8c36d172c7ab45bdf7","datavalue":{"value":{"entity-type":"item","numeric-id":4682245,"id":"Q4682245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$C1466B16-F628-488C-8A73-CE776674B1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0d03d7de94a3f49357690e576b86d31855df35","datavalue":{"value":{"entity-type":"item","numeric-id":681340,"id":"Q681340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$4E0E8D03-30F0-4E43-86A3-4308B138D335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65aeb240fe86ed1d1dc3bc4f2194cd78d52efacd","datavalue":{"value":{"entity-type":"item","numeric-id":2756510,"id":"Q2756510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$A23606C5-B151-4267-9E70-B8EFE58586AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb860ace0e36c82a8ecef7053057816d881aacc0","datavalue":{"value":{"entity-type":"item","numeric-id":3512493,"id":"Q3512493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$BECCB1F0-6B09-4911-A186-3A40298D5981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb2190584b47fd8e5ce7c9b972c59ca55a9d6c5","datavalue":{"value":{"entity-type":"item","numeric-id":5440982,"id":"Q5440982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$E5F5491B-E8CD-46A7-BF14-985FC92FD618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fcad4de67a0b259d2e18b6ea1f1cf2651bec37d","datavalue":{"value":{"entity-type":"item","numeric-id":2986958,"id":"Q2986958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$481707D9-3E9F-46CE-BC5C-BF5DE2A1AB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371dbe88a742404ff35111c3c31d128d876ba05b","datavalue":{"value":{"entity-type":"item","numeric-id":2709206,"id":"Q2709206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$E480745C-6E88-4A04-8DA9-3ADB8A80D775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa517a2e0064dd419e463d97e75cba6dcf0fa801","datavalue":{"value":{"entity-type":"item","numeric-id":5275329,"id":"Q5275329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$C044E9D4-37A4-41A6-B550-F1621DAFCB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017b08dbe8cbc692cacc21526128e74dcdf13be4","datavalue":{"value":{"entity-type":"item","numeric-id":2864837,"id":"Q2864837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$5AFDF3C1-A982-41DA-873C-08401D64FC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fc00745ec3d767981805e52c2b6fd5aff5863e","datavalue":{"value":{"entity-type":"item","numeric-id":5945290,"id":"Q5945290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$99660205-8720-4DE8-81EC-B68C9F7A880F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b53542ea4e1c2ab301df7b4fe47c29894baca9d","datavalue":{"value":{"entity-type":"item","numeric-id":4830762,"id":"Q4830762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$0FD8C517-F59D-4FBE-AD0C-0E9BDFE6432C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88f141a44376a6ae077a292e7ff5e01bf869b9f","datavalue":{"value":{"entity-type":"item","numeric-id":1322770,"id":"Q1322770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$658E9202-7384-4CCF-935F-6BBB07C567CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a0b56a7e290b6e8bae735c8d072c6675961d3d2","datavalue":{"value":{"entity-type":"item","numeric-id":4847264,"id":"Q4847264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$7270631F-0490-4854-971F-552E134DF678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31385ef3ca1eb53ed08bbfa48b8b91d2510acbaf","datavalue":{"value":{"entity-type":"item","numeric-id":4282674,"id":"Q4282674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$DD916398-BEBC-4EB2-8C60-42AA34861CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016a601abae689f4b07b54d96bdf8c9c703b4d29","datavalue":{"value":{"entity-type":"item","numeric-id":681465,"id":"Q681465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$815BDC0A-B9A4-4618-B0BB-3C5CF6BBD6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b471c92ebd5ca4dd70ca6b270dccac40e45b12","datavalue":{"value":{"entity-type":"item","numeric-id":4942663,"id":"Q4942663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$2740D4E2-9B2E-46FD-A1AD-30E52846BC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c347c60e13d160aa53a2f40cfef7b79c62c55cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$171B9EC1-95F6-4822-A7A5-A214F87A8476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d2f52869cc0cd76376bff818708073df94b6b5","datavalue":{"value":{"entity-type":"item","numeric-id":2986831,"id":"Q2986831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$AFBDEA6F-0A36-4A62-B2DB-EABB6289D328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df50ec43f5fe1cf9495da45564bd67d2f85b11c","datavalue":{"value":{"entity-type":"item","numeric-id":2914730,"id":"Q2914730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$2231091D-CDC6-4EA9-8BC6-877B6334C631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b91c17eb426dae0dddf6a4c3a8672996b8f72054","datavalue":{"value":{"entity-type":"item","numeric-id":2986778,"id":"Q2986778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$82BC35A1-6E46-46E8-9C61-842304375604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb61c5c1ea145b3c800d5c014b2c4590b1c48513","datavalue":{"value":{"entity-type":"item","numeric-id":1707599,"id":"Q1707599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$249FEB48-1A2D-4B04-B439-377C5AEA063D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824389a8f5dc506b24b24fed3e3137a7680ea62a","datavalue":{"value":{"entity-type":"item","numeric-id":1039853,"id":"Q1039853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$1DC7D8A4-AC9F-4E89-8C3F-EC267AAAF09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b3fbc226d62731020dc0ca64fe7600f26430f11","datavalue":{"value":{"entity-type":"item","numeric-id":3541700,"id":"Q3541700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$F0C5E48B-A8F5-42B9-8F24-AE59750D2622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3219ff8350953aed12855f50a7e04d28ff461e5","datavalue":{"value":{"entity-type":"item","numeric-id":5191121,"id":"Q5191121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$C9266417-BB2F-433B-9417-AAC4C2D83FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"218c53391ae9fb7c615487eb7a2c2b34850987d4","datavalue":{"value":{"entity-type":"item","numeric-id":5133962,"id":"Q5133962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$9085405C-92DB-4EAC-8DD8-46BE4B5A4A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76609acc4351e6a7f36d10da28815b5e8f584e55","datavalue":{"value":{"entity-type":"item","numeric-id":3849114,"id":"Q3849114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$93B3ADC5-B47F-4052-8D8E-E792D8C68E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad41628e5c514648aa3055d776621cc63b95ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$10975C80-A686-4BEC-AC48-EA8FBDD9FCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12760a7b2e52b82d517ac3b3a3918504370739fb","datavalue":{"value":{"entity-type":"item","numeric-id":3043267,"id":"Q3043267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$F076097C-3741-4586-8F90-383340789603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"699ad164ec8c5948d3b55b5fd743986f0980e520","datavalue":{"value":{"entity-type":"item","numeric-id":2355695,"id":"Q2355695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$06FC2847-0198-4655-8961-0551AFEE4776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b076775e93ecdd73dc06b7525c703ab85bf61f","datavalue":{"value":{"entity-type":"item","numeric-id":4011324,"id":"Q4011324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$123D22A4-BCAC-48C4-A951-7CFA550FCA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5334e67e9482e264bdd65149cb10cc8102a06b12","datavalue":{"value":{"entity-type":"item","numeric-id":5703954,"id":"Q5703954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$D2C9C473-5B9F-4E6F-9290-78B62CB980EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138fcb6fd568edb6ff654ce8adf61403d41b55de","datavalue":{"value":{"entity-type":"item","numeric-id":1240840,"id":"Q1240840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$0F1D9A06-1289-4F0F-B470-2232DE3B6E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5f5be72e497e7af12af00dbd2ffb3207eba819","datavalue":{"value":{"entity-type":"item","numeric-id":5916266,"id":"Q5916266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$54F5979E-6C7A-420E-8000-3D3154CA758E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc29f24a6da7e3dd6b40a6898c801c4a04d893d","datavalue":{"value":{"entity-type":"item","numeric-id":4341368,"id":"Q4341368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$A8C67328-3413-4B05-AEC3-7575921DCF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97b423288db2cace6f38c3624e32868ede2ec55","datavalue":{"value":{"entity-type":"item","numeric-id":2985884,"id":"Q2985884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$B1C622F2-9F16-42D6-B75C-E6894E7EC974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7a095c5324affb0457dc3c701ea0f2b468905a","datavalue":{"value":{"entity-type":"item","numeric-id":2475635,"id":"Q2475635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$78D4EBA5-95F0-45E3-B951-0B1465E808CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec26478dd68de86e9a5cea5d320ed8880a76cf36","datavalue":{"value":{"entity-type":"item","numeric-id":4280774,"id":"Q4280774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$89C7ACE3-8C8D-49C0-9F83-B45D7D462AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63bba51db8e02d0d68d81b8354f10ee0a46b6229","datavalue":{"value":{"entity-type":"item","numeric-id":2642102,"id":"Q2642102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$91B3F23A-3DED-4652-BDE4-59D5379ED598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c2b7fc33a475beafbd49feaf7bbfdd236aafd8","datavalue":{"value":{"entity-type":"item","numeric-id":1402734,"id":"Q1402734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$B3D1509B-3A2B-4F6A-AAA7-CD005DFDC403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2393e97e64ee18f1cafb22397a643f4447eabc","datavalue":{"value":{"entity-type":"item","numeric-id":4003793,"id":"Q4003793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$6F5409B5-A4D2-4545-9ED7-1DA522BEB15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94e61b4ee982a3f2d9587f7f76245f34fa50d117","datavalue":{"value":{"entity-type":"item","numeric-id":2796055,"id":"Q2796055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$CAA2C05B-62F7-421F-A23F-A12E5ADDE7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e2f54ebc2c78782209de3b57bb281b1445e958c","datavalue":{"value":{"entity-type":"item","numeric-id":2024361,"id":"Q2024361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$8D4141AE-E223-44AD-87C3-50CA9CA91432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e91b777c2cab7fa4ae0ce2dd6016ae3ee552f10","datavalue":{"value":{"entity-type":"item","numeric-id":5254190,"id":"Q5254190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$317051A7-937B-4FA3-A041-9E57A86DCE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a04350dc9480fc2452390fba22cda7f487634a","datavalue":{"value":{"entity-type":"item","numeric-id":4418865,"id":"Q4418865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$93C3AB34-DC57-4399-AEA5-7E9B35A259EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e581de2eab09c924ee255779128b4867065bcb9","datavalue":{"value":{"entity-type":"item","numeric-id":2475634,"id":"Q2475634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$112EC9F2-841D-40A3-9D00-B6E323FECEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9195c7bccf6268cd3d0f3a81790a3bb795e0fdad","datavalue":{"value":{"entity-type":"item","numeric-id":3523152,"id":"Q3523152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$553F22CF-83B1-48E4-9FED-64BF7626AABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe51e8ca511a5bb5ee4c175e518b6004a41de45","datavalue":{"value":{"entity-type":"item","numeric-id":4736610,"id":"Q4736610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$FE17CE3F-70C6-4173-A4C1-1A00276E5BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7854915e8b14bf5eeae37a963b18599756769746","datavalue":{"value":{"entity-type":"item","numeric-id":5307955,"id":"Q5307955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$CCEACADB-7E8E-452B-86EF-9EE74FBF74A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68cbacb60d35dbbb3c8a2da4db65e98f0f2f0898","datavalue":{"value":{"entity-type":"item","numeric-id":2848690,"id":"Q2848690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$E01B2E93-2FBA-44B8-B4B5-403FB69C16C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8337f90ab6df03507b612b9b2f5b9956dc9653","datavalue":{"value":{"entity-type":"item","numeric-id":2281664,"id":"Q2281664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$FDF9D3BE-FC1F-47C2-94C1-96A7BE8A2362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b677dd21e4bd5f1d584003f9d1f02b296617effc","datavalue":{"value":{"entity-type":"item","numeric-id":2178193,"id":"Q2178193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$4145D8C4-8863-4236-88B3-5A49CFE840BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a50f0021b158ca4a89dc183c8cc6340c932348ed","datavalue":{"value":{"entity-type":"item","numeric-id":516097,"id":"Q516097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$A9A20050-70A9-48D1-808B-1D1CF7377D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0548d51b5bac6218ba1e1c8f5213cd20c1f81c7","datavalue":{"value":{"entity-type":"item","numeric-id":1337677,"id":"Q1337677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$1285E28A-37B3-4FEC-ABB9-756360618C73","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"00171925bf1f0d1154888855415b3077723630a0","datavalue":{"value":{"entity-type":"item","numeric-id":35704,"id":"Q35704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$7D149538-5E0A-4A3F-A0C0-CA0E64E96457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5af7fff8c85263335ec54ad80b7081bfd6587dd","datavalue":{"value":{"entity-type":"item","numeric-id":35705,"id":"Q35705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$2868FF85-6254-4E7A-970F-09C49E74A673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"586abd5aa3e73f6652a0a54ae2a02fc283d78be7","datavalue":{"value":{"entity-type":"item","numeric-id":13635,"id":"Q13635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$D958C8D8-BCBA-439D-B0BC-1C6E57C71EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e57bdc762f9f3edfeef64e204b4ad9bd2d44d8a","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$3CAE5ED4-A881-47ED-B9EA-B8031B9C2360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"03bc0969d66f63218041357e0da6af3aa771d8bd","datavalue":{"value":{"entity-type":"item","numeric-id":56258,"id":"Q56258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$6A19B392-B57F-419E-BF77-68F2443AA9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$FEF38FDF-1C8D-42AD-A154-2CEE7E784733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d39ba802dd351e3e6aa58aa56f220d6f12006c","datavalue":{"value":{"entity-type":"item","numeric-id":31986,"id":"Q31986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$FB437A91-269A-40F1-A803-0CE7FF4A714D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf8fe40ec0751f683b8f31fdc6f7f38f8aa07409","datavalue":{"value":{"entity-type":"item","numeric-id":13328,"id":"Q13328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$68262CD2-9AAD-45EE-92A8-FA0AF2C05641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49f6fb65fa6d2a219475c4a5b936c8907f84d3cb","datavalue":{"value":{"entity-type":"item","numeric-id":16063,"id":"Q16063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$9B9D6DF6-3EE3-4978-B3A7-493BE94A2FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$02480D98-C3E1-4F81-8D42-47F079400A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f286e42dd5acd7e30396b0ec47db6604ba1103e","datavalue":{"value":{"entity-type":"item","numeric-id":17701,"id":"Q17701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$CECD67EC-3844-4DBB-9F10-3AEF34BDF0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cfcce3c91bc8c99152c1c82bea5047be55960c64","datavalue":{"value":{"entity-type":"item","numeric-id":41357,"id":"Q41357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$5D0649EE-CBEE-4DAA-8C4B-A1200C3F84FD","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":"Q2147687$15971CC4-D9A1-4349-8C0B-8192E5E9F1D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7762ea7cc87fbab455800f5166b12e6f5d577deb","datavalue":{"value":"W3123500159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147687$DFFB2389-720D-465F-8EB5-CE3F415BAEF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54c69bbe3278d97b28eef8de13808a73f601bc7f","datavalue":{"value":"10.1007/S10703-020-00355-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147687$4C1E7DC8-F660-4244-98AF-D49020A23B2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5422a47269105e4fce33fc04a22edc8c6eb50e0d","datavalue":{"value":{"entity-type":"item","numeric-id":2796055,"id":"Q2796055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ae8de3a450b221f22794863c4b2ee62e7bdb8c5","datavalue":{"value":{"amount":"+0.7369994521141052","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":"Q2147687$4E760776-4A3D-4133-A4CE-3472609A2E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c0c4130686fe685b67c7fc9112cd1c50c5de811","datavalue":{"value":{"entity-type":"item","numeric-id":2986749,"id":"Q2986749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e6064543101e4887c621ae18e0b49bfb5492b10","datavalue":{"value":{"amount":"+0.729951798915863","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":"Q2147687$9958761A-5A5A-4BF9-9728-8537604C0FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22f2f528629b828577d9f109bdefe9f9e3855f8","datavalue":{"value":{"entity-type":"item","numeric-id":1687737,"id":"Q1687737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0636b69fb36d95f259d571c6e1fa7e86c83a08d9","datavalue":{"value":{"amount":"+0.7171962857246399","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":"Q2147687$248E5E9D-2000-4F89-A8C3-FFB83B66F58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91780bddd8cef2844c937040704d61b3bf4a9eeb","datavalue":{"value":{"entity-type":"item","numeric-id":2985884,"id":"Q2985884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b79d2c01b68ce3cf2e972a4b4d5ed84c3fca306","datavalue":{"value":{"amount":"+0.7161266803741455","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":"Q2147687$7FD49040-0153-4C98-AA12-F804AC422073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c01e2015aef0b45b58ca63c3890ca206d7fb0e6","datavalue":{"value":{"entity-type":"item","numeric-id":5703954,"id":"Q5703954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac37add05853b82f17ffe4c86a2eea7b97002a88","datavalue":{"value":{"amount":"+0.7123008370399475","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":"Q2147687$5F2615F9-38EE-4733-B344-89C7D490C68F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147687$F3A80BF9-D407-4E57-B610-1EA2090FA8BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pegasus: sound continuous invariant generation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pegasus:_sound_continuous_invariant_generation"}}}}}