{"entities":{"Q6135766":{"pageid":13270073,"ns":120,"title":"Item:Q6135766","lastrevid":58721508,"modified":"2026-04-06T11:29:57Z","type":"item","id":"Q6135766","labels":{"en":{"language":"en","value":"Flexible Correct-by-Construction Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7731927"}},"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":"Q6135766$3D588562-661E-4C62-8D2A-AD6DF80C0670","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6b651722ddf4dded7c456a1b0a79e7fae6ee26f","datavalue":{"value":{"text":"Flexible Correct-by-Construction Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6135766$3EF1ADCC-3518-4790-905A-8BABECC8995E","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":"Q6135766$C9DF77A1-AC35-4FBB-AB53-AFAE81EF4491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eebb62553dc388c8ebecf8028b07bcacfb364bec","datavalue":{"value":{"entity-type":"item","numeric-id":6135765,"id":"Q6135765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135766$BDF985DA-0445-4A3F-B25E-22EE444C4869","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":"Q6135766$E9A5BFDB-A778-4E47-A421-E4E47628E46B","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":"Q6135766$5ECE0E9B-66D4-44FE-9FBE-CDD775B6FE50","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":"Q6135766$5529AEB5-0722-4321-A18D-298A849372B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135766$C44078AA-69BF-4A28-963D-4B66C5D0BE72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b7666770f35571057e67aecf4ce96423667a54c","datavalue":{"value":{"time":"+2023-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6135766$D14D46D7-9BA9-4088-A4D5-5E1D23E688CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"980aabc51d500974b9597eeade6a376b9a51da9b","datavalue":{"value":"https://arxiv.org/abs/2211.15261","type":"string"},"datatype":"url"},"type":"statement","id":"Q6135766$FA461DEC-D8F5-4E18-8B43-AB2F7FBCA3D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135766$FDCF2659-921F-49BA-B067-2259E8853B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135766$3F81999F-A06B-4FB9-BA24-8D5AACA94869","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a913a90cd513fcbb3146c7776f88bce80f04ae5","datavalue":{"value":"7731927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135766$1670C4AE-F946-4BAF-ACA7-11B6D2510B82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5fddabcea35f53794ff8c15e25a8da169ca4c51","datavalue":{"value":"traits","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135766$456A1BB2-17A1-415B-BE49-C704BEE1BEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"428de1b5a4dff51bdc86942b767fd3815b09ecfa","datavalue":{"value":"correctness-by-construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135766$FED2D33B-721A-467F-9F93-CE7FE1430185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135766$C5CC6B84-9048-4877-AA9B-AF9C5D62A5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c85cabfed0d7b6a982a2a28f9563f3b7bb38a29","datavalue":{"value":"post-hoc verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135766$596EBA97-5FC3-44D7-A3F0-9224DD808C8F","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":"Q6135766$69F2FF30-089D-45A1-AB32-1EE512FE8F0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff9e9c4ec934b0bed54d5c1747419df1590dfbe","datavalue":{"value":{"entity-type":"item","numeric-id":5175776,"id":"Q5175776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135766$A19300FE-228A-440D-B34A-161991E5FF39","rank":"normal"},{"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":"Q6135766$D8861CDE-65D3-4499-8175-96EF7D13087D","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":"Q6135766$340334F3-7804-4CFA-9C0F-A22E5D2D2FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135766$1EC155CF-0160-4AFD-804F-81CFEF9043E1","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":"Q6135766$012AD158-8629-45A3-8594-0AF8756028A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41449a4ec7451f64a128da49483496b397b48a1","datavalue":{"value":{"entity-type":"item","numeric-id":2938045,"id":"Q2938045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135766$CC4BDD39-2729-4056-B821-9D2CA9CCB536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f418ddff0a34d39ed0344cc1eb4f37e8aa4717d7","datavalue":{"value":{"entity-type":"item","numeric-id":451068,"id":"Q451068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135766$3FFF8073-3E4E-4883-AA7B-349C61D0D316","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":"Q6135766$185CACD9-6C72-438D-9F60-3A6AA79BF5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135766$411ACC1F-ABA5-48F9-B608-86ED8A2DCB90","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":"Q6135766$A2467E00-5138-4466-A00C-C8226C6A617B","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":"Q6135766$4D757A93-5C17-4F2A-93BC-B5EC42CD0103","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":"Q6135766$CB3B1AC0-4328-437B-A9EA-9A240BB96FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ada10a6915863e8cbe97e85af36ad11d38924d","datavalue":{"value":{"entity-type":"item","numeric-id":2233462,"id":"Q2233462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135766$BF93D7CC-14BB-4246-83F3-C8AAEC7D7A2B","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":"Q6135766$B1DFD051-CDED-4B93-84EF-AA2E55897FDA","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":"Q6135766$61E332DC-D65A-4A5D-89AC-52CA68C5A6F4","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":"Q6135766$986C1D99-C438-4740-A981-62A16CD42400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eef265696eab929452c51754395ea8c6582abfb","datavalue":{"value":{"entity-type":"item","numeric-id":930885,"id":"Q930885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135766$7327DDD9-AF13-497A-B000-613604F82FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f766bae7bb1dc745731294a8b2405f79150a41","datavalue":{"value":{"entity-type":"item","numeric-id":2914741,"id":"Q2914741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135766$432687BC-5D97-48B8-B947-32852B60D788","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":"Q6135766$F53200E6-38F8-440A-9361-1A027606A731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77dc933c73e4695de7ff6375817b86b37737aa","datavalue":{"value":{"entity-type":"item","numeric-id":3922132,"id":"Q3922132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135766$5C3903E0-6370-463C-862F-E681711EB2A6","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":"Q6135766$284A2D2D-2D1C-4111-8A86-83C33716542A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263b81d6f82aa7bc5c419ca585e86c9e4182e475","datavalue":{"value":{"entity-type":"item","numeric-id":1019016,"id":"Q1019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135766$3F8A1582-80BF-4BBD-B257-7DBF753DFF9A","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":"Q6135766$FE6C53A3-E601-4A4A-98C3-5453502E7C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef0e31c863b54eb89f26886efb345a4ce830c995","datavalue":{"value":{"entity-type":"item","numeric-id":2165220,"id":"Q2165220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135766$2D32520E-079A-4C8B-BCA3-40A50B5881FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab3fa7d2331da7496c0372b17f6312ced82ed843","datavalue":{"value":"10.46298/LMCS-19(2:16)2023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135766$1A272EB1-A2BC-4860-9E3C-E69552166B04","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135766$80D98C17-B94F-4A93-90F8-2387C43F510F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6135766","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6135766"}}}}}