{"entities":{"Q2829257":{"pageid":2839995,"ns":120,"title":"Item:Q2829257","lastrevid":42232103,"modified":"2025-06-02T19:26:31Z","type":"item","id":"Q2829257","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 6644743"}},"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":"Q2829257$87F3C586-A5EE-4C8F-8B5C-B81DB0F7C835","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20e2512723267cb4de6f7180d1d316577ba87355","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":"Q2829257$12A935EC-A731-489E-AE72-4B3074D58DFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e67de3e5a3f779059acf4013ba1e6b7ccfb26e8","datavalue":{"value":"1468.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829257$BE1678B3-77D2-41FE-A931-6ABF9E7E8F10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7000b5041168032f8788464a930275baafff2ed","datavalue":{"value":"10.1007/978-3-319-43144-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829257$6B091D43-AA19-4525-9909-B2A6F3A10F26","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":"Q2829257$C3DC6E34-652B-42A3-9126-7C2BA8F2DF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14915f91e5ae0eeb8f8fc47276491a75449811df","datavalue":{"value":{"entity-type":"item","numeric-id":6772195,"id":"Q6772195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829257$6D3B6B19-DB51-4AAD-8EE1-0293F2C01E8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829257$A532F96D-65B6-4991-A9F1-6056D90317AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2829257$05AF8BBA-2029-4E2B-BB31-F54461142852","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":"Q2829257$10129B08-5110-430B-8C9A-F27946F982B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829257$382F1BA8-B4EF-4C96-9043-14299BB69F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829257$5C7089A6-9D76-4221-9168-3027C270F7C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4da8818ce6068260b27b6a59d99d8abf7d7c074","datavalue":{"value":"6644743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829257$58C43ED5-9F09-442C-B8A3-B1790439FB17","rank":"normal"}],"P1463":[{"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":"Q2829257$564838B7-124F-461B-969F-943F5CC62496","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":"Q2829257$F66328EB-C63D-47AF-821B-9BDCF2899459","rank":"normal"},{"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":"Q2829257$AFBAADDC-0C97-441F-80F8-BD9054D8AE72","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":"Q2829257$5E508DBA-B65E-41C7-9803-ACD1600E7C5F","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":"Q2829257$726EF631-DF3A-44CA-9603-7521480B0A23","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":"Q2829257$492E7A76-70D2-44B0-88F9-DDA2532C42AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd78727815d148f99a880431fb301496b687b8f5","datavalue":{"value":"W2495204228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829257$4ADAE318-6777-475F-AE0C-BBA5BE83793F","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":"Q2829257$45510388-571B-4291-812B-48A49A693E1C","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":"Q2829257$4C882B4F-438A-4FEF-B6A0-0BC937F1B23F","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":"Q2829257$DA457F2F-BD41-4B27-A564-C7B59F027813","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":"Q2829257$6F1CA4C2-8370-45EA-B350-F06F6B2369EA","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":"Q2829257$8A83DC35-8ECA-4731-AB16-9F9ED4BEC3C3","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":"Q2829257$7DA6A077-EBD3-49D0-88E3-85CCF8C27356","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b88e54a6500970a1ad750adc64ec055c1ca2346","datavalue":{"value":{"entity-type":"item","numeric-id":1722642,"id":"Q1722642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272cd73df05aa3231cfe12d5e1ba3c202a486533","datavalue":{"value":{"amount":"+0.9999997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829257$65F9AE0E-1D1A-4EAC-BA7E-800EF2A52BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2976377a66c5997a5d9f768c20aed296c77ce056","datavalue":{"value":{"entity-type":"item","numeric-id":2915172,"id":"Q2915172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853fa0f9d9c865658adfe82452cde7af6862b252","datavalue":{"value":{"amount":"+0.89488274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829257$B5F99960-3BB5-4B00-AC64-DF9E3CBA6582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0dab15aebde0a981bf588cf769f7ffff92a844","datavalue":{"value":{"entity-type":"item","numeric-id":5137900,"id":"Q5137900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0e58153fb55cd775cd8ff8a3ea9158db0a12e1","datavalue":{"value":{"amount":"+0.8892442","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829257$8CF0E058-A379-499C-95EA-E4A4598E22D1","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":"0e1b4165a32ca1e81e7475aee492b16526c5e325","datavalue":{"value":{"amount":"+0.8887157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829257$EA06EC5B-CEEC-4884-9005-88C92BD33C50","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":"c7d34f39f23ac36e53bac1815ebe292e297826dd","datavalue":{"value":{"amount":"+0.88717806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829257$5FD24376-3C85-4444-909D-BA8BAA83536A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1851c1cacd27291e112d52685af737809ba11e7","datavalue":{"value":{"entity-type":"item","numeric-id":2827449,"id":"Q2827449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b8d388ae647a57335c72954280d872d99e8fe39","datavalue":{"value":{"amount":"+0.885535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829257$5F9A887D-7666-419A-81BB-DA77758E0569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a466b2050c88e47032682c29fbc50d35f604112e","datavalue":{"value":{"entity-type":"item","numeric-id":1706162,"id":"Q1706162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa7dde6df6ccfa5d8a546028cd4af414cdad0e7","datavalue":{"value":{"amount":"+0.87769806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829257$9D0807E2-E6D0-4C9C-989F-C0F2F9376CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dd9b2bd949ed771fabbd86760604dc65596e7b6","datavalue":{"value":{"entity-type":"item","numeric-id":5357714,"id":"Q5357714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa7dde6df6ccfa5d8a546028cd4af414cdad0e7","datavalue":{"value":{"amount":"+0.87769806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829257$CF6A3D26-172F-4646-A24E-F6557950DBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e894f4370640765fe8d2d72578b227be58d633d","datavalue":{"value":{"entity-type":"item","numeric-id":1285659,"id":"Q1285659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5cfe05a83ba6e701e26021be6909b93625a38a3","datavalue":{"value":{"amount":"+0.8767902","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2829257$539F3C7F-BA88-4A51-A9BD-E421F1B975C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2829257","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2829257"}}}}}