{"entities":{"Q2360873":{"pageid":2371616,"ns":120,"title":"Item:Q2360873","lastrevid":52839653,"modified":"2026-01-23T15:06:18Z","type":"item","id":"Q2360873","labels":{"en":{"language":"en","value":"A decision procedure for (co)datatypes in SMT solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6736963"}},"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":"Q2360873$56D15B32-ACE8-4EDF-8ABC-4BF4BDFF0CBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2faff15ef30b0c81b4d0e0c09ea820f61d4cbad","datavalue":{"value":{"text":"A decision procedure for (co)datatypes in SMT solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2360873$57E3079A-14A5-4CC9-92B4-D7408FAFD1BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41d36cb2a265689e25c7a300e04c3d35a28b73ff","datavalue":{"value":"1410.68337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360873$58492D3A-52FC-4843-A2D5-6E7204560BC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84952d23570c02a49b2cbd6b6731071617699380","datavalue":{"value":{"entity-type":"item","numeric-id":518398,"id":"Q518398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$4D9684EA-85A0-4B41-A679-E1F6B999C33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c29c686dffd678d9f155b05a4a1aa93e85953c","datavalue":{"value":{"entity-type":"item","numeric-id":287335,"id":"Q287335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$74CB2809-963F-4047-AE36-AD8528C64250","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$DC70A37B-36F5-4489-A031-6F87DC2E3E72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b1628a179109832362b66a360ab34948eefb8d4","datavalue":{"value":{"time":"+2017-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2360873$555CEB15-FA42-4971-882C-2F0DD83FA1FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f49e7d94b8da3f482930fae716197899af8abd6","datavalue":{"value":"https://hal.inria.fr/hal-01643154/file/jour.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2360873$569AE1FF-45F7-4969-A88D-37B657E64670","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360873$574D0E60-652C-4217-9C28-9B5A5595459B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360873$4B1EACEA-9443-449E-A283-4706395591F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78d4f4b293c1823e5760577e05d00a9d0d22f2b8","datavalue":{"value":"6736963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360873$08D02FDE-33C6-4A32-A854-605221A562E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8383397406636d5e1d98166982639eefed54ad","datavalue":{"value":"(co)inductive datatypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360873$6BB5DC3B-22A8-435B-B783-B041E1316FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1735a133d49ec9a3b5c084ee424340f472bf4d74","datavalue":{"value":"automatic theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360873$BDBB1E45-3A6D-4324-8E1F-2AFA0B236D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61439d791f6aac729372268f16b553bcf47e3b78","datavalue":{"value":"SMT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360873$1BBC0CDA-85B7-4962-8ED5-913957CF19B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360873$B1CC7E58-B591-47F8-8E38-A6E6E7F842CD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecb36fec89ff827cd73a8ca1a85f36a2e419c34e","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$2BE7E025-0D1F-46DF-B6FD-F6DACF3D03DD","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":"Q2360873$C1FFD7B9-BC6E-4AD3-885F-0A85133CDB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$55B9FE39-282B-480B-8CDF-633A75557505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$8F2F9841-A657-4A00-9D54-920DFD25946E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45fa147ad24d78ff9111165d21eddec7203c8bfd","datavalue":{"value":{"entity-type":"item","numeric-id":20838,"id":"Q20838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$400AB171-C281-451B-A46C-4BBC2D225E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$EA3F2F6E-B564-44E9-B366-E1DE48F96B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f36b54767691a71775cf671bfcee6471fb07b30","datavalue":{"value":{"entity-type":"item","numeric-id":32549,"id":"Q32549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$DD05D55C-A9AF-4919-B9EA-72869A433C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$DF978964-146A-4174-AA9F-DC8320BC64CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc5f42e2b526cb1511abda5fc8cb6143be4dd0ef","datavalue":{"value":{"entity-type":"item","numeric-id":1354586,"id":"Q1354586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$22F20007-6A2F-468D-B8F2-000C772B5F9B","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":"Q2360873$241572A2-40E4-400C-8836-8AE791BF9D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"df2bd3003fa5c2c6d2ebb46d90cdd4e6dddabb37","datavalue":{"value":{"entity-type":"item","numeric-id":40274,"id":"Q40274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$E7EC9217-9EB7-4D1F-BE1C-71A52F584621","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":"Q2360873$CF6E61D9-277B-4E58-8458-E9597E3D6F6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac5d83eb8126e24b3fe9c5e46fa73ee6d4c3cb3c","datavalue":{"value":"W2346936556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360873$56B52BD9-85E6-4205-8125-BC187F7F215D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$E9F88590-9BDD-4D4E-9CB9-BE1E537FB58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6820d466f20a132975882100c6125897eef0f140","datavalue":{"value":{"entity-type":"item","numeric-id":5309032,"id":"Q5309032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$F59D5121-076C-4248-8D7E-52A0EFCF8AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$22D3B1FE-1CEF-4475-AE5B-9DD022F58452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6a505c48f7ed8fbc36053c87307f799e1a7f54","datavalue":{"value":{"entity-type":"item","numeric-id":2351158,"id":"Q2351158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$1D560CFA-94B7-4DF3-B330-BFBDE0542E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d993f7be3ea77cad4a800be898a39b5ce70ed5","datavalue":{"value":{"entity-type":"item","numeric-id":2879246,"id":"Q2879246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$1F15AB51-ACA8-4FE3-9C7C-9146827344DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$644B019C-0CD4-439A-8FFE-D5C8E0E2BC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4669aa80f1b8115df57035710adf683c0764c3","datavalue":{"value":{"entity-type":"item","numeric-id":4928456,"id":"Q4928456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$38D53EE0-D4FD-45B9-9928-C823955D961A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb5262f23937388a73aab8a75c0e355d452ec252","datavalue":{"value":{"entity-type":"item","numeric-id":2802441,"id":"Q2802441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$7E08B1FC-17DA-4D7C-8D80-F52ECB7509D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60606a3339fdc087b42f7c381d9843284b67402e","datavalue":{"value":{"entity-type":"item","numeric-id":3613340,"id":"Q3613340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$05FF51FC-C256-4533-8C87-98E8E47430CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4f714dbb33bba32b50777c1d77c1cb7ff5fe56","datavalue":{"value":{"entity-type":"item","numeric-id":3608773,"id":"Q3608773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$D21E5B03-E2FD-4BA6-B9C5-7C27F543EE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a058fc6e8406a2b9dca3a9cafde2b45591ef997","datavalue":{"value":{"entity-type":"item","numeric-id":3514890,"id":"Q3514890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$80EC868E-C9C3-489F-A4CB-3A82CC4DBC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c41d9f46aee338925da759243b2f2cd17e3be8","datavalue":{"value":{"entity-type":"item","numeric-id":549186,"id":"Q549186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$51FDE33A-B019-4A59-859D-F177C6593BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db437328f2b7da411f41250c356bdb6824c15cf","datavalue":{"value":{"entity-type":"item","numeric-id":851136,"id":"Q851136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$EA433510-5213-45DF-AAAE-A2E0D7144D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da96dfa99f70c6b2b69c48b417a516b8fa851830","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$72BC24A1-728C-41A0-B296-79F0F25BE591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$A47EEE7C-5EA8-491F-971D-6EC8417F4A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0935562160404eb7beee2a862bd06bed764fe33","datavalue":{"value":{"entity-type":"item","numeric-id":3172894,"id":"Q3172894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$5683BBB6-80F1-422D-910F-EE67A9B169E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8914056a012fcf0bb24ac61a3922b358208186e","datavalue":{"value":{"entity-type":"item","numeric-id":2849478,"id":"Q2849478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$D6E5D085-C19F-4C3A-A694-1944CD2D2AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"333782dfe2a782886768e8c7561d4e8bfd035e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$E4FE0391-CA94-4F90-A10A-A1823A69A68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596e06b5cd3615b9f11450729883462a288fa866","datavalue":{"value":{"entity-type":"item","numeric-id":3558240,"id":"Q3558240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$6E672950-8270-40FC-B8C4-028331E850E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$D05E39A7-A374-4481-B82D-1986D0A3081D","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":"Q2360873$C2B369B5-0D57-4BB3-9CD6-E50A114350E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d5c69d1d4e1abd2fa1d7921f44dce741c5c0623","datavalue":{"value":{"entity-type":"item","numeric-id":3454092,"id":"Q3454092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$F0D6542B-F4C7-4BED-80B1-0B7AAEBEAE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"873f623d528a4c8220f7a9fcd99120f2463a9229","datavalue":{"value":{"entity-type":"item","numeric-id":2817915,"id":"Q2817915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$BC5F7B37-4C2C-4BA6-A216-B54B5E83F02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e797d69ccc16ac41adec3adfdcc63bc05d0208ed","datavalue":{"value":{"entity-type":"item","numeric-id":5172636,"id":"Q5172636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$7C65A14B-B8B3-4992-9A72-A23120C05D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197bd6d0b9b13f7d7d62b39ca988dbf1f2dfc0db","datavalue":{"value":{"entity-type":"item","numeric-id":4928453,"id":"Q4928453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360873$C4530165-A3CD-4669-9E1F-E56444E602F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"189ad42cc37c86f624660902530eb709919e79ec","datavalue":{"value":"10.1007/S10817-016-9372-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360873$6DE431C7-BB9E-4D36-8E7C-6749976A1DB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b5192e189433aa3c67746a2f4880b6830d9d2b3","datavalue":{"value":{"entity-type":"item","numeric-id":3454092,"id":"Q3454092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"910a209bce0079a98051c5c03283d00eb6f910c7","datavalue":{"value":{"amount":"+0.9991723299026488","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":"Q2360873$21B06BFE-D129-495A-A928-2BDF48AD3650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2071723ea82038865050796ff4fd5eb14dc2420b","datavalue":{"value":{"entity-type":"item","numeric-id":2802441,"id":"Q2802441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6c3d9d81e5f1afc1af30923b54a4eaaf126fce","datavalue":{"value":{"amount":"+0.746164083480835","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":"Q2360873$DB4F193B-D447-4D28-B21A-111E2339B127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6799d75bd17f4d4f30a0c4237cbd1dae89e5e9","datavalue":{"value":{"entity-type":"item","numeric-id":1799098,"id":"Q1799098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16bc0b60fead2fed1760d1948afe77db2fe0d8e6","datavalue":{"value":{"amount":"+0.7447230815887451","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":"Q2360873$9376BE99-EDB2-4C64-A004-BFA8DD786431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f951d8f9e4dca86608cf14ef2ff8c919896ab86a","datavalue":{"value":{"entity-type":"item","numeric-id":5255074,"id":"Q5255074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd31251aafed91786d33e5476397c4bb3a43d374","datavalue":{"value":{"amount":"+0.7438883185386658","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":"Q2360873$2867C61C-0D8A-4C89-BFC8-93D504EE43BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8d614a1713015889e0900fda5bad81cf530c60","datavalue":{"value":{"entity-type":"item","numeric-id":4804919,"id":"Q4804919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9414f2ee2bf647417c89f72c88f2450adba8440b","datavalue":{"value":{"amount":"+0.7345467805862427","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":"Q2360873$5DAE85B2-3808-4EE8-9C8E-BC66B956B68C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2360873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2360873"}}}}}