{"entities":{"Q2216120":{"pageid":2226863,"ns":120,"title":"Item:Q2216120","lastrevid":71577447,"modified":"2026-04-13T23:10:24Z","type":"item","id":"Q2216120","labels":{"en":{"language":"en","value":"Unique solutions of contractions, CCS, and their HOL formalisation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7285763"}},"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":"Q2216120$D88EF491-02F9-443E-AA58-47998941916E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3ba250aeea95155773a25cb00636e7980b58fb0","datavalue":{"value":{"text":"Unique solutions of contractions, CCS, and their HOL formalisation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2216120$3CC1B6B9-AE81-474D-B30F-A0F3AA7C6BAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e1776ec9ebf02c77590902aca459f5fda9db11a","datavalue":{"value":"1496.68250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216120$30E00FFA-0C05-4EED-9323-1ABDBE16272D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ddff9c6293b2e5ce272b5b147ed806b4792ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2216119,"id":"Q2216119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$047024B0-3893-412B-8B27-48B998A911DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$547E6D0D-E89D-4736-92C7-0195C4735DE6","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":"Q2216120$1086546C-03B8-48B3-9EE5-EC04F5FF0625","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b92018b86948792c7af58198ad3b3a15967a211f","datavalue":{"value":{"time":"+2020-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2216120$2A5623A5-F2C1-4D2D-A780-C76DCCCF7F9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6599f323ef75d4148d177b66376f727c086deba3","datavalue":{"value":"https://arxiv.org/abs/1808.08652","type":"string"},"datatype":"url"},"type":"statement","id":"Q2216120$003A0436-165A-4FD5-B52A-EFAD77EEC16E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216120$CC937465-4F3A-40AA-B6BD-9DFD5BA3D67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216120$87B8EFD4-7D00-45BF-814A-68B49390A2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216120$678D8723-F6B0-4DEF-AA85-1CF26EA1BCBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fbb64d89869aa961fec7419b8c9f3a1ec2b1c73","datavalue":{"value":"7285763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216120$2BF7C01D-1484-4397-911A-E6EEEC7ACFAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2216120$5F337E7D-CE75-472D-A6DC-1B56D69CE48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2216120$0D1404D5-6B65-47BC-AC3A-7E3C98B6BC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2216120$67405C0B-DA7A-442B-8FB7-D4EEDB84FC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5db6a19f2903a5532f065d656abc8f97a58dc5a2","datavalue":{"value":"unique solution of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2216120$2787523E-807D-4C7A-AFFD-DBBC995F5AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2216120$9ABF448F-67F6-4282-AE13-6BD10DA7D42A","rank":"normal"}],"P1463":[{"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":"Q2216120$006105AB-1307-47A4-BBB6-8140E8A6C654","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":"Q2216120$59833829-6196-402F-9B32-56FE2DFD33AC","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":"Q2216120$FC12F867-6859-4D79-B84E-32219EB0468A","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":"Q2216120$64D6D38A-2C70-4F43-B4EC-34A8FC3B4AC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0dff4c50e3cab13928d06e895622ec15537199dc","datavalue":{"value":"W3044086435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216120$4CDC6DA0-C44B-4691-B598-B6096D0372D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"134d6a152f6ed1294cd44302d1aa65b27cba344b","datavalue":{"value":{"entity-type":"item","numeric-id":5222128,"id":"Q5222128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$FB1191CA-B202-4810-8E27-FD0D1C5DDCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$7114ABCC-ACEF-4070-A4C2-25101650DCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebf22b5e0b208fa4dfcfcf742bcaa1a2f4f64d3","datavalue":{"value":{"entity-type":"item","numeric-id":3404131,"id":"Q3404131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$2A8E7296-8E28-434B-9BC2-D34AF5A6867B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$A31CE070-61F7-4E20-9A5B-A7E36C4434A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f62b3b29af52f15a349568ffee2fa94b3dd458","datavalue":{"value":{"entity-type":"item","numeric-id":2819828,"id":"Q2819828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$1B5EB2DB-47D4-4ECA-8F4D-DE24AE97AFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ba20814035c60bd535caa1fc890f11b00f3e49","datavalue":{"value":{"entity-type":"item","numeric-id":5278202,"id":"Q5278202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$DB2BEC93-12ED-411C-B3A8-D0F1EE4D9635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ac74a31301a5e3e6b70414cb56c7e0b33f20b6","datavalue":{"value":{"entity-type":"item","numeric-id":5898149,"id":"Q5898149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$31690F7B-A29E-4C6F-B13D-15B23E7533DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9341bc2119f8bae06b56c722f436b52fd858e9","datavalue":{"value":{"entity-type":"item","numeric-id":897107,"id":"Q897107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$52506FB6-9619-4796-AE80-1E40C80BDEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e615632ea08fe7f0a323e35cb632d59ded1f542","datavalue":{"value":{"entity-type":"item","numeric-id":4385545,"id":"Q4385545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$CC78453E-581E-4AC5-803C-5AEFDDD8150E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$0C923D16-6AD3-4F8D-A50C-C867441773AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04f13e9ab5c819934bb5e3ee883e8a369b49134","datavalue":{"value":{"entity-type":"item","numeric-id":1323358,"id":"Q1323358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$804B94D0-8A60-4E4C-AD61-7BEC833D8C21","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":"Q2216120$FFC84258-56C4-4C10-AA7A-F21ADDDE4B10","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":"Q2216120$5195A696-1106-45FD-9B39-4AC32AB6A4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$1B240E41-63E6-4C36-8D9C-C82676F67BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"997760692cb4153246a3d2704115dbf18fa665f7","datavalue":{"value":{"entity-type":"item","numeric-id":2280213,"id":"Q2280213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$38E09557-2A2E-4074-9BA9-1649EF2232DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d19cd9e9dd9cdd506ed300dd4f0fdabdd6cbb9c","datavalue":{"value":{"entity-type":"item","numeric-id":5327341,"id":"Q5327341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$65124ECF-818D-4B21-B17C-C3C852B67A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"572e88e2ea331fff575a9906c967d89b834ccbef","datavalue":{"value":{"entity-type":"item","numeric-id":1965247,"id":"Q1965247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$6E90D967-C270-481A-95CF-018C5C4B96A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83518a77cd2dab248c96219fb02ab05b38a89c35","datavalue":{"value":{"entity-type":"item","numeric-id":2871830,"id":"Q2871830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$7A8D559B-0CA9-422B-B76C-D50850949EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1b7ba883393415c2d36d90450052b088071aaa","datavalue":{"value":{"entity-type":"item","numeric-id":3395094,"id":"Q3395094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$7BCFE969-9C02-4EE3-8BD4-2E40F78A56E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08761b09ca44565849f2d4fcdca6afd4fda0ef0f","datavalue":{"value":{"entity-type":"item","numeric-id":3024855,"id":"Q3024855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$537E553D-D0FB-4CDC-A16A-016E7A9F55B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f94ff8757f5d21aba1ad444aa28e9cc7bc24572","datavalue":{"value":{"entity-type":"item","numeric-id":2373744,"id":"Q2373744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$7516EFDD-3F15-4118-9FD6-9DB1AD7CB291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b676665afd22925f578269f91eda5bc9c6a056","datavalue":{"value":{"entity-type":"item","numeric-id":3507444,"id":"Q3507444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$8E88112A-889E-42A6-B4A2-C8183DDDA206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4db8f7fa996304ee694716b3fc5e63d2e83c95b","datavalue":{"value":{"entity-type":"item","numeric-id":4365103,"id":"Q4365103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$CB95A9A8-CEB6-4DE8-B4B7-FE49FEF2696A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c671ef02ca37b76a426e32103f79c50c0f86c8b1","datavalue":{"value":{"entity-type":"item","numeric-id":5111623,"id":"Q5111623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$78487017-4716-4870-93DB-B661038BC3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d6aa99a49bc38e2a53c4b4f29a1bd544d8463fa","datavalue":{"value":{"entity-type":"item","numeric-id":5145310,"id":"Q5145310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2216120$0EAC4B9D-18C2-4CD0-9D95-6CEB963477D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"279c9d80b80aeee770250b99a34a6a41c8978ee4","datavalue":{"value":"10.1016/J.IC.2020.104606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2216120$7A633E27-E7BB-4EFF-BC6F-315F383D6DC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc3d1c5aa22f72a9b97ba14936729081c9eb8f8","datavalue":{"value":{"entity-type":"item","numeric-id":5278202,"id":"Q5278202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69236b61bf88ce276229df27f7b29d150ef2416c","datavalue":{"value":{"amount":"+0.8032863140106201","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":"Q2216120$27F793E3-86C3-4F57-A16A-D725631DC7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef1e69b19b6c699cc4348c1aca9cb06f5eb11481","datavalue":{"value":{"entity-type":"item","numeric-id":2819828,"id":"Q2819828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f857764309a7454677b611fe20ad024c91e23181","datavalue":{"value":{"amount":"+0.8002247214317322","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":"Q2216120$85496F45-2B93-4940-BAA8-9FDAFE4A93BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb43a80c30f575741cc66e3258b82a49cf5a4ff8","datavalue":{"value":{"entity-type":"item","numeric-id":5228882,"id":"Q5228882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f8796ae851c8f5b24a0ed8b6bee60297b8e808","datavalue":{"value":{"amount":"+0.7382729649543762","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":"Q2216120$D835952F-B9ED-4537-A316-3EEECFB3ED4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3897489e8bc43bb18161a312f75fecc0ece9d0cc","datavalue":{"value":{"entity-type":"item","numeric-id":2787416,"id":"Q2787416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf0cc4af7d88eb429df67260c50933fdd5994619","datavalue":{"value":{"amount":"+0.7339265942573547","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":"Q2216120$CFABAF0E-501D-4381-906A-2CA2165E017A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"214657dd82c7fdd4c5d07ed6b66538906149b93a","datavalue":{"value":{"entity-type":"item","numeric-id":5111623,"id":"Q5111623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"918cc9caa7e44ec5dc4cb9322fa2b52460453031","datavalue":{"value":{"amount":"+0.7339128255844116","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":"Q2216120$2263F792-28F4-499C-8082-CD3EC441CF57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unique solutions of contractions, CCS, and their HOL formalisation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unique_solutions_of_contractions,_CCS,_and_their_HOL_formalisation"}}}}}