{"entities":{"Q3033305":{"pageid":3044021,"ns":120,"title":"Item:Q3033305","lastrevid":85864994,"modified":"2026-06-03T12:05:34Z","type":"item","id":"Q3033305","labels":{"en":{"language":"en","value":"Relationship of program correctness checking methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4131632"}},"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":"Q3033305$83A2DDC0-D0AF-45A8-BBAB-E2DDBA878DA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ea8d92d9eacf29bb65371431fb4201f5ca69b32","datavalue":{"value":{"text":"Relationship of program correctness checking methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3033305$B297CE46-1385-409B-BFD4-F6EFF74FEDB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1013d2b15259add9579b7c46583197ba7520618","datavalue":{"value":"0691.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033305$294211BB-47ED-4C52-8F6A-A3030B769D06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"298e1e3ed31efe02270f7b851caa4aa7f05a2c35","datavalue":{"value":"10.1007/BF01070588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033305$8A43FECF-FCD7-4311-AC5A-AA62A054E201","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a63a206c81cf868a0ed8c343a7df00b75b37791","datavalue":{"value":{"entity-type":"item","numeric-id":3033304,"id":"Q3033304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033305$B22CA25A-818B-4EB4-BEC1-B7730A246EA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033305$431D3D2B-A426-4152-90B6-E5DE30575FC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3033305$B4A7FB94-3769-4CE7-95F5-9ECE8E36AF96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033305$BADF8DC4-B0E9-45D2-A89A-E6EEFCCCC94D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13f4d35d831fa2a479ea9e8fb8907d736c679682","datavalue":{"value":"4131632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3033305$874FCEA3-6A12-4C61-9BDE-FF9077D17B2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033305$4202F08D-FBF7-48C3-9592-45B22B1E1DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902fc029a9fb69aecbe7086c28d2b16c959db80d","datavalue":{"value":"symbolic testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033305$937DB30A-1969-40CE-A83B-9599B798582E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3033305$F69CB559-0F6A-4268-8052-25E392F3D7C4","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":"Q3033305$FB4D1FFA-8C44-43D1-9CFE-A58938B1B160","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0b8f9731472a8cdf12488e1cfc51a7ffb0315e","datavalue":{"value":{"entity-type":"item","numeric-id":4164788,"id":"Q4164788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033305$95B36606-2D4A-4762-A7B0-83F5EB295DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c0ad4b3e09eea1b3127519255dcf268aaed23b","datavalue":{"value":{"entity-type":"item","numeric-id":4023884,"id":"Q4023884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033305$F7F542B6-72D5-40BF-A504-AD7F353A0592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a35e6e23529de86d22b1810c31160ad7f93a4044","datavalue":{"value":{"entity-type":"item","numeric-id":1154241,"id":"Q1154241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033305$5D0B6148-9996-4CF1-BF22-078A33069ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc7bb3c731d92a785ad5d1a08baf9887987e9eb0","datavalue":{"value":{"entity-type":"item","numeric-id":4723280,"id":"Q4723280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3033305$F4C1F1CC-AE06-4D67-AC66-346647D4D6C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baadf4c874ed9cd49cd34559a28a2f80acf74d20","datavalue":{"value":{"entity-type":"item","numeric-id":3700816,"id":"Q3700816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f9c904b95e05bffe905fa9675da33f7f7694dd3","datavalue":{"value":{"amount":"+0.7826157212257385","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":"Q3033305$E4B5DF5D-6A29-4F0D-BBE7-A5DDF185CEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ff78c8d48a3efe9392d20b836a33597645858c","datavalue":{"value":{"entity-type":"item","numeric-id":5186711,"id":"Q5186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"109f665b304122da59b8293ebd8a18b44ce9631d","datavalue":{"value":{"amount":"+0.7545474171638489","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":"Q3033305$05DA41A3-BF2A-4BD6-B201-3D7630CF7192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3b83c517f5685342b8831046cb8fa4aa7a775b1","datavalue":{"value":{"entity-type":"item","numeric-id":3105857,"id":"Q3105857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c44d18ca662bf40c3cab1db409d8b239ed7645","datavalue":{"value":{"amount":"+0.7423984408378601","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":"Q3033305$94650299-273D-4171-9AB6-4DCA27052BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"021d19a1bd4d71e233196f9112016a11dec0f86b","datavalue":{"value":{"entity-type":"item","numeric-id":2756738,"id":"Q2756738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b2ddd38a05632de8644d979b83ee25cdc8a11dd","datavalue":{"value":{"amount":"+0.7423104047775269","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":"Q3033305$3C006A03-0DA7-444E-8FC4-79B6F467395F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39fffccf655f88c6fafe663938f5b7a1c65a641a","datavalue":{"value":{"entity-type":"item","numeric-id":1822931,"id":"Q1822931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7890732e2a35bec1b674ad0008aa556f9a7cd229","datavalue":{"value":{"amount":"+0.729033350944519","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":"Q3033305$D0FB1B15-76F5-4658-B921-70FB8AD093CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relationship of program correctness checking methods","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relationship_of_program_correctness_checking_methods"}}}}}