{"entities":{"Q2432769":{"pageid":2443512,"ns":120,"title":"Item:Q2432769","lastrevid":44076231,"modified":"2025-11-19T17:41:21Z","type":"item","id":"Q2432769","labels":{"en":{"language":"en","value":"Automation for interactive proof: first prototype"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067554"}},"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":"Q2432769$E559327C-AD63-4486-A4FA-633D12B05978","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc7f45fafbb7ef51e5d6135c3bfce280f4b087a6","datavalue":{"value":{"text":"Automation for interactive proof: first prototype","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2432769$E8E7C28D-96F4-47BA-8437-913787AD2644","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65c6bb55ebdc1bfdfd2df80665e01711ca6062fb","datavalue":{"value":"1103.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432769$86EC373F-F1BF-4207-A6D0-A3F2C6016D58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eeec0819ffed3ff77ea39bfc122f96488e0242d8","datavalue":{"value":{"entity-type":"item","numeric-id":1006730,"id":"Q1006730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$872FCA35-F0AE-4170-AF37-E70A18B5F173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d1ba3baf5db0ff8d84af2de15bb0413d8df7bee","datavalue":{"value":{"entity-type":"item","numeric-id":2432768,"id":"Q2432768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$791B3E30-00A5-4828-96D4-A9986601855C","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":"Q2432769$03441A11-7652-4FE6-AA1B-7D0E342AD7CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$23957E56-A84E-46CD-8B0F-D418E201DE8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"524490ea1b25be9690e11f6569cdb524b84ba54c","datavalue":{"value":{"time":"+2006-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2432769$345E6143-1C03-4A56-94FC-F50D54365984","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432769$B12CC550-CBCA-4F18-B258-8D6285EA8084","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c38c31d678f2a84ff4cc96608005855b7bf26b3c","datavalue":{"value":"5067554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432769$0C8234C6-C5DB-497C-83E8-B27586350C09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82db2410f7cb36b26154919ad626ca1e681d8b2b","datavalue":{"value":"interactive theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432769$098F2090-51A9-43EF-A0F6-B68D0CB3009E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e9b99a4c3bf60a2293b79c5d0da3a3f79bf0ab19","datavalue":{"value":"Q57382638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432769$CFFE1C79-65DF-4FCF-9EAD-41B8FA014E60","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":"Q2432769$D45DAD4A-6B04-479D-A985-4C6D8B613CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$44D78921-F412-441C-B64A-A2B01698E7E4","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":"Q2432769$31C8546F-5F54-4440-A771-91E1BA385B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aeef25d5839625565921d83cf1c652bf6f2fbf6","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$CF0DB597-AD60-48E5-93BD-6F616F17286E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$BED9BAF5-2862-4EA3-A91B-73C2233C816A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$CDD88615-8CF0-49F7-9B0A-348AA9C113EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af3b5ddb4818ec81bb9bea3bab4852742bff1bd5","datavalue":{"value":{"entity-type":"item","numeric-id":22101,"id":"Q22101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$246218E1-AE89-4596-9B73-10D4FF1503B4","rank":"normal"},{"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":"Q2432769$E423DD82-1660-4A4F-8005-B06DFC828112","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":"Q2432769$CDA7709C-538A-495A-B9F1-BCB9A0C77BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$AB8CCA4B-B3CF-454F-9BBA-65CA19AAB227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$00A84D91-DD8D-4152-958E-4B5E085CBAB2","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":"Q2432769$0DB2D912-1DDA-438A-887D-0867372336AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dab39ec190c7fb2818b71468da9efc600915608f","datavalue":{"value":{"entity-type":"item","numeric-id":33151,"id":"Q33151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$6AFA2D60-8DF3-4B87-B3B4-182AA0317326","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":"Q2432769$994912B8-3FF6-456B-A758-CD1D563D00B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71a4279e5e62fdf678b76965da4732576db57c8f","datavalue":{"value":"https://doi.org/10.1016/j.ic.2005.05.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2432769$05594C24-5CA4-4573-9B34-8D9D25CC97F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c667c5389c1deb5c59f7ebd4e37c143b9d8a3720","datavalue":{"value":"W2017989625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432769$39953B1E-DE2D-4E31-B99E-A0F7EE67668F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"efba3487c15800f36ba9934c0e12cbed912934b3","datavalue":{"value":{"entity-type":"item","numeric-id":4524769,"id":"Q4524769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$34479B3C-9359-49AA-BA45-43F26933B652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1196f5e17dff99bc1a9d16ec3c58ef966832597d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$38F58A35-DF7D-41B4-9568-EC3D48F7EAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b559e594edc07777117cb084e905ea94187a1df3","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$173EE990-580A-4924-90C4-E36A0F068549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4678e4c2f003554895218494da0c1f6e87bb3ea","datavalue":{"value":{"entity-type":"item","numeric-id":1868508,"id":"Q1868508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$A901A096-8ACB-46CD-AE4B-D2DD60E16329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$0838C9FB-42A8-4621-B222-E3BB19335F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$2FBD4712-2632-4586-9DB5-E324FC7D01F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4470ad681c71989636fed60ae376323914a5ddb0","datavalue":{"value":{"entity-type":"item","numeric-id":2723444,"id":"Q2723444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$FA8BAC6B-CF01-4436-8AF3-0897D409FDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216559cea76cbd7bebdc584718098a2b0e882117","datavalue":{"value":{"entity-type":"item","numeric-id":5307074,"id":"Q5307074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$08542D5F-E478-4878-912F-349DCBBD551D","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":"Q2432769$EDDFAE63-C021-430D-AEE4-C8E7223C40DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28deebb9f03725888e2cb415bbaa29688963935e","datavalue":{"value":{"entity-type":"item","numeric-id":2751358,"id":"Q2751358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$2D13FFC2-3E82-4BD1-8920-D5D15BF2F873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$66E15CA5-678B-4FC5-ACDD-39D971C8700D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ba0d7a787c3ddf27f1ee78a59c4dec37184a75","datavalue":{"value":{"entity-type":"item","numeric-id":4520767,"id":"Q4520767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$55C8ECF7-A4B0-4E7E-9FAA-D3086A1311CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c061dab185fe1bef51da7d9346e274bd625a1e8","datavalue":{"value":{"entity-type":"item","numeric-id":4539622,"id":"Q4539622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$18CF3BF5-A8DA-469A-900D-353B2148D778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$37D7F15A-13C9-4D87-8821-C1B6CE923540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b30f251a9bd5b05c898db8d902209f9dbbeacf5","datavalue":{"value":{"entity-type":"item","numeric-id":4664927,"id":"Q4664927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$0F3EA0FE-EAB1-4586-85CF-C845CD485E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$5A6CE1D0-F32C-4720-8028-22DA0B345148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$E9A1EC06-0713-4690-839F-7A07985595EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bab4f7d1b2661e9a9ca3ddc35e5a57311ad582","datavalue":{"value":{"entity-type":"item","numeric-id":5507985,"id":"Q5507985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432769$9DEBF628-D454-446F-8994-8B86E5FCABA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b914220b17cb61158f30e2a7c92a4363b86d9af","datavalue":{"value":"10.1016/J.IC.2005.05.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432769$8270F279-E97E-4EDD-A48E-3314D1FFF1AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d31ac5b611e1dc394bc6dbb9071cf4d1998a3862","datavalue":{"value":{"entity-type":"item","numeric-id":4524769,"id":"Q4524769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c64598314b8eefd9993231ca721799e8d95f5fe","datavalue":{"value":{"amount":"+0.87805694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432769$7796395E-170D-4FAC-9806-D9048246C60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6706f674745437a28e826927d52883b093061b9e","datavalue":{"value":{"entity-type":"item","numeric-id":2988387,"id":"Q2988387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96bb999b5d0dc4ded8cbbc787e8eb795bc589c92","datavalue":{"value":{"amount":"+0.87148505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432769$7E77D909-68C6-4F79-991A-9CB695E9E744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112842c88f015f833c53696a3e75c28ba693beea","datavalue":{"value":{"entity-type":"item","numeric-id":5384148,"id":"Q5384148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f05eb70605f896ecf98dad7a29de63bd896ee794","datavalue":{"value":{"amount":"+0.8666202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432769$A4FD18E9-79CE-4F75-AFEC-66243D184BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"458bb54e0dd0faac2e5309faed1306a0a679ffa2","datavalue":{"value":{"entity-type":"item","numeric-id":3830531,"id":"Q3830531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dc65f48b3bd6aee040517abbdb0bd39d403dd2f","datavalue":{"value":{"amount":"+0.8629166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432769$B0F5E641-762F-45BC-87D2-311DECD65F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df98aae22bb1683b064165c2fa3cf3b0d4f27c56","datavalue":{"value":{"entity-type":"item","numeric-id":5428268,"id":"Q5428268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2106c86fbdc4d82edc07b7c393f5477f1d42d97c","datavalue":{"value":{"amount":"+0.8601372","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432769$CEB40C41-44A9-41C8-9B2A-F527F3C6E0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbca7a24b90f065f1d373a5ca32fd668e0203f3","datavalue":{"value":{"entity-type":"item","numeric-id":5741559,"id":"Q5741559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c196c4cd308d4a656664fc72fc3ffa24df4dbe46","datavalue":{"value":{"amount":"+0.8582099","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432769$181BA879-2583-4689-AD61-DEFA9B58191D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0a3bf9bdd0f7ea5fe705aa2b46eefc4aba3fb6","datavalue":{"value":{"entity-type":"item","numeric-id":3034850,"id":"Q3034850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d73af138039d2418f86e9c9182d2a65350a4e7b","datavalue":{"value":{"amount":"+0.8554237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432769$05DA1A5B-AD9F-4480-8BE6-CDE2B0D0370B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c422419a95232d9b5e52607c722365466ba56442","datavalue":{"value":{"entity-type":"item","numeric-id":2799101,"id":"Q2799101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"860ba3da7599e90c54940d14f86173facfeda10d","datavalue":{"value":{"amount":"+0.8538682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432769$DEA19B6B-C7C5-4796-A670-10516D929F27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2432769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2432769"}}}}}