{"entities":{"Q2035655":{"pageid":2046397,"ns":120,"title":"Item:Q2035655","lastrevid":54029258,"modified":"2026-01-26T03:15:37Z","type":"item","id":"Q2035655","labels":{"en":{"language":"en","value":"Verification of dynamic bisimulation theorems in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7363407"}},"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":"Q2035655$89CEBF29-179F-417A-ADC4-74F793DB113E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7dd74cb089ac5472513a983c67a8cca264a4059","datavalue":{"value":{"text":"Verification of dynamic bisimulation theorems in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2035655$FE4A2834-1BF9-4A62-9A0D-0F523E74AEBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad060de8da2ecdba9c119fc8db2ca121a0ca8e5d","datavalue":{"value":{"entity-type":"item","numeric-id":777870,"id":"Q777870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$3EF30698-592F-49B8-9A41-059AD7F1B3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d3c9a7f384e56262db5a91f6c8cd147e674aae9","datavalue":{"value":{"entity-type":"item","numeric-id":777871,"id":"Q777871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$F820C963-18D3-41C5-8701-7078F7EF0FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03755d4aabc7831f3051426847269a4a588f5547","datavalue":{"value":{"entity-type":"item","numeric-id":777872,"id":"Q777872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$48974802-8C33-47D9-9980-447832C663CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$1D6D4B03-0D81-4F0D-A614-4A9D0B1E2548","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f808cd8ede5cddae3cd8b5e13616f018d09899f8","datavalue":{"value":{"time":"+2021-06-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":"Q2035655$8AD9C04D-A075-4A31-82F8-8EA7B535B427","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035655$B99A0508-64A3-4ACC-B5CB-197B0BE90F7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b8d1ed34c06283e52111a36a14417fbebdf96ae","datavalue":{"value":"7363407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035655$DC24AB31-CC46-4243-9FB2-59BC1219F164","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035655$8F07612C-1AF9-4085-A554-0B6E89CAC538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebe66fb4489ec42f23624ad04a1ad945e04b56bc","datavalue":{"value":"dynamic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035655$9F56D8CF-1280-4EBF-9CC5-7D6CAFA3CFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035655$50842295-F483-4F5F-9FB2-0A577D6EEC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c363c28e1436af61f6cb7472c760a8e0fd4341dd","datavalue":{"value":"proof mechanization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2035655$8864021A-3761-445F-8439-A8A7C8F46752","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$224D107F-B846-46D0-A858-3A06340498E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f20857e79be9881c5d7a06583454f1cf2611e9","datavalue":{"value":{"entity-type":"item","numeric-id":24994,"id":"Q24994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$C78B6230-82F4-4F3A-B366-2C65D1F7342A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$FEE166EF-5158-4523-9BE5-0E2452B6A6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$38F902AB-5292-4D08-A89F-2B716E55D4EA","rank":"normal"},{"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":"Q2035655$FEC4845E-B115-4CE1-B2EB-61787EA74AF1","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":"Q2035655$ECB620B3-6213-48E8-9DB5-AC74D502A2CB","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":"Q2035655$D3B6EA72-7760-4AB6-88FD-BB97533CF34C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f12d725a8f3f9240764c400d3290795ade9691c","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2021.100642","type":"string"},"datatype":"url"},"type":"statement","id":"Q2035655$242AF511-603E-45C0-9E45-EC9BE7381E1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3767b01a17396f71ee170ec2d4f5df05b7f20ae3","datavalue":{"value":"W3126024677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035655$2F8BFFB5-C082-44BD-87DB-C14F0DBF93B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$2C849192-FB2D-46CD-B468-01FAC1B4DC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$FCD445A1-A7BA-4F71-B1AC-18B572818B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ac8a2244a946057ab21d23d8cd260bd66c6968","datavalue":{"value":{"entity-type":"item","numeric-id":3608740,"id":"Q3608740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$1ACBECB6-EA69-4775-908A-4E5736FB6D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$F4354AE5-5D7C-424C-8938-7E5556A17C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f393e897b6ca3ad190cc8e7030da66e28119b3f","datavalue":{"value":{"entity-type":"item","numeric-id":5717444,"id":"Q5717444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$F97EC737-6C99-4106-9A8C-2BD648836B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a25b15d4de5281fa01e8ea884c428a32cf21fa1","datavalue":{"value":{"entity-type":"item","numeric-id":5191527,"id":"Q5191527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$D8B20E08-E60A-44FB-8E54-FF07B5D5A63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed2b1e5d31cf740f7fa1d7eed79da876ede7569","datavalue":{"value":{"entity-type":"item","numeric-id":4644524,"id":"Q4644524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$54CE25CD-93D1-45D7-B31A-69C957A9E4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1f10c919fd0d48495222c439368734dbd2ade1","datavalue":{"value":{"entity-type":"item","numeric-id":5452184,"id":"Q5452184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$942C4DD3-2E2B-489D-BD92-ACD9FB5C21C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae91b582153e695a59627d2e0da03d1101f46bff","datavalue":{"value":{"entity-type":"item","numeric-id":2864222,"id":"Q2864222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$A4BCE9B9-8064-4997-991D-C9C460DBD534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe961a6d2888f3766d527734ceed753a7fefde4","datavalue":{"value":{"entity-type":"item","numeric-id":4982127,"id":"Q4982127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$A232CE36-D078-4124-9E50-C5EAD88FA823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a049e6f6cf9937dccfc8ceb8b98d752887d25db","datavalue":{"value":{"entity-type":"item","numeric-id":2460188,"id":"Q2460188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$6F20F9B9-1723-41DC-8D24-8B3D0845449D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e242b83c24240bf2fb75e1cff36899b9e9f6d5e","datavalue":{"value":{"entity-type":"item","numeric-id":3511448,"id":"Q3511448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$49DE37E0-18AF-4378-ACB5-3B8445EC4ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36e249e9101dc33c813ba9ae06cb18e829308af8","datavalue":{"value":{"entity-type":"item","numeric-id":3094189,"id":"Q3094189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$8C7811E1-D4E1-4024-8A93-6B1DDD846D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d66d404e5da3fde5e9ac42bd95e64df866e0f54","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$5CF7F9A9-0579-449A-B392-A5F8793B4CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9837cf66a742e6b8d4331eebf95c09975fb9b38","datavalue":{"value":{"entity-type":"item","numeric-id":4612406,"id":"Q4612406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$0B0AD980-6151-42DE-B5BE-1942B97592F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc644fdfe65ffee1d8b3257cb9c93d8b3dba70e7","datavalue":{"value":{"entity-type":"item","numeric-id":2915023,"id":"Q2915023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$7CD15E0B-64E2-4602-AD9B-ABEE813097F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e508d1510e28c27dc862bb01fbcd27ee5c16460","datavalue":{"value":{"entity-type":"item","numeric-id":5176675,"id":"Q5176675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$809D3B6F-43E3-4481-904B-1203E9B3BDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$9D7357E4-DF33-4865-98F8-B9FA3E9BA7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4857d0d243b746647a153e1690cd4acc84f69e","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$30778982-48E8-4F25-AABD-CC729047B8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f4334b25d43b9293350a877e2d317280ca55a9","datavalue":{"value":{"entity-type":"item","numeric-id":3543646,"id":"Q3543646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$AA21C88C-7CFE-46D8-8318-4A526A053810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$D2A8F099-96C5-4F41-8EC7-6D7EC966519C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62891394bffe584fcdbefd47be2a4496e572fd13","datavalue":{"value":{"entity-type":"item","numeric-id":4942002,"id":"Q4942002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$640B4206-3334-454E-9E96-856DD93C61FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33016e4094fda3cd5b32720a3e7b9851a82572b6","datavalue":{"value":{"entity-type":"item","numeric-id":5875443,"id":"Q5875443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$BFFD440A-6F94-4F2C-906C-771F0D368BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$87ED82B5-760B-40ED-A832-A87ED7EA1FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8facf0d51be0f110356c413bcb4d3b0db305a8","datavalue":{"value":{"entity-type":"item","numeric-id":5231279,"id":"Q5231279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$69BB9B2E-BBAC-43B5-8BFB-EC05AFE01A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee01619d4f2ed5e716056f2c77ab0f3832263dc4","datavalue":{"value":{"entity-type":"item","numeric-id":2333326,"id":"Q2333326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$96DD46B8-5D91-4A28-92FB-3E3F2A0BBC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36e120ddc6fee24a42e787f3c25c705ae8aee226","datavalue":{"value":{"entity-type":"item","numeric-id":777873,"id":"Q777873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$540259A2-7C0A-4867-95B5-551B2FB7E3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$0F2A821C-366D-4E28-A1BB-67DEB747F06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34689292e5bd7eb31eccafd276a7cc2b9d5e8161","datavalue":{"value":{"entity-type":"item","numeric-id":3224046,"id":"Q3224046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$7B0B70F8-ECC7-4438-B0D2-171EFE1E17B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a52dd5efd901c03d134a2c8e963777a8229df4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5419882,"id":"Q5419882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$B07380AA-63E7-413B-ABFE-19C2F4F642FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abbe2e64519084334ef1b028962c194fae3932f","datavalue":{"value":{"entity-type":"item","numeric-id":3647268,"id":"Q3647268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$0FF5EF0D-F8AB-4AE2-9175-0169C3303229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a42b0484c2ecc472d2af446bf73a18115a88dc2c","datavalue":{"value":{"entity-type":"item","numeric-id":1742622,"id":"Q1742622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$80EC43D4-787A-4F19-877D-40AD70ED808B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b928b245b95e598938297f81f50c9aea31c9b73","datavalue":{"value":{"entity-type":"item","numeric-id":2011198,"id":"Q2011198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$0C93031A-C9B6-41F8-9538-2DE32CD120ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$1830D945-E39A-4E68-867C-F69139DB2AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d17a6db7dd3ad38c36f1c757ce2636fc2318bf66","datavalue":{"value":{"entity-type":"item","numeric-id":4586138,"id":"Q4586138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$B8B6992A-DAE4-4B8C-A779-84C04FFE5883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"618ee59c1f13ee188c76274410e4585922f8c495","datavalue":{"value":{"entity-type":"item","numeric-id":5224566,"id":"Q5224566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$818BDD87-6B5D-4B1A-9E0A-FC283842931A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f36812778a7eea7a5dc488e5d8983fec94b12e47","datavalue":{"value":{"entity-type":"item","numeric-id":2296754,"id":"Q2296754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$AD274B14-9A01-48E6-A14B-637105B57338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d67146650e0564e0d2eb039cca4d10e61eeb13","datavalue":{"value":{"entity-type":"item","numeric-id":5216335,"id":"Q5216335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2035655$DEAAF42A-E9EA-43C7-9241-0E526DCAF9B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c628099299bd7b0cf5c84c9e0d84b76d2a75883","datavalue":{"value":"10.1016/J.JLAMP.2021.100642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2035655$17707928-D597-45A4-9D31-7DD403A7E168","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625786e30d00d7b1be490b7e0c46d81afd899fd3","datavalue":{"value":{"entity-type":"item","numeric-id":777873,"id":"Q777873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25a55a60c051257459f14d45a7e10d562b86dfc","datavalue":{"value":{"amount":"+0.9455243349075316","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":"Q2035655$A3CCF32D-1435-4488-A2DE-164F4C026BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5becc199be0be438307b801ca58515df9c7ca279","datavalue":{"value":{"entity-type":"item","numeric-id":2851950,"id":"Q2851950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e0407bd495ac6382991c0a02503f405b9af0f28","datavalue":{"value":{"amount":"+0.7157703638076782","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":"Q2035655$6F078739-269D-464F-B956-41A278F45487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb70440b0ffa75995640d2590c04514ee40e484","datavalue":{"value":{"entity-type":"item","numeric-id":5170725,"id":"Q5170725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51a0bde50b05b52468427a6712577ba7eae9b9eb","datavalue":{"value":{"amount":"+0.7127034664154053","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":"Q2035655$ED86BF45-D08F-443E-BA17-8D9CF2A79C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"448074a0310d62e0950911fdc046c3050c3d82fb","datavalue":{"value":{"entity-type":"item","numeric-id":4647578,"id":"Q4647578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f490c66fab24dd9e30aeb4d61d410199cf32c932","datavalue":{"value":{"amount":"+0.7097330689430237","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":"Q2035655$933B9EBB-08F3-4520-9213-BEB38DA8BAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2504b474aa61d4f911749ed52355509bfb984b92","datavalue":{"value":{"entity-type":"item","numeric-id":3783632,"id":"Q3783632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb0efddf7f31ce68dd6bf63ea10c3a3046dbf79e","datavalue":{"value":{"amount":"+0.6937031745910645","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":"Q2035655$ADB8D704-5761-4723-A294-2CF8582A088D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2035655","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2035655"}}}}}