{"entities":{"Q1722642":{"pageid":1733383,"ns":120,"title":"Item:Q1722642","lastrevid":69038346,"modified":"2026-04-13T03:56:16Z","type":"item","id":"Q1722642","labels":{"en":{"language":"en","value":"Mostly automated formal verification of loop dependencies with applications to distributed stencil algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7024456"}},"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":"Q1722642$EF4410D1-0845-486B-825B-EB0A95D42874","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ead15f5ccedce735640fbbc0efc9fa5859252a3","datavalue":{"value":{"text":"Mostly automated formal verification of loop dependencies with applications to distributed stencil algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1722642$E836398D-4FF8-40D0-96F6-B0E7AD5AA2FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7ca92c40726a3260f3bb61f85dbf27383f68372","datavalue":{"value":"1468.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722642$4A1813A6-BACD-4594-A0B2-C9FDFB64D077","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ca1d83811c82186e235788efef0fb4ee6af5494","datavalue":{"value":{"entity-type":"item","numeric-id":648624,"id":"Q648624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722642$AB6261B8-8C83-4EAA-932E-E280AEE5B76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d957a3f31f9610e79e212a1ae2ae0004027dee9c","datavalue":{"value":{"entity-type":"item","numeric-id":1702890,"id":"Q1702890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722642$9CE89FD6-B803-480A-9CD1-8714050C1CAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722642$532E085E-4F5D-4337-BB9D-47E83E9D9796","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e07e584aaf32d9a9691066d4a126742d1828198","datavalue":{"value":{"time":"+2019-02-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":"Q1722642$444A654D-D883-48AF-8B1A-C92BA12BD051","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c06b15ff2988314b50ba803df15a30f3724e8432","datavalue":{"value":"https://hdl.handle.net/1721.1/131765","type":"string"},"datatype":"url"},"type":"statement","id":"Q1722642$D8C496D7-FE94-4747-8C4D-11D124E3FA04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722642$9B2632D9-A03E-41F3-B7E8-F08E09FE4617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722642$CAF7019F-40F8-48A6-BE3F-AF634C3BCF58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb0812550d26f5b9d02d97366e49ffa92dee549b","datavalue":{"value":"7024456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722642$5775BC6D-5294-41BA-8C65-AF781DADFBB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4e9ef6563cde3aee6dc1dd7aa791fb88368d377","datavalue":{"value":"formal software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722642$E708DA4F-B22F-4C16-8B53-1BB3694EA399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c00d67067e19577313e52b715ac83adcdd33bafd","datavalue":{"value":"automated software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722642$7E185502-2B08-423D-9E35-104A6EFCAB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1da2db1d9c75f38b2cee2ef6f1f9405fabde40ca","datavalue":{"value":"stencil algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722642$97AB438A-4258-476E-86DF-3A86B930D874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3b04a4831c55f28d5b5b4f070534377efe32941","datavalue":{"value":"distributed stencil algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722642$449858D3-1A22-48C9-B4B2-245D44D65ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b09036d3886100944ed3ddba8fe51062ecbe3c3f","datavalue":{"value":"loop dependencies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722642$12EB9C64-EAA4-4CFE-8CF8-595B257F774F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8eb406da0bebd03f9ecb41f74e5badb7396eef3","datavalue":{"value":{"entity-type":"item","numeric-id":23206,"id":"Q23206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722642$C063BEAC-DEDA-4509-92D0-C5B3F0750548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cb73df82459d3f25f40c06b78cfd0d0320c4914d","datavalue":{"value":{"entity-type":"item","numeric-id":21902,"id":"Q21902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722642$92C80AE5-8C53-4260-B024-E1ED831B5767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722642$CF435736-EF84-4337-810F-0A9438BB4B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8d8f10a93b523882fb84087e4f3ec3a91618d463","datavalue":{"value":{"entity-type":"item","numeric-id":24718,"id":"Q24718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722642$5F23110C-FEF4-46CE-AE26-F58ECB0D3D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66f9c14ded4212de2ee1d52371b57ab95517e99b","datavalue":{"value":{"entity-type":"item","numeric-id":37585,"id":"Q37585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722642$3E531F60-F97F-4E3B-B996-455A62CAD0E2","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":"Q1722642$277BE2A4-8A99-4B16-8788-EA40CF651D3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4769282cb81075811e0bd7ac8f9c5365ce69d0d3","datavalue":{"value":"W3022528433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722642$72D56133-40AE-49E6-967C-11A3EE606B48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f61ec795bf8abab1978c4909f302e2d4340af01","datavalue":{"value":{"entity-type":"item","numeric-id":5747647,"id":"Q5747647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722642$C4FD1031-756F-4869-8639-05A082956574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ecc4a9847b1757b816a66a2c8d99f5449bc756","datavalue":{"value":{"entity-type":"item","numeric-id":352952,"id":"Q352952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722642$0549F588-C634-415A-B1BB-CC2ABEEDAFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d500cb883eea947abbfef6cabca65aa2ca2288e","datavalue":{"value":{"entity-type":"item","numeric-id":3559765,"id":"Q3559765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722642$4AF2ACEF-3DD1-4BA2-843D-71AE7C423545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2d411b28c935e3b9965377febfaff0dd2b9196","datavalue":{"value":{"entity-type":"item","numeric-id":5425308,"id":"Q5425308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722642$DFBCB584-B090-4720-8574-A6B4CD376541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e23ce15dfd66ceaaea442ee60e75000bf6b35815","datavalue":{"value":{"entity-type":"item","numeric-id":733717,"id":"Q733717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722642$697A95D5-DC8D-45A9-866E-B604A94F610B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074da3d382dfb5a418b252da9e878662cb08f6bf","datavalue":{"value":{"entity-type":"item","numeric-id":2829257,"id":"Q2829257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722642$3329925C-785C-4942-B4E1-1EF14770F8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b6f4b63bc26052368e7b5944153c26fe1fa531","datavalue":{"value":{"entity-type":"item","numeric-id":2914756,"id":"Q2914756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722642$9B209CB2-7AEF-4210-A632-F38F5D1C46F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f36758d9052d46aca10a7fd8c6c8cf3cd235235","datavalue":{"value":{"entity-type":"item","numeric-id":5755052,"id":"Q5755052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722642$FFDB5D7C-D62C-400C-ACC5-CF0D6C3163F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e53ae28d28080661be35dec3191117f1f560b7d0","datavalue":{"value":"10.1007/S10817-018-9451-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722642$69981CF5-57A4-4D57-B6A3-57A2E8E55875","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c664d578e56371060d3a68febd8b9c17ce4a3afe","datavalue":{"value":{"entity-type":"item","numeric-id":2829257,"id":"Q2829257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573c3281ec861d0e1a94efb0fd570105bcde8b40","datavalue":{"value":{"amount":"+0.999999463558197","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":"Q1722642$0BBD3AE5-7B94-4994-8390-D3404E52A571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08347eef503ef7ac96f08b390b8462d50d19a875","datavalue":{"value":{"entity-type":"item","numeric-id":5387902,"id":"Q5387902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cbb340dd1b28c4b18453058b4a6a771043debf2","datavalue":{"value":{"amount":"+0.6953756809234619","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":"Q1722642$CEBFF47A-DCA9-4A30-B7D6-4531B937E423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc5026785fe38f1575d7754d751ee3fcae1200fd","datavalue":{"value":{"entity-type":"item","numeric-id":928671,"id":"Q928671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c4e5a06409d7b49ef28bd61fd1df124da2466a","datavalue":{"value":{"amount":"+0.695046067237854","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":"Q1722642$6CD441D5-2673-4999-82D5-9ED2902258CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"529736f7e83e8fde6a662d4666db1a73cc6bbc47","datavalue":{"value":{"entity-type":"item","numeric-id":4930747,"id":"Q4930747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb07e393e578aac5f08c963d86497293f235dbfa","datavalue":{"value":{"amount":"+0.6917871236801147","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":"Q1722642$A8E24673-0687-46BA-B290-35989E60E04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c24940faf9dc83cfffed21306c2b16f722462275","datavalue":{"value":{"entity-type":"item","numeric-id":6041173,"id":"Q6041173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e3c1a149d476c89d69a34bc5379f9328e6d52c6","datavalue":{"value":{"amount":"+0.6866912841796875","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":"Q1722642$6A7E0591-0167-4564-B547-625DD8BDC20C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mostly automated formal verification of loop dependencies with applications to distributed stencil algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mostly_automated_formal_verification_of_loop_dependencies_with_applications_to_distributed_stencil_algorithms"}}}}}