{"entities":{"Q2864527":{"pageid":2875247,"ns":120,"title":"Item:Q2864527","lastrevid":42327339,"modified":"2025-06-08T22:50:57Z","type":"item","id":"Q2864527","labels":{"en":{"language":"en","value":"Programmed strategies for program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236525"}},"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":"Q2864527$73E74100-0851-4A68-9160-6F3572866478","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1db82de172601f66ea10a7725bfba2d0a26f5e9","datavalue":{"value":"1277.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864527$1E67D8B5-E93E-4CB8-AA4A-99DC156F82B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"953f3b4c73bbd1becf19c48bc685eeb32b60dbd0","datavalue":{"value":{"entity-type":"item","numeric-id":1153684,"id":"Q1153684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$3DC8DB53-C694-4472-8369-EC9C7384CA8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$411C3B22-8A04-4CFD-89A3-51771E9CF645","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864527$07C76AA0-1805-4079-8AC4-DB6A748B0A97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864527$EFE41795-5175-4AFD-A94F-F4DF151BD8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864527$3119CFBB-2862-47DC-AB85-5679BFAF615F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864527$DC5DBD5A-E1E6-469B-8827-0A171BB8764C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864527$76C292BF-49A8-4A17-B3FC-A68459B7B23C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d361cd8109b1c23231056ab537cf6c0448a8bea7","datavalue":{"value":"6236525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864527$FFC6A028-BE79-4512-9928-9C3815E71CD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864527$49FBAF67-B7D1-4D5A-8FBB-AEA64CF89279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864527$3C8608FF-8067-42D9-9EC9-5B3CD853C0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864527$2B1FAA82-387C-494E-B60B-375049172308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98b5b5a4f0c825ea91b5dc8ad46045a364b8968b","datavalue":{"value":"strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864527$EC564F80-B88A-4BB3-867B-8B2AF78AA7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e1e2a822c5522cd4fa5a4d296e03bcde74a0018","datavalue":{"value":"Stratego","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864527$08DBFC64-B20F-4AF2-82F6-CC35E0688D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864527$2CACFD05-5C02-4783-A826-49F5B639D600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864527$BCCB7CFB-50B8-402F-960D-3C2B50723AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864527$27C1B7A9-594F-4629-8581-43E859B204F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864527$202AF54A-F79E-43F2-93F9-F057383ED8CD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9603190ee33506d1da020c1738e35e67bcae23b6","datavalue":{"value":{"entity-type":"item","numeric-id":13999,"id":"Q13999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$BDB51E2A-AAA2-4B35-A409-E3CD40927959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$17A6AB0E-B2C7-4DE4-8F72-312B9599A74D","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":"Q2864527$D7DD8528-91F9-4D12-8F51-E4F27790CAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09d0e89c904b4336aa9c702b0f719264b030c9d8","datavalue":{"value":{"entity-type":"item","numeric-id":14086,"id":"Q14086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$6C650A3C-DF40-4D3B-8E7F-60688001F170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$2E39B97C-3416-4447-BA93-B84EFE3616B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$2C98BABB-D930-4903-8672-262722A65152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$90A46719-8122-47ED-9365-8CB1118DF3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$F99C8AAD-DDFE-420D-8D85-EC019CEB528C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$160F3016-02D6-4C95-AA99-ECFF392A765D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$8878E720-E28F-43BC-ABA0-7B928D4179E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$0F390607-209B-49B5-B080-582E20761CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd04686736bf6ba8b9ed99666881790f28821c88","datavalue":{"value":{"entity-type":"item","numeric-id":15692,"id":"Q15692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$56E6C7E7-37E6-48D5-BB32-1155849BA7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$824AB637-685C-4F0E-979B-DF9B97BDBAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eb9f239c20e39259a420e68c66d4f251305d84b4","datavalue":{"value":{"entity-type":"item","numeric-id":22254,"id":"Q22254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$E98BE6A1-18AC-4114-A85B-57AED30D4DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cea69f7dbfd2a676b6524dd7bfd837316d1d269e","datavalue":{"value":{"entity-type":"item","numeric-id":21782,"id":"Q21782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$10BFBAFB-1276-4F5E-970F-55FFEF83BBD5","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":"Q2864527$AFEB70DC-3F10-4930-B400-9F19CE426DD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee916552fe2304b6a839475b665894162854c46d","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.045","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864527$D3BEF9E4-0677-4F91-97DB-D198A2FC4825","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39f2333578ec032d6aeaae6f364f39fe20f236a7","datavalue":{"value":"W2072047622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864527$6EFC31FD-B5F6-40B9-A16D-0107CE22048B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d2c44f08199b42078c51b02785ca86117ddb602","datavalue":{"value":{"entity-type":"item","numeric-id":5249248,"id":"Q5249248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$0481D3E1-CF6E-4F2C-A8BA-45805A02DC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df99d010c323d1ce4719d0c5115c3a289e30a204","datavalue":{"value":{"entity-type":"item","numeric-id":1107510,"id":"Q1107510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$D3EA8765-EC87-446F-A079-0B0C1103F64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666f6c4b95b228f7f7863896a3d81de5061e0a95","datavalue":{"value":{"entity-type":"item","numeric-id":3771589,"id":"Q3771589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$0C4B7CA2-9010-4A59-B41E-7F3312A91081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39b46036e0e44c388baf61cdcb5ecf5b5fa7252","datavalue":{"value":{"entity-type":"item","numeric-id":4447224,"id":"Q4447224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$F9D9FEC8-AA8E-468B-B79E-13DC7095B9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$1885A8EB-199B-44E3-A015-838185381027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$F37F7371-3CF7-46D2-AA37-EC02C7661E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c5c9cdb6cd3f1038d3bc19f6f1bd7e7a7f182b","datavalue":{"value":{"entity-type":"item","numeric-id":4647541,"id":"Q4647541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$CBB3F84D-1C73-48F8-B5DD-84FC92ACF383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceb6360318aaea8cb4795698dd5dd5d3f94d2651","datavalue":{"value":{"entity-type":"item","numeric-id":4736975,"id":"Q4736975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$E79D127F-AEBB-46AA-AC23-36A7E1B8FEA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$FC5EDD74-70CF-460B-B110-FD35B1EACDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$B7D14E80-D7B8-4B4B-8F91-5722038E9FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae4a7fa8abdfcc0e9370ee91a7f38c7187429c7f","datavalue":{"value":{"entity-type":"item","numeric-id":2767009,"id":"Q2767009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$F1D7115C-78F3-4A91-A1AC-9CC6A88360AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$4962E131-AF32-40E1-8B6D-D209674FF939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e33292f2295df86065c6f2ce025f544fc0c9af","datavalue":{"value":{"entity-type":"item","numeric-id":4552473,"id":"Q4552473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$3BE6308F-767C-44EF-B0BF-71E05C7456A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$A69002A9-3440-4366-82A0-6A7375255BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$E9F7D7AD-9293-4A6C-973B-AEE075B951DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5333f404cb1c5a483ee97a9aa8db2143fb09170b","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$20BB260E-C669-4541-B67A-B068511AEA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba93cc581c3932098a5bfdcf573e626fe8b598f5","datavalue":{"value":{"entity-type":"item","numeric-id":4808733,"id":"Q4808733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$CC14BC2B-A554-491B-AF19-9064A9863B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd5c1baffd52562a65fe696dce1be9ae1e4d30","datavalue":{"value":{"entity-type":"item","numeric-id":2769594,"id":"Q2769594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$60CDBDE3-67B0-4128-B787-FD4E1BE02E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b5f9759fef698de8ef6ab62194c64bfc02f14e","datavalue":{"value":{"entity-type":"item","numeric-id":2778890,"id":"Q2778890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864527$A6CFFD49-70E0-4549-B87D-37195BA79DBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"142adc5b5ffbecf5e6c96b16ff9b3cf9e2bada1b","datavalue":{"value":"10.1016/J.ENTCS.2007.02.045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864527$696BDD9F-B048-48F2-A42A-6D3E815C7AB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b118c2ac436345e01dbbd5d7847afe9f16241e6d","datavalue":{"value":{"entity-type":"item","numeric-id":928673,"id":"Q928673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f203c408fd8f75bf73e9cf6527bb737d58e2d5ed","datavalue":{"value":{"amount":"+0.9196247","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":"Q2864527$0FCF9FA1-92F5-4ED6-A7F6-E3306C2FCBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"562c92cb91f0b2ecd3f6b1b6b8e9d74cd40afb2a","datavalue":{"value":{"entity-type":"item","numeric-id":3012541,"id":"Q3012541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb3055768c09fd99cfd543e3e8d0ed8d34dd2786","datavalue":{"value":{"amount":"+0.9101515","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":"Q2864527$9F2A60AC-E698-4996-AF97-B87885360733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b98ae5b90138066d60d4f09aceea7fae0605e7","datavalue":{"value":{"entity-type":"item","numeric-id":1082069,"id":"Q1082069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38487bf357909c4588aa8e621ace3e349282f832","datavalue":{"value":{"amount":"+0.8963726","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":"Q2864527$042A747A-FB42-4FDB-A810-9D5705571489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6482a56218c5de5d610a44da47b82897ddae1792","datavalue":{"value":{"entity-type":"item","numeric-id":2266579,"id":"Q2266579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"685267637bfa7aa276aa19c23ce4f580bd962277","datavalue":{"value":{"amount":"+0.89214325","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":"Q2864527$38348578-1DF5-4EFA-A34C-01E3729ED131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe575bdeebfc69be36c9ab5b79768e2cdcba9f44","datavalue":{"value":{"entity-type":"item","numeric-id":2013885,"id":"Q2013885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba265d2d14707687df36a4bbc382bd2dcd3ae41","datavalue":{"value":{"amount":"+0.8912195","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":"Q2864527$29D5E0A4-3347-471A-882A-46CA2F805F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e9c09ed6ed04a5feb65cc5c103a868d308aafc5","datavalue":{"value":{"entity-type":"item","numeric-id":2324001,"id":"Q2324001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d53315a288338dcebb786a84cb90317826f30cf7","datavalue":{"value":{"amount":"+0.8894688","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":"Q2864527$9089D9DE-1A73-476A-ABAB-B77637238120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14482c3294a99d3df4fab315dd66cc4ebcc095d","datavalue":{"value":{"entity-type":"item","numeric-id":6488526,"id":"Q6488526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"581911fc1920f2c60d4a204a3579492a17e002a6","datavalue":{"value":{"amount":"+0.88838065","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":"Q2864527$ABB791C5-509F-4438-BD62-8D6597000F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65783770f753a60e730e2f256403c2da900bb4d3","datavalue":{"value":{"entity-type":"item","numeric-id":3766816,"id":"Q3766816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f734fb3a541e0ab3fb7280819f78f7ba855980","datavalue":{"value":{"amount":"+0.88758785","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":"Q2864527$2AE0449C-59F3-4564-AF21-B6A848AE0CC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b5dd44cc92715c44188361340ba9702ac3ce76a","datavalue":{"value":{"text":"Programmed strategies for program verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864527$F6B15DAF-C95A-4D56-86B9-73BA3C90AF3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864527","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864527"}}}}}