{"entities":{"Q5097622":{"pageid":7127198,"ns":120,"title":"Item:Q5097622","lastrevid":36847479,"modified":"2024-07-29T22:16:26Z","type":"item","id":"Q5097622","labels":{"en":{"language":"en","value":"On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7576117"}},"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":"Q5097622$45109A11-4932-4018-A22B-5AFCC32F8B06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"107f56efeb1b9c18026eb1e09db1a6f4abdce193","datavalue":{"value":{"text":"On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5097622$46C79642-A861-4625-A5B7-408AD62B65ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b71a1fe9a98567a6f394378d74908d56f483388","datavalue":{"value":"1502.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097622$D68036D3-9D89-4B18-B481-CE96FD42419A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ec92c1d1f2e819ee0c9edafd51caaa5ced56cb0","datavalue":{"value":"10.1007/978-3-030-45260-5_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097622$43EEDE84-923F-4876-AB65-0A9B78B18E0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$E6C149AB-1F3D-49AF-83A2-911FB046B227","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$FC0188FA-9378-433E-8F3A-A93DDA56C467","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1671f4d77625f9c3fb2d471bd3f2c3e84e79d65e","datavalue":{"value":{"time":"+2022-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5097622$CF9F6F23-5CBB-49DA-AF6D-555A84E64648","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097622$6D49CA6E-82DB-47E4-B9D3-F54F10DC9E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097622$3853426E-D4E4-4D58-BC73-8051680D37F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097622$A67A9D20-01AC-4009-B9E2-AC0C534CE4CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e0dc802407df33482de53521fe0aed8aacbc173","datavalue":{"value":"7576117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097622$EBBB331B-7F28-454D-80AB-0A6F8DC2E492","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca349b7534ee4c6daef46219f1870f6141cd3cfb","datavalue":{"value":"induction principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097622$3704E95E-93D1-47FF-94F2-D6268AAD5F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097622$A403FDB4-6A6A-4CC7-A241-C6941E0FF140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097622$28A59771-0024-4D86-896E-02872C79906A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4734a47521c48b7b32ae545a74ae18917855b200","datavalue":{"value":"total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097622$D4B89A21-A740-4486-9028-41BC2DD46829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097622$0C47C72B-E58D-4859-A0DA-B6EEE7186955","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":"Q5097622$DB60EE4E-E15E-45E8-982E-D5AAD51A70CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"889907c2561353e803ac182211ecbb53a054bcbf","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45260-5_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5097622$F86B4248-5356-4A85-8D64-2DD4EC11A807","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a610d6021cde48ca68ad1daa8cc90177e38dc75","datavalue":{"value":"W3017851112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097622$730387BF-9717-4F25-A391-C9F14B17DB1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2204ee7d30bcfa8fbee857183801f78bafc2ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3763571,"id":"Q3763571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$0771F276-B611-4682-BFDD-56B876990F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d346d8485da0bc889f787fa277d331b616d4df2","datavalue":{"value":{"entity-type":"item","numeric-id":4054648,"id":"Q4054648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$63FEEB5B-8E48-4D35-BABE-B31126C19E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f067c1b808884e93605e1af2dbca3dd82129f7ed","datavalue":{"value":{"entity-type":"item","numeric-id":4170195,"id":"Q4170195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$D66B794C-6635-43A1-A063-08BA34D31A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$4410CB80-1EE7-40C7-BA90-F99B5F3DEBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eceb9d4f1d49d9d9c45e2282f017b93d47d978fe","datavalue":{"value":{"entity-type":"item","numeric-id":3919063,"id":"Q3919063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$094BACF6-20DF-46ED-B3EF-F432DE7AE63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$A9412B8D-4DBC-4F89-B77E-0E3DA3446CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc198779b4fb01fb0dc4918d4383de23c1f11df","datavalue":{"value":{"entity-type":"item","numeric-id":3968981,"id":"Q3968981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$93577EC4-13C8-4D83-952B-1ECF9D630AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$398138D3-72EE-4642-8A1E-FC3426D0796B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43cdd87ded22e91b240f87cd42c83be6c8b249a9","datavalue":{"value":{"entity-type":"item","numeric-id":1172384,"id":"Q1172384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$E71FDFC5-D9D0-4263-89C0-6F3FDB4AE292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$0A27B22A-0871-49CF-BBDB-A70AA6CF3AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c6c105fc16c93e45c3c862af5073671b76b02d4","datavalue":{"value":{"entity-type":"item","numeric-id":4930716,"id":"Q4930716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$D23AA678-42C6-4447-82D1-BBFB98E4321D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$123013ED-B5C4-4845-A6D2-FE30EBA67418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645e6a5fe25bb153e39bd229a7c509d064e31288","datavalue":{"value":{"entity-type":"item","numeric-id":1216947,"id":"Q1216947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$21A8F04F-3E16-4A1E-B6E7-2ABE1DC301D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$8346D44A-11C1-4DB8-8C1C-2C9111A43673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$6DEE4B21-3047-41D5-8C95-E1C040EF82D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea12a9d5054eb283864eb6e1e0f33182f274918f","datavalue":{"value":{"entity-type":"item","numeric-id":4404415,"id":"Q4404415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$AD3E8F05-CA57-4D79-B932-825566354C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9180a995c6bf4fddce09c209e0c80247b0b06901","datavalue":{"value":{"entity-type":"item","numeric-id":2561482,"id":"Q2561482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$242B5CAB-16C5-43DC-A1FC-3D80885A790B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee166b05c438df2f9df3e5908beede0a2381eeab","datavalue":{"value":{"entity-type":"item","numeric-id":5657655,"id":"Q5657655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$59820C93-2A1A-4B7E-85EB-AB777EF18853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1db7dcd2da9fc394dcd951ad62461c4f9bd451","datavalue":{"value":{"entity-type":"item","numeric-id":1227632,"id":"Q1227632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$63E05283-64F6-4B94-811B-E71133C1554F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be2d7a498e1fa1a8eec9f77d2e3dbc81e945234","datavalue":{"value":{"entity-type":"item","numeric-id":3906397,"id":"Q3906397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$2630DBF3-7870-4715-BB23-B16B2CDE8B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0b19ed430efa00b5cabf1a1ac8207f3b19f572","datavalue":{"value":{"entity-type":"item","numeric-id":3521994,"id":"Q3521994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$2F15D78F-CE0E-47A6-A2E5-5A1148656CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9df03a59df4dd5bd6b1e9f7f562a6de5d8fe8","datavalue":{"value":{"entity-type":"item","numeric-id":5636307,"id":"Q5636307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$8BC495E1-8EC9-4F9C-88B5-89A6310A6EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097622$9C2F7AAD-E547-45D9-99EC-52FB87D04609","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5097622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5097622"}}}}}