{"entities":{"Q5875446":{"pageid":7904997,"ns":120,"title":"Item:Q5875446","lastrevid":39654644,"modified":"2024-12-30T16:43:27Z","type":"item","id":"Q5875446","labels":{"en":{"language":"en","value":"Characteristic formulae for liveness properties of non-terminating CakeML programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649981"}},"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":"Q5875446$37A54402-D227-4EA5-832C-A1663EFC3DB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a8f2f10d3616597931dae33797b17219e2eaee7","datavalue":{"value":{"entity-type":"item","numeric-id":5875444,"id":"Q5875444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$9A78B120-64BE-4E83-9F1C-62A49CD7C06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4c07edc0ec8cd32c1f2fd179d947bf436dec5c0","datavalue":{"value":{"entity-type":"item","numeric-id":5875445,"id":"Q5875445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$C59B46ED-1DE7-4F75-B084-839518C2F90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c330e55e5dc72ba4e46dcf35457734e0df28701e","datavalue":{"value":{"entity-type":"item","numeric-id":286789,"id":"Q286789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$74BEE105-91C4-401B-9511-320743A33905","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875446$9C874C50-9E00-4220-8FF6-2D471F9A864A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875446$2E4DC74B-6D8C-4EC9-9684-33803EE4B663","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"386f73812294ac8a93ef19cdcd9f959e57e0a5b7","datavalue":{"value":"7649981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875446$B4D23B33-62E1-445D-AD59-FFA040BB5407","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875446$73C58675-687E-4792-9EF6-76C71600B0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54efe8b49a37b1aa489fb0e653d938725cf2fcaa","datavalue":{"value":"non-termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875446$84D8589E-FABE-415C-A3D8-50C4D76ED396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875446$A42251EA-1E83-4E9A-9032-E61E46BD43C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875446$D09EF58B-98A3-44CC-846C-BFF1421DEA97","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$DF39DA0E-6F09-4900-9703-27F95A679E4B","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":"Q5875446$D61AE6F1-00F2-493A-BA75-39DAEABF576C","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":"Q5875446$91B9C296-298A-4094-A154-53D7A9FA74FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c843bf6d485f7bc3e7b2e7ad5fa9d62a41f7df8c","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.ITP.2019.32","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875446$00E073AF-5E26-4B23-9912-7382D85D89D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff066326d8b44c20384d7af977d38a5eaffbadd7","datavalue":{"value":"W2977469202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875446$1F14B03D-33D7-49F0-AB54-62A93CC56AD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebf2c150ad5009a257918556dd9a85fffac6501d","datavalue":{"value":{"text":"Characteristic formulae for liveness properties of non-terminating CakeML programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875446$E97917B1-8BE0-4FEC-9B97-B7D1352150CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cefa9e010d5c2f941870e0b453b7cb8b2508c4c3","datavalue":{"value":{"entity-type":"item","numeric-id":3455778,"id":"Q3455778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$B78FF8F7-855E-4E60-8F49-072707C8934D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292d5c006305603ea251952b72b3907af5565470","datavalue":{"value":{"entity-type":"item","numeric-id":5176951,"id":"Q5176951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$1150CB0C-0234-4A53-843D-D8703923E867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3343c3ecaf29b3d00ed730793fb135803dd0ca2f","datavalue":{"value":{"entity-type":"item","numeric-id":5176992,"id":"Q5176992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$923C277E-3365-4662-AB4B-D9080D9C4DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cca494831223dfd7d02e4f774c2fca4baf9e4c4","datavalue":{"value":{"entity-type":"item","numeric-id":5326276,"id":"Q5326276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$91A7FA0E-494E-418D-8152-7FF12E2B49DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99bf23d396de4098e04e28b19a662f87e70c7d62","datavalue":{"value":{"entity-type":"item","numeric-id":2945628,"id":"Q2945628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$83850F4E-E8B7-4B66-8E58-1D65E4A83BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa234c9dd4899f88cd70e3bedd83d7b0de64893","datavalue":{"value":{"entity-type":"item","numeric-id":2988642,"id":"Q2988642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$BCCE6538-D011-4E86-8835-C42662DDBF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446632a47efa4a62cf764567cbfe493c44d2f90d","datavalue":{"value":{"entity-type":"item","numeric-id":1426864,"id":"Q1426864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$11960BD8-EC78-4820-955F-33E732ACD6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c793fa2d4ededf3f0fe9055c269eb315e9737a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2323994,"id":"Q2323994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$646427BA-197B-42A8-A6BE-4476ADC75D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567a8dff2d0b10b014f06f4bbf8ecdbec1e09916","datavalue":{"value":{"entity-type":"item","numeric-id":2988660,"id":"Q2988660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$213D381F-BAE9-48F0-A036-D1A301860DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$23DFB84B-65B2-441F-8845-BD715EB4877B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46bace28fbebf820c63fed72ed21b2a304c9cac3","datavalue":{"value":{"entity-type":"item","numeric-id":1799129,"id":"Q1799129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$14D770AB-11D2-4BDE-915B-41FDA41EC3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8515247747c04071cee03c4e2b35aa91b60754","datavalue":{"value":{"entity-type":"item","numeric-id":2754051,"id":"Q2754051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$C7DD4A34-A096-4020-93A7-A1037BC1E701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e151b3b56a7d3097d6814e56a677b84a6c67622b","datavalue":{"value":{"entity-type":"item","numeric-id":2764132,"id":"Q2764132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$4C468C9F-BD4B-414B-9B2E-B75BF3ECF598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797a00330d9239dad7fe9082133bd59fee594505","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$19E78730-5BD0-425B-BBDD-8EDD7C9EAB7F","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":"Q5875446$3D9AF01A-0F88-4B8B-93EC-9DBE35C10319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca3c893ec274449af409e1d364b4d648dd50b27","datavalue":{"value":{"entity-type":"item","numeric-id":1012129,"id":"Q1012129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$7A3A246C-3B88-4350-9DD9-81872E2C694E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f131e44a68e9dade152b5374a19246dfeaefd7a6","datavalue":{"value":{"entity-type":"item","numeric-id":3183540,"id":"Q3183540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$FDED753A-3D87-4238-9527-86DA886B95BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5251a5f7985125591a1eaf13172311f0e5f6fe6a","datavalue":{"value":{"entity-type":"item","numeric-id":3558243,"id":"Q3558243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$9A1F3391-D2E0-4139-9A5E-56AA378F5104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155885aa7c0b13bd9f6bfaf7a7ce0eee98e93ecb","datavalue":{"value":{"entity-type":"item","numeric-id":4963901,"id":"Q4963901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$A95E66AC-46C1-4C17-B809-524100D245D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f3f16581119d55405062987de2f3afde2cc2f0","datavalue":{"value":{"entity-type":"item","numeric-id":2802435,"id":"Q2802435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$446614F1-13DC-46A1-A4B6-051AB027BC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243621eb4facef3c3bea49c48ac9482069e35302","datavalue":{"value":{"entity-type":"item","numeric-id":516041,"id":"Q516041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$F325B91D-E366-4311-A6E4-E92020E94800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$E624D88B-2C0D-4CD4-902C-91F00DE98766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d93e889c52c36a6fb58e10f9eb9b5078b5353ce","datavalue":{"value":{"entity-type":"item","numeric-id":4972072,"id":"Q4972072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875446$E3F5687C-0D91-4883-AD69-8B1D5755531D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e8c15b2a6b3e5a12fa1983af550a7ddfbd653db","datavalue":{"value":"10.4230/LIPICS.ITP.2019.32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875446$4DF8B813-97A5-43B6-9A28-A07530AA33B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875446","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875446"}}}}}