{"entities":{"Q2305429":{"pageid":2316172,"ns":120,"title":"Item:Q2305429","lastrevid":78459857,"modified":"2026-05-06T11:38:46Z","type":"item","id":"Q2305429","labels":{"en":{"language":"en","value":"On invariant synthesis for parametric systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7178988"}},"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":"Q2305429$C032554C-46B5-4D5D-A425-551EDDBFBEB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57bfd233f2ca3a9a8bd21ba374730f6389d6d30e","datavalue":{"value":{"text":"On invariant synthesis for parametric systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2305429$0441D180-BD05-47AF-9EF2-DEB9BAFA8F17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f7206b1de0e3a23e458c29f94970a70ff3cddac","datavalue":{"value":"10.1007/978-3-030-29436-6_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305429$05C8C23A-4148-4C37-93A0-1AE4FC6EA560","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5cfc4965408f1c62161336c4f90dd4a15c67e5e","datavalue":{"value":{"entity-type":"item","numeric-id":831920,"id":"Q831920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$33E2284B-C675-4B3F-A316-6F26673AB4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ea72ecee982e1dcddee303e9fb3aea539cf87","datavalue":{"value":{"entity-type":"item","numeric-id":592080,"id":"Q592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$A1077AF2-76D7-48CA-8CEE-FF13F0763DCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf314df552e26dc257d6d24b288f7144e19fa20","datavalue":{"value":{"time":"+2020-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2305429$F5C0BD74-400E-4BEF-AEA6-B385AF623EDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e194e63a82b19e28300899bcae99d47271ecd6c","datavalue":{"value":"https://arxiv.org/abs/1905.12524","type":"string"},"datatype":"url"},"type":"statement","id":"Q2305429$6BAF5394-8C0E-4B4C-B6FD-277ECE2D6687","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305429$0E1B94AC-1618-44A3-B104-F9378002B2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305429$7A5FEC9B-671E-43B2-8659-035E34FCB0F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5be9ea2a818946e703c2e9f60b34669b383110d","datavalue":{"value":"7178988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305429$C9929763-1DF0-4031-9D61-C8B29D256975","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$47CA0290-ECB4-441B-80D0-708951CDA0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$6301C40B-443E-45FD-9257-7DC237264D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"28cff576496c4ee6851a70884e3a4343ae4475ff","datavalue":{"value":{"entity-type":"item","numeric-id":25690,"id":"Q25690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$2DD82EA6-4380-43D4-A3E4-63F7780B6881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d7fa65e262825f4fea3653dcc59f09ef0e691738","datavalue":{"value":{"entity-type":"item","numeric-id":35078,"id":"Q35078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$67B1DED8-C37E-4B27-95CC-60AE9AD4BD4A","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":"Q2305429$30D5DB16-D682-4E7A-A60B-A675BC3D170D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4586cbdcbc87e404b16fd481be5eea836a70ddc1","datavalue":{"value":"W2969349375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305429$74A9DAB1-7020-495B-8F85-CD23E54ACBEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"530d4ed6d0f32858e402afd6be6ad7fdf028444e","datavalue":{"value":{"entity-type":"item","numeric-id":479820,"id":"Q479820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$FA2219A1-7B80-4CCB-B740-98458581E1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4db61376dc05e8ac9b799b75f45910b0e723393","datavalue":{"value":{"entity-type":"item","numeric-id":1328182,"id":"Q1328182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$F7AC0F8D-DA49-4DCD-B948-26E8E1422031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e25f97d863b678de339f343f28e44115ff865f8b","datavalue":{"value":{"entity-type":"item","numeric-id":5452621,"id":"Q5452621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$25EE2A01-4747-462E-A715-EA71B9DBB1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcdd88c0187437df1dd77abdaba504f2664c711b","datavalue":{"value":{"entity-type":"item","numeric-id":939166,"id":"Q939166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$8C0EA3DA-F1D0-4188-A57F-BEB4AEA1C8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$A6129723-AE70-4BFD-91C8-EBF1376728EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377f0d71cd9d722dd42123f66faf2eb9ee85276b","datavalue":{"value":{"entity-type":"item","numeric-id":5410332,"id":"Q5410332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$52E61027-98D7-4071-B7F6-9AA176E09AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b65e2a392507335149429c896dcea59bd699329","datavalue":{"value":{"entity-type":"item","numeric-id":3608886,"id":"Q3608886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$0CFD5F9D-1EBA-43D3-B46F-54E72C2919D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f64f0f0bef05caf048744cd15749688e7986087","datavalue":{"value":{"entity-type":"item","numeric-id":2945711,"id":"Q2945711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$2F037370-B87A-454E-BC20-FFEE242D5C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab4b73b14197920e997a3706a6730eb202d7ec1","datavalue":{"value":{"entity-type":"item","numeric-id":5307056,"id":"Q5307056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$F657B6F1-FE4C-4EBA-A7BE-C685C0719D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7474c1769098271dfa8760cf06b0b45182f69ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2432764,"id":"Q2432764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$2A787FF8-0765-4EAB-840F-309F2FDE9E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b34230d6df626c64dad187f872ce2d2c543952","datavalue":{"value":{"entity-type":"item","numeric-id":3081445,"id":"Q3081445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$1ACF2D9C-8F79-4923-8AB0-E6D6A208EC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"968d961b9e83a36d8209226d33e3735d0ca6d68a","datavalue":{"value":{"entity-type":"item","numeric-id":5222968,"id":"Q5222968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$F74208DF-3A99-4895-93EC-1B2B68C262F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd51bbb96625374ba0527eef6fa500f596e78094","datavalue":{"value":{"entity-type":"item","numeric-id":6109591,"id":"Q6109591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$F2420773-DF2E-4046-9C5A-0C9D41D4C6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed74b949115e5d18e129857075f73d9c30bc7f7","datavalue":{"value":{"entity-type":"item","numeric-id":5747760,"id":"Q5747760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$FF8A8302-EF61-446A-A866-6091D8BB0846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78bf1dd09db8daee67a377ca7810972ba9faf377","datavalue":{"value":{"entity-type":"item","numeric-id":2849490,"id":"Q2849490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$AD61E034-8765-4819-8C43-BBCA84B88FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdea20f0ecf5087c600f512aee1730823ee616df","datavalue":{"value":{"entity-type":"item","numeric-id":3192190,"id":"Q3192190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$38E2A364-39F2-4423-A9EE-3FBDC0C5B6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fceabd4402e3c07f0c07020eeb67d1bf46f34da2","datavalue":{"value":{"entity-type":"item","numeric-id":3644758,"id":"Q3644758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$64EA7123-6111-4E79-85AE-7CB6E089EB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aaaccfbedb3cd88fc80e0faeb16f71f2c3e7630","datavalue":{"value":{"entity-type":"item","numeric-id":5458332,"id":"Q5458332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$9E66E1DB-D1C3-456F-8A47-FF5FE5D60852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc1d0ff00032a66dc3cc178cd9f7faf31d9c1e31","datavalue":{"value":{"entity-type":"item","numeric-id":5747749,"id":"Q5747749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$F1D9FF5D-396A-4445-90B6-3565F92FE49B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620e4e63cec9d7a183b3bc9b7082cb1e2f14d371","datavalue":{"value":{"entity-type":"item","numeric-id":3075488,"id":"Q3075488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$048A9120-0BDA-4132-A14D-F1831C7F100F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"479a9e80b567553c1d8b3d175d25ba4c9879d09f","datavalue":{"value":{"entity-type":"item","numeric-id":882517,"id":"Q882517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$0FF46916-8D15-4B1E-A35B-20F7286BF5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f87447fd9e48200c94082f5c54390365be14594","datavalue":{"value":{"entity-type":"item","numeric-id":3177887,"id":"Q3177887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$DEB3AA4C-237F-491C-9C77-D98DA1643355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13219530e3d06874c8e2749c80d201a39fcadb63","datavalue":{"value":{"entity-type":"item","numeric-id":5191103,"id":"Q5191103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$3717354B-40C5-482E-B6BE-D391DFAACEF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adaf08cc2d75d40d9af63f2dff7037cce33c5f56","datavalue":{"value":{"entity-type":"item","numeric-id":2828258,"id":"Q2828258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$40401FC4-79F8-4D4D-8735-80D1B2C04718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7002ae8b0a3459f423ca41f1d864b679d71a3053","datavalue":{"value":{"entity-type":"item","numeric-id":2305429,"id":"Q2305429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$E4CA58A1-A896-4654-AA6F-B15F7D0A875A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97410c5f75f024969fa496104e5d0f6c8e839095","datavalue":{"value":{"entity-type":"item","numeric-id":5394615,"id":"Q5394615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$EB8C84DE-D6A0-4BE0-83BD-C3D7148EECCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a6de67ef4615ff33e4344c32b01aa7b8276c52","datavalue":{"value":{"entity-type":"item","numeric-id":3613412,"id":"Q3613412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$9F4DBF15-594D-4094-BBEA-9189053DB7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de1369bcfa1d17b3d01465224f930d9fc6fd3ba","datavalue":{"value":{"entity-type":"item","numeric-id":3622999,"id":"Q3622999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$D0589572-9543-46FD-8F7F-7F69E1F6F3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"444c56bac29360be0ddd437c0ad22e02060fa954","datavalue":{"value":{"entity-type":"item","numeric-id":5747759,"id":"Q5747759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$CB00A8D0-95FF-4F82-9E78-51EF7D1ACAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840dc8c4a2f888736d5910412777d7eb4bfaec5b","datavalue":{"value":{"entity-type":"item","numeric-id":4928452,"id":"Q4928452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$A2D7C3E3-7B97-4EB1-8A24-DE25BE0CAE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7903ffd8f9b852f272a22a95cb583ad2910295a","datavalue":{"value":{"entity-type":"item","numeric-id":5394624,"id":"Q5394624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305429$08A25CA6-427E-4722-9F91-2E4CFFEC11E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffda3c4b5f233bc71b2adb3f717e5fc909b23349","datavalue":{"value":{"entity-type":"item","numeric-id":5134273,"id":"Q5134273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b76bc4405febf2ee4905746e08dd69169ec1231","datavalue":{"value":{"amount":"+0.845430314540863","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":"Q2305429$452B8346-AE25-4A37-B48F-7D1B6DCB3F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e06016963fa7603b778e3bb1f46482d10e1b53c1","datavalue":{"value":{"entity-type":"item","numeric-id":3648730,"id":"Q3648730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea9c0c11e3ac665b52164426f8e18388ef3fc127","datavalue":{"value":{"amount":"+0.8228012323379517","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":"Q2305429$97AD979E-20CC-44DA-8681-449FE446358B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0c55942e1f5a0e2ac1ef26feb1320a6b977fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2769581,"id":"Q2769581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fb2321628dd095dc29931796cf5fe4970ce3db5","datavalue":{"value":{"amount":"+0.7704983353614807","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":"Q2305429$270F1D60-0D8C-49F9-8741-47197DC69E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6818cd45b997c627c00e90e817272a99221a2c1","datavalue":{"value":{"entity-type":"item","numeric-id":5716581,"id":"Q5716581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21b91ccf562e83143e7d2804608244d28db8fd8","datavalue":{"value":{"amount":"+0.765621542930603","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":"Q2305429$0027CC6D-CE6E-43FE-8061-7BD01D5460EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca26097a05cbf4ea7f1980e0eae9fadc393cc59f","datavalue":{"value":{"entity-type":"item","numeric-id":4417916,"id":"Q4417916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a959e96d704bdc7825c43d079430f8c3a926062","datavalue":{"value":{"amount":"+0.7630284428596497","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":"Q2305429$73783F4F-2B92-431F-87FB-5757E8C61F50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On invariant synthesis for parametric systems","badges":[]}}}}}