{"entities":{"Q5089296":{"pageid":7118872,"ns":120,"title":"Item:Q5089296","lastrevid":39527769,"modified":"2024-12-30T14:52:56Z","type":"item","id":"Q5089296","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559486"}},"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":"Q5089296$C68E292F-9953-4ECD-BC18-A919F86C4AB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089296$1B68AE9A-4993-43B3-9388-FB202EE73845","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccfb04980cef6ddd3abede138704e29dee7be4bf","datavalue":{"value":"https://arxiv.org/abs/2004.03170","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089296$F9A35847-5114-4AA0-BE07-871BE1BA270A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089296$09694B2A-3C35-458A-A176-E864D191AEE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4ce4b551c819013478b725478097ee2b2e53346","datavalue":{"value":"7559486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089296$606144D5-9F25-425D-B71F-88B8B58E9C52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"932e829a19a15e625f957c0ec94c3ca05aae1ad1","datavalue":{"value":"inductive invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089296$33A7B521-9F84-4FF0-BE71-FF754FF666A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089296$FA129F43-5928-4F75-B88C-97F88AAF96B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089296$9D340D1D-F196-40F9-885D-8C1827DF6886","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"210f06773da60a84f3e0c4f4d099d38fa9aee286","datavalue":{"value":{"entity-type":"item","numeric-id":453544,"id":"Q453544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089296$1F35D2CB-9F82-4612-8C01-534A8ED57527","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":"Q5089296$104F8FE9-A2D9-47FB-B66E-E5958ACA98D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e5090ecb01123b6d1ba4c412557c33fefaa122","datavalue":{"value":{"entity-type":"item","numeric-id":4536712,"id":"Q4536712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089296$4D474A8C-B8FE-4017-B18F-69A18F305451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f03a172caa4c2f72ed99173010bf0b5b9f28b3","datavalue":{"value":{"entity-type":"item","numeric-id":5097622,"id":"Q5097622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089296$64949742-52C7-49F7-9501-39812DAA7AD4","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":"Q5089296$B1A27796-8BA3-449B-A4E1-2B3255902C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f898ca648162baaaaa43237a18a3ef7a95d804","datavalue":{"value":{"entity-type":"item","numeric-id":3587252,"id":"Q3587252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089296$A1718C83-AFED-43A8-93EF-CE653BB3141C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358a4e09d6cbdccb0a6a97551bee24c6efb9d080","datavalue":{"value":{"entity-type":"item","numeric-id":5326338,"id":"Q5326338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089296$A336CF7D-388B-4F92-B5E8-6BEF4E0E38F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13a38b87f3b20c7063408a10453103a3d61a75b","datavalue":{"value":{"entity-type":"item","numeric-id":5232900,"id":"Q5232900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089296$3A26D9A1-98D5-4B6C-9432-37A632E0D141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae62440ba09a5515f96d76031ee20227177ebde","datavalue":{"value":{"entity-type":"item","numeric-id":6194958,"id":"Q6194958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089296$DC3ED54B-6A12-49A0-9EA8-ECFBEA6B7459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf6822cd255b2088c71042a9d3ef5571ea81a9b","datavalue":{"value":{"entity-type":"item","numeric-id":2321928,"id":"Q2321928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089296$BAE7D056-62F7-4215-B94B-A477D531CA4B","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":"Q5089296$FA3090B7-92BF-49EB-A01F-AFE128A0E12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ceb58db0f80f91d64e5415ef4d0a7fd5c76f16","datavalue":{"value":{"entity-type":"item","numeric-id":4217930,"id":"Q4217930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089296$C609DEBC-6B22-4C7E-9557-7D510DB76B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089296$1A6C50E1-9ABC-4F4D-83EE-B1F5DA3FEFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"533c73fd3bc256dec44dea269587bb2e0bc2dfe1","datavalue":{"value":{"entity-type":"item","numeric-id":5145329,"id":"Q5145329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089296$1558656D-D1A7-4634-8D78-5837FD39294A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089296$89CBB2F5-CEFD-48BF-947B-328DA7ACFE1F","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":"Q5089296$11C90923-89CD-459A-8C1D-3A9F8A597207","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":"Q5089296$A0FF8109-1174-4F5A-9E16-660A8FD45625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ddb78b26aecdb96b3b1b1080e0c8a22ac7e8ee","datavalue":{"value":{"entity-type":"item","numeric-id":2415375,"id":"Q2415375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089296$BE143E19-2F2F-419C-BA5B-77B73FB09435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f76fff77d3d9d9b4845d1274e18b6e480264ff","datavalue":{"value":{"entity-type":"item","numeric-id":5466534,"id":"Q5466534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089296$8D92A04B-05BC-4278-BD7B-EB220AE4C315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adaf08cc2d75d40d9af63f2dff7037cce33c5f56","datavalue":{"value":{"entity-type":"item","numeric-id":2828258,"id":"Q2828258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089296$C7CCCBF9-933B-46DC-A13F-2249900D000F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089296$7C7AC35C-4341-497D-AE76-6C7F84FF4A59","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":"Q5089296$F8C25742-267A-4E3D-9EBC-312C02093ED2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"462512dd73464cb70dd9228881aa278ac4bb87d2","datavalue":{"value":"10.4230/LIPICS.CONCUR.2020.30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089296$5D79A521-0685-4F60-9A3B-6B84E380A478","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089296"}}}}}