{"entities":{"Q2351145":{"pageid":2361888,"ns":120,"title":"Item:Q2351145","lastrevid":72576060,"modified":"2026-04-14T05:51:16Z","type":"item","id":"Q2351145","labels":{"en":{"language":"en","value":"On automation in the verification of software barriers: experience report"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6448964"}},"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":"Q2351145$E9FC4D37-25A9-458C-9D8F-6F23968CAC41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"899d1e247f85261d6ea24d82f4e72c49189808b8","datavalue":{"value":{"text":"On automation in the verification of software barriers: experience report","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2351145$4A05D787-170B-4B1C-B2EB-F3248388D136","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea3b3d994b6413e9c0905207e01c958ea36a3f18","datavalue":{"value":"1314.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351145$F56627B7-F4DF-43B4-A571-140E073D1382","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11284c37dac68ebea2ec9f5272d94d336f60bfe1","datavalue":{"value":{"entity-type":"item","numeric-id":1675155,"id":"Q1675155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$E2C2A5BF-C7F0-473F-8B72-9554FC1E1EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f34fe5b0fd83cb1c5e8ef43bf8fb3b8852cebeca","datavalue":{"value":{"entity-type":"item","numeric-id":859952,"id":"Q859952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$C1FC17EA-ED77-4D02-8A3A-20D14B5CF360","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":"Q2351145$C3975D08-39B7-4744-9EF2-65E31BF7BECC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c61f53f8f8d7719eaa1ef54a22f9b50ec39aa46f","datavalue":{"value":{"time":"+2015-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2351145$1524A53F-5A0A-4AA1-84A5-1EE5BB6ABA64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351145$6E963FD2-5D57-4D27-82D1-8CD6572DA8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351145$6A7D7C39-F816-4612-B229-D2AAC1F562EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351145$1178F65A-F352-433B-BEA7-FA34A52F1DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351145$FE490612-F3C0-4F27-8546-04DEF7469F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351145$241778A2-EC5E-4ED5-BA08-3FBE9F46D08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351145$1AA71278-2B60-4D5B-A393-58DE5606414F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351145$7FB5AD0E-94C2-451E-AA16-6B8E45CBCCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351145$CDDC9FF6-700E-4926-84C4-F53D6702053D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e48438ab1588f163bb2d08518503a1aa7ac2fd53","datavalue":{"value":"6448964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351145$8739149B-229C-47D5-981F-A7D13B50B0AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b25b047b1c1b4a91e73f8ef471a316dbc2b0fa3","datavalue":{"value":"barrier","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351145$283064A7-A47A-4709-80E9-1B597C572543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351145$09C7C371-BAA4-4D9C-8036-508FCB611BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f08fe6c16b3c26a1a0a83daf5a7e3891341f78","datavalue":{"value":"invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351145$9C0753AC-65CB-4E6D-9B00-47263A245394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351145$78CBB833-76FF-4097-AC96-884E7F17EC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"692a180ddc2529c555f0d458d473c942caf0f216","datavalue":{"value":"verifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351145$F28FC119-F2C1-4FDB-9C1B-7AD2AD7C58F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7010e5ebaf593fc81efbecd62427d5100a588a3","datavalue":{"value":"automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351145$77B0C3F3-C766-4774-ACB0-B581944505BF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a2e4454b50103c6e6499c664726a4f18fc7c5af5","datavalue":{"value":{"entity-type":"item","numeric-id":16784,"id":"Q16784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$1C2B5923-85FB-4F0D-B9BB-6B7EF64366FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae20fe6818522a59d7a582c2e3e54670dacdd2d9","datavalue":{"value":{"entity-type":"item","numeric-id":21590,"id":"Q21590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$36C8AFC1-7FFD-4B7B-9487-1A912D5DA619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5194a7eb60f5e6437701ecbe00fb4a5b80ed4426","datavalue":{"value":{"entity-type":"item","numeric-id":24731,"id":"Q24731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$967E3D68-F28B-45A9-9401-1FD9E151418D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3672d7e02d9f1e10e36edaa35b5c5b486c0a28ca","datavalue":{"value":{"entity-type":"item","numeric-id":24314,"id":"Q24314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$21F5E28A-5D72-471F-B612-99218D1B355C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$01D007CC-6015-4B7A-91CC-05B0EA07179F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$7BE77A98-E85E-4CE1-8DA5-2E8D36726DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$858A5D3B-A068-4228-AF3D-DEB197BDE9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbadd4e4506c89c4e4887c593e8d94aff649584a","datavalue":{"value":{"entity-type":"item","numeric-id":21918,"id":"Q21918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$DCABC60D-0264-4CCD-A6F3-1333030164EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c0afbce326c7f12373ba5fd48479fef3c2af28a","datavalue":{"value":{"entity-type":"item","numeric-id":33418,"id":"Q33418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$04326A46-18DE-4EE2-94CB-187C0DF7FA1E","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":"Q2351145$33CF829E-E0C1-4450-B026-3FC3A605F36A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b46d07d5c3373fec7ce05273e7493e3a826b69fd","datavalue":{"value":"https://doi.org/10.1007/s10817-013-9290-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2351145$D3F67B98-0604-4C85-A4AD-A74DB56A2AD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a38b96d624897b8957112795336173187aa417d","datavalue":{"value":"W2085089328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351145$D262E4C5-3D67-4987-967A-5B7CCFCC91D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"068f2bdf9763d03f268755203f9580630cdb8fce","datavalue":{"value":{"entity-type":"item","numeric-id":1114381,"id":"Q1114381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$92131EE7-D94E-4149-8E14-B2EF5982B08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9e6911d9bd315e5fec4aa635ac4ea55f8575292","datavalue":{"value":{"entity-type":"item","numeric-id":1856175,"id":"Q1856175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$6F623CCE-609C-417A-843B-B5155A48D1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d4ae68a919c35ab08826b92d672a6ef40e1068a","datavalue":{"value":{"entity-type":"item","numeric-id":3139323,"id":"Q3139323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$3FC058A6-2E16-46C2-A50F-B55EE5F451BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a437b3debfc6e39e14adc5ae5b77545ffa37fb","datavalue":{"value":{"entity-type":"item","numeric-id":5261501,"id":"Q5261501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$225D9F3D-3704-4864-AE6D-D155B01276F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b4ec8e7574c37388a8f39e844f4cb1918cb83","datavalue":{"value":{"entity-type":"item","numeric-id":3008199,"id":"Q3008199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$8DFFBFEF-A53E-46D0-AF51-F300CD347572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c3e31fcad9b214bacb45b81ae2f6795b755313","datavalue":{"value":{"entity-type":"item","numeric-id":3000585,"id":"Q3000585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$DC58DE0F-8179-4EBE-93A8-0386C0EEBB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$05FE3A5D-29B0-4F6E-B5DA-49EBA4EFE00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb1d75ba2b5db5d160c4165d833c9bbe688398f","datavalue":{"value":{"entity-type":"item","numeric-id":4738480,"id":"Q4738480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$95BAA4B6-9F2E-418B-9A38-70C864F8AA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6489cf91e9b20f63ed7456f579d1977e07a3f9","datavalue":{"value":{"entity-type":"item","numeric-id":3075499,"id":"Q3075499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$1A5AB524-FA2B-4864-9059-918F719D0792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc80633033e33b0c5b134d43da0776fc1e27c25","datavalue":{"value":{"entity-type":"item","numeric-id":3655212,"id":"Q3655212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351145$3A3F8E57-53D8-4FFF-B9BF-092FD216D8EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5be9c6c632ed32b551b44a5740f8f83888cf9f68","datavalue":{"value":"10.1007/S10817-013-9290-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351145$D8BBDFD2-16CF-4AE8-9032-93CFF9EC2E9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd3307e1d3e7b0d37b6b4709683a173ce1fd96e4","datavalue":{"value":{"entity-type":"item","numeric-id":2887058,"id":"Q2887058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5981a3e7c24fd08d5b4279996539e3df49f64656","datavalue":{"value":{"amount":"+0.7472942471504211","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":"Q2351145$A3AE0F6D-07EC-4F2C-8658-437BFF410353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef0991b71712d7a5cc5aa1a32001ce0d64152b3","datavalue":{"value":{"entity-type":"item","numeric-id":3000585,"id":"Q3000585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b49564565e0ccc1ded5a3f5333327939c4b0d5ba","datavalue":{"value":{"amount":"+0.7304806113243103","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":"Q2351145$8858DB61-0D33-43DF-A26D-9035D8BE235A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f6a24f9e65045fa853b6710fc2d5a4a91e166d","datavalue":{"value":{"entity-type":"item","numeric-id":5175776,"id":"Q5175776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c6cec659f02365adc56569d7f0d9cf461f7ce5","datavalue":{"value":{"amount":"+0.7188305258750916","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":"Q2351145$B552A52D-9303-46E2-8685-36534178BE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f543b2ebc6920d1f7b4acf60e8e2182a6f9960e","datavalue":{"value":{"entity-type":"item","numeric-id":582051,"id":"Q582051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c755f59c333951c6d3a652c56e6f14cd48dd3c9b","datavalue":{"value":{"amount":"+0.7184867858886719","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":"Q2351145$67BCA5CB-5A8F-4734-8FB9-E4E38ADD2F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe754d483eb7fbf9c412f3bff6d683833997b041","datavalue":{"value":{"entity-type":"item","numeric-id":2767990,"id":"Q2767990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"871a46b933b0a2b7b130dae67dc098f34f1e4e79","datavalue":{"value":{"amount":"+0.7118760347366333","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":"Q2351145$ABEBF3F2-B9F5-4659-98F7-9E165BC3A79E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On automation in the verification of software barriers: experience report","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_automation_in_the_verification_of_software_barriers:_experience_report"}}}}}