{"entities":{"Q2165220":{"pageid":2175963,"ns":120,"title":"Item:Q2165220","lastrevid":57760446,"modified":"2026-04-02T10:09:48Z","type":"item","id":"Q2165220","labels":{"en":{"language":"en","value":"Traits: correctness-by-construction for free"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573248"}},"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":"Q2165220$D035AB9A-335B-473F-98C0-6167734B68C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9014695168f31d98d22ef16130df4970ea5ba91","datavalue":{"value":{"text":"Traits: correctness-by-construction for free","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2165220$E475FFDC-CE8D-4C63-B5BB-F088E8C37713","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fef40dbe0f2e9ae2be9b6153600477e334f01cf8","datavalue":{"value":"1499.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165220$FBD01BCE-5958-4D87-95BB-02C0B7EA58DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85e9f8b60e7bb8cc9de15910f6b679f199cba47c","datavalue":{"value":"10.1007/978-3-031-08679-3_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165220$164C0DBF-DCA3-46E3-A9B2-557BE6CD0F8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"885acf4d946c1581e7795110b3fa0c62c5faca66","datavalue":{"value":{"entity-type":"item","numeric-id":2165219,"id":"Q2165219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$ED1411E2-0DA9-494A-92FF-C30A2CBA29E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e589fc73a44d152c88a9f3777ecfeae4b35a15a2","datavalue":{"value":{"entity-type":"item","numeric-id":532425,"id":"Q532425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$78AB1CC2-1F9B-4029-B089-4ACFA5FB89B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"199d29c818adf5bb5c4ec4c2444a8433d9523b01","datavalue":{"value":{"entity-type":"item","numeric-id":898604,"id":"Q898604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$3F8A3397-8B2E-4E04-B202-1B7F3FBCA1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a8de372799402bb9369830764b9ee203260e67e","datavalue":{"value":{"entity-type":"item","numeric-id":736802,"id":"Q736802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$B242EBEA-CC78-4ADE-86BA-5EBE0F05D12C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc1df975eaf5d972c6cd76a177b15b62ceb34b0c","datavalue":{"value":{"time":"+2022-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2165220$EF3EF990-0DA9-4303-ABB1-415D67B309E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfbea94dbc06d91d947ef9da7f227ff1c93a1e1f","datavalue":{"value":"https://arxiv.org/abs/2204.05644","type":"string"},"datatype":"url"},"type":"statement","id":"Q2165220$4AE5879E-C92A-4399-B4E1-79A89A1A7E03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165220$2A6A92EB-6213-415E-B454-A3571B58E660","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef34704e5f565f8577774b2391eead74f0b2c46a","datavalue":{"value":"7573248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165220$E8E14F12-BE38-493D-9A08-3493F22454A7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$7150D0C4-ABC4-4445-B530-786A955D9F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90bfdd1a1f860255fb4bb8fdc7c84fcb47630c66","datavalue":{"value":{"entity-type":"item","numeric-id":14460,"id":"Q14460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$5BFC27DC-9939-4CD6-B5FA-51C8A0AA0B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$A2BD9319-9EA4-454E-9D75-E9F6EFC5B93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$D7DD7E04-1CD9-43CF-9437-18886CEC5A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea42592d88b0dc0335528708fc0459f05c2f670","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$97070F4A-7582-4E6A-B1C3-B71BE85CA67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7afbb4a75ff9dddc6f6479ce6bad4eddcf19dfa8","datavalue":{"value":{"entity-type":"item","numeric-id":5974939,"id":"Q5974939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$84D356A6-6DC4-48D1-94BB-7BBA74D8E5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$E490A171-0F18-4F32-82FD-C15F6F0EC27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$B4E60C2E-FD28-4225-903B-73343D8AA1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$D6AEA4EA-FB7C-4B04-99FD-C332E1BF2F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$A94BFAF6-96D7-4FFC-9A8C-DA402430F866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7d007b8ac7826b3af6e54daf0abd1bbc4ccc413a","datavalue":{"value":{"entity-type":"item","numeric-id":42662,"id":"Q42662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$09E52898-6881-4192-93B0-0755A0E28679","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":"Q2165220$00E7CE0A-3101-4CD1-9340-98731624DBC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"490c1e0572aabdfa269f0cc6333daba7fc6a2686","datavalue":{"value":"W4293197076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165220$8650FAEA-3DB3-49D7-B299-5EA84A1154EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$4CE6713C-676B-4D38-B395-031A5EB45690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d563b33a97ae532ceb4fa7611f2c0c8a02aa021","datavalue":{"value":{"entity-type":"item","numeric-id":1019025,"id":"Q1019025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$79E54363-36C0-4FA3-B737-ACE65BDA509A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$536C41E6-832C-4A2E-BB3D-B68B18348691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f6e38720ed020acd8a12882c3efc2644eac579","datavalue":{"value":{"entity-type":"item","numeric-id":736803,"id":"Q736803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$90DBEC85-0BCF-4F6A-AB12-D1EB5CE3034C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$FAD8255E-BEDE-40BB-8EF1-6187CF1184AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149ff32ca36e33fdae222d2078b5f41470083e61","datavalue":{"value":{"entity-type":"item","numeric-id":4721623,"id":"Q4721623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$B3AB1895-6BBD-4B65-BCEF-8387D037486A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0d795517e293a55fbffeee6d84c637293c8bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5327339,"id":"Q5327339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$D8CB42C5-DC30-40E4-846A-C1730900D5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b4246bf332d45c90c410b55aa43c4af6aee470","datavalue":{"value":{"entity-type":"item","numeric-id":5626277,"id":"Q5626277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$29726D13-7628-48F4-84B1-1D6E568B547D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c4c8cb86930877d8440a71c475d0c772f7c372","datavalue":{"value":{"entity-type":"item","numeric-id":5388976,"id":"Q5388976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$BA21808F-6699-4C81-99F2-4EF9D510EC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$BF760B1A-D850-4A7F-B034-2BFA5E673FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$75A99E15-C3E5-4FD9-A463-0713856B65B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e8c273be77bf6b1b19fb6e1124adc2445e066e","datavalue":{"value":{"entity-type":"item","numeric-id":706504,"id":"Q706504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$F3041520-5961-48FE-9671-F9FBAD60D623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa348c1682e12d5bc47045cff79c34e3ad03d240","datavalue":{"value":{"entity-type":"item","numeric-id":5946570,"id":"Q5946570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$413207F0-7F20-42CD-ACB1-16B00394216A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff7181965704e473c064c7d95f9f7f0b397f93f","datavalue":{"value":{"entity-type":"item","numeric-id":3543665,"id":"Q3543665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165220$7C91B04F-0880-4232-A037-4618B43D489B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6290f2b7138fa31f02d86bc820afc2fb189d248","datavalue":{"value":{"entity-type":"item","numeric-id":736803,"id":"Q736803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb445e17e543160f319dafb1012cc2c298373c5","datavalue":{"value":{"amount":"+0.7316341996192932","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":"Q2165220$75E45E96-5CFA-4B3D-A201-593642990ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eedb96580d97485b232bd5e4c5676595c138adc","datavalue":{"value":{"entity-type":"item","numeric-id":5388976,"id":"Q5388976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"978041a4958a2b939f1ce46daa5c85aba0f5d53b","datavalue":{"value":{"amount":"+0.6446819305419922","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":"Q2165220$DF205ADA-149B-4AAA-9EBA-B740291326B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d1c1822a9f4c185400bde7af500852d5eaa02b","datavalue":{"value":{"entity-type":"item","numeric-id":3296319,"id":"Q3296319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c72ddae17d8493d452fc86afed9aaaefcea1e0e","datavalue":{"value":{"amount":"+0.6320739984512329","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":"Q2165220$59C87F1B-D37D-4520-9721-DED06DDA7376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13cececf5dd03a1f6016067f19008279b5c3a46c","datavalue":{"value":{"entity-type":"item","numeric-id":617977,"id":"Q617977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a92d2cce071f28729302bf4c3c9ce2cfa318c4","datavalue":{"value":{"amount":"+0.6257464289665222","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":"Q2165220$3641296E-93F4-475C-A358-A5DAA6CF939F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04f21a4bce8b5aad8b2c77731db6e587ec6150e6","datavalue":{"value":{"entity-type":"item","numeric-id":2164214,"id":"Q2164214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded8f7016a7784a63ab51a8f0ac155bd6da01132","datavalue":{"value":{"amount":"+0.6223940253257751","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":"Q2165220$738775FF-8BC8-4B8B-8D3F-4D422B4AB878","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2165220","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2165220"}}}}}