{"entities":{"Q3899472":{"pageid":5929377,"ns":120,"title":"Item:Q3899472","lastrevid":54888356,"modified":"2026-01-30T01:50:17Z","type":"item","id":"Q3899472","labels":{"en":{"language":"en","value":"On the Use of Transcendentals for Program Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3707736"}},"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":"Q3899472$DDC0B7AC-ED59-44AD-919E-3F9EFD1D327D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43b9350bb922a3eb9fa57be8338e58e3cf5c6f0a","datavalue":{"value":{"text":"On the Use of Transcendentals for Program Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3899472$F269D658-EA02-42E6-9570-D448C32DA283","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fce71b004888b8e5e81d13f8915e007eeff7b345","datavalue":{"value":"0452.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899472$9234653B-84D9-4342-9BEB-653031B1B577","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b040f047efd09fcf8cc12ed23d94f35bcc121b77","datavalue":{"value":"10.1145/322234.322247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899472$D9721982-E9FA-4B6E-9C4F-5A3C54B3E933","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7797605b27c2113e050b5a30766b8d446bf36d73","datavalue":{"value":{"entity-type":"item","numeric-id":2536591,"id":"Q2536591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3899472$1D341DC6-9A8B-42E7-B2D6-FFBC26497F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fecd8254e57d36ea6257a664ec96cf9f2503b6a1","datavalue":{"value":{"entity-type":"item","numeric-id":389898,"id":"Q389898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3899472$F07767F9-27D9-4963-8984-C2FFC4B9F89A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3899472$ECFBB6A5-8610-4211-BBD0-515688477DA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3899472$7E16DACE-7B36-4933-BC9D-DC28F9E4F2A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899472$B950E3E7-8377-4A8B-A712-BEA8624032BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9813bb2ce4abdd67239426cc5bd0fe08cf761aa","datavalue":{"value":"11J81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899472$E383738C-8119-4DBA-8459-FF3DD50B4D6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdfad6a8245f72185f2e1d3156ee6de19ec75219","datavalue":{"value":"3707736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899472$BB80342F-216F-4E80-BB31-A34AC313D6E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9174ee3c5c04d5169bdead173ede16cf3755d8","datavalue":{"value":"program testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899472$2520CE63-E755-4CEE-83B6-248CE6335DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e390ed5317c763bde8e57c2258bae2a6a55702a","datavalue":{"value":"program validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899472$9116C626-4AE2-490A-A7F7-38B5B4ECB06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa823b4579cb941d9bc79e6382d72038e2d3568d","datavalue":{"value":"transcendentals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899472$D6FB2F44-E53E-4AD0-AC1D-F25009F4ECC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae482f38eba3f6b4f715354bdcb091e1c00dd788","datavalue":{"value":"test data selection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899472$003C3F90-31B9-4825-9144-EA045178520D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a366687df2fcc42fcc5ed4cbadd7a7723cba1","datavalue":{"value":"correctness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3899472$4BE96910-43BB-4A86-8F38-90874570F4FC","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":"Q3899472$EF2E8EEF-8992-439E-AD26-E6F93E088E58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"741f19cbf8ec79b0b0bc67d4444316b213c083ba","datavalue":{"value":"https://doi.org/10.1145/322234.322247","type":"string"},"datatype":"url"},"type":"statement","id":"Q3899472$A215FB41-FD2E-404E-9341-3346FF55C948","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24d62d1a5fd452a826e8a8e76b9fd00e11ea6a27","datavalue":{"value":"W2042981665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3899472$CDC1E3F0-945A-45AA-A529-3D652C051E97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3899472","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3899472"}}}}}