{"entities":{"Q3700814":{"pageid":5730720,"ns":120,"title":"Item:Q3700814","lastrevid":50372693,"modified":"2026-01-13T22:15:12Z","type":"item","id":"Q3700814","labels":{"en":{"language":"en","value":"Theory of Program Testing-An Overview"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3926223"}},"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":"Q3700814$E4ABFC7F-9FA0-42D5-BDF5-D56A92A473F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e181e23a5e9e781197f2780d739a53ee3f0cb55f","datavalue":{"value":{"text":"Theory of Program Testing-An Overview","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3700814$0C519EE9-4BDE-41A6-AB1E-9C5AB05FADD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd2358d4b54d1031eb7048c84c05c0300f510a1d","datavalue":{"value":"0578.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700814$34B9C6CA-CF80-498D-8A49-7B6FE8C1E434","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a80c5e5f66a094f2e6c796503f0d1c570c147f","datavalue":{"value":{"entity-type":"item","numeric-id":1236625,"id":"Q1236625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700814$B69EA29B-6245-4D75-A471-891D34470E97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"de75230384798b66a14ef52bdd2c22030d13417c","datavalue":{"value":{"entity-type":"item","numeric-id":88166,"id":"Q88166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700814$80C0E30C-2B17-446E-B65B-699459452A8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3700814$55CBC220-C9D0-40FB-8CCC-15F8206E6995","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700814$7FB5CBF9-0838-4662-BE61-BDA0A2EC1039","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa3e5f2869bcf8830f7fb0196cbd8b39ebcee055","datavalue":{"value":"3926223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700814$2B2468DF-E00F-4897-AA5E-D9379624D5BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"091410f2307a085653a772439be9d718e836ed8c","datavalue":{"value":"software testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700814$0FC4F65E-DCC3-4D3B-A64E-F877EE415DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6bac7c9373ec3e5405f7af13e87603843a59c26","datavalue":{"value":"proofs of program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700814$DDDE2C3B-FB8D-45F7-9D75-58A0DCF4145B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9174ee3c5c04d5169bdead173ede16cf3755d8","datavalue":{"value":"program testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700814$B1523EBE-0783-4027-BF94-827225B6C95A","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":"Q3700814$DE225C42-7FF2-4D15-89BF-A5228DA8D647","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b16a25cfda22c2fb0e8ce63f5735ca4771d89b9","datavalue":{"value":"https://doi.org/10.1002/j.1538-7305.1983.tb03467.x","type":"string"},"datatype":"url"},"type":"statement","id":"Q3700814$E9BD476A-0C01-4830-9B17-1ECD8C952E0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c42a9af36c644b2cd1d7cad86c114cf9fd156ebe","datavalue":{"value":"W1975465363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700814$19979288-849D-4197-948A-4FE0D90301BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77952a72278d35f37b089b76a0169b76ce642cf1","datavalue":{"value":"10.1002/J.1538-7305.1983.TB03467.X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700814$48F5327D-3EED-4B2C-8229-3F8C3616303A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45449b4e715997db9b8ab9f4eff13961d8d9e0c2","datavalue":{"value":{"entity-type":"item","numeric-id":1060837,"id":"Q1060837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cf779945e08c9cd0d2fc672dc5a6689661b3c9e","datavalue":{"value":{"amount":"+0.7963032722473145","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":"Q3700814$706172CA-6D07-4F87-B705-F4443856296B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee449fd857ee2717807d080611cca80311e5707","datavalue":{"value":{"entity-type":"item","numeric-id":5096726,"id":"Q5096726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1342781396738dfa178c6cdd7b576549ea5b876e","datavalue":{"value":{"amount":"+0.7627061009407043","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":"Q3700814$36E4D35D-51F3-437C-84FC-00186F62F38E","rank":"normal"},{"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":"ba16f3a60f7e9a82fdb3797aefdd4193c01886e4","datavalue":{"value":{"amount":"+0.7515058517456055","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":"Q3700814$1B940E9C-E085-409E-9595-BA7FF2D67F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da55b4285176fac881a66bac33c66b462b58d04d","datavalue":{"value":{"entity-type":"item","numeric-id":4727403,"id":"Q4727403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76be89f23d935e090e5259241ea2d449fd2dfb64","datavalue":{"value":{"amount":"+0.7333573698997498","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":"Q3700814$3FCBEC25-75F6-40C9-B148-DE04E27E2D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95309a5a5028b26adaa4201798d584139da1540","datavalue":{"value":{"entity-type":"item","numeric-id":5184381,"id":"Q5184381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed4c78dcdf50467fd4dc9a3b7e0a0ce4c8399911","datavalue":{"value":{"amount":"+0.726241409778595","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":"Q3700814$9C1BC5F7-AF0F-4F7E-8AC5-5C0DE4657504","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3700814","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3700814"}}}}}