{"entities":{"Q3384919":{"pageid":3395622,"ns":120,"title":"Item:Q3384919","lastrevid":55395679,"modified":"2026-02-17T15:29:22Z","type":"item","id":"Q3384919","labels":{"en":{"language":"en","value":"Unique solutions of contractions, CCS, and their HOL formalisation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7447778"}},"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":"Q3384919$21223CC7-2EDF-4327-9838-A5629C7652DD","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":"Q3384919$EA687F12-38D8-422E-95C2-761F03792589","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":"Q3384919$0279456A-0A60-4367-8A88-9C8964767534","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34b299fdbfa6203a276028105b394bb6d77f2b95","datavalue":{"value":{"time":"+2021-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384919$F44C9416-AF1A-4169-8E9B-0C5CACDEAF0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3261c3666ccd2f629162f95e45be3e2952c667d","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2018.10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384919$0FE9F034-0443-4656-BF76-FFA58B0164DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384919$A0CD4F48-BF26-4821-8196-41D83D5DB4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384919$42EEB2AA-5EB1-4542-BBA3-CA64C36AE4F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27a71100e642388e56de2cf74895b3cdea3f99d5","datavalue":{"value":"7447778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384919$CD27C8E0-DA87-468A-93AB-A2A8E88C6B9D","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":"Q3384919$93C62E58-F5A2-4829-ABAE-33A01F68A720","rank":"normal"}],"P223":[{"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":"Q3384919$6B814B70-830A-407B-9F22-C070C20B95C9","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":"Q3384919$190E939D-5063-48CD-8CF1-630637FEE960","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":"Q3384919$38EB85A2-397B-4646-B707-C1BE93B0D4B4","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":"Q3384919$7D387232-A444-4BB4-B19D-AB684B342707","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":"Q3384919$68AB9D0D-88C9-4AAF-B066-BE8A064AE2F7","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":"Q3384919$E3143A9C-7818-4AE6-9C75-CC2032E809EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1fac0956ead7ac2e2496be145645f347185b00","datavalue":{"value":{"entity-type":"item","numeric-id":4601126,"id":"Q4601126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384919$3A59DF46-E67B-429E-A604-61B9EF7A3E78","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":"Q3384919$1086EB2E-2777-49AB-93E4-F31A51487520","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":"Q3384919$1A481D9F-F4A7-4CB2-93E9-8D47ABE1AB68","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":"Q3384919$5A9D6974-5F6D-41A2-BD28-3ED197275C76","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":"Q3384919$B1DF79EB-6708-4188-B0F2-A4C95250D962","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":"Q3384919$F66BAC8D-506D-45FA-A16F-0D602D6BF1B2","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":"Q3384919$F607CBEA-47F0-4F21-9754-2DFE11AEDC63","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":"Q3384919$3A77EC0F-0B69-4E71-8F12-75AC767B41BD","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":"Q3384919$0418F6BA-5FA8-4ABF-A58D-7D4232E925A7","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":"Q3384919$4760AA91-715E-4365-BA15-873E48CEF26A","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":"Q3384919$043C1FF2-5765-4CA7-ACBF-598DC47AE584","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":"Q3384919$B0154675-26BA-4C8B-A5D7-426FBC638AD6","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":"Q3384919$0D9155C8-BAC8-492B-B468-B1457D06A974","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":"Q3384919$6E02A910-09BD-4B61-BE44-C4F99CCFF700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384919$93C12F47-B7D7-4EEE-92DB-D063DE31B573","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":"Q3384919$041BB3DB-5416-48DD-A53C-91824FE45F1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bcaf71210348d55fcad8d29e577a10b912ddb91","datavalue":{"value":{"entity-type":"item","numeric-id":2216120,"id":"Q2216120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04dea69b5558fdf887143b172d8e7a9589e6493d","datavalue":{"value":{"amount":"+0.9841773509979248","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":"Q3384919$F97C71A5-9103-4556-81A6-D487D419C34D","rank":"normal"},{"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":"86c52617700f2a5d14c4e41829f4071c87fb9a5f","datavalue":{"value":{"amount":"+0.8196653723716736","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":"Q3384919$031A2870-D46D-48C5-99C3-8B2FCD7A7AF9","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":"44916f87d8142d308664382f006f507e300c8d3b","datavalue":{"value":{"amount":"+0.8161160349845886","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":"Q3384919$86CF7222-43CB-4A6C-BB3B-DE6B006A7D1B","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":"3d09be6f39ebb4dab5c8393d4c851eb12b67f8af","datavalue":{"value":{"amount":"+0.7609315514564514","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":"Q3384919$4B77EDA0-4199-4B2C-8086-0BED6D9EB207","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":"bc13b380f66dd03ae97f3cef7c97e11222dde5bc","datavalue":{"value":{"amount":"+0.7380000948905945","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":"Q3384919$93E033CF-7534-45E0-AC98-0ABB181BBE50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384919","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384919"}}}}}