{"entities":{"Q1895875":{"pageid":1906617,"ns":120,"title":"Item:Q1895875","lastrevid":69073248,"modified":"2026-04-13T04:27:16Z","type":"item","id":"Q1895875","labels":{"en":{"language":"en","value":"Testing nonlinear operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 784460"}},"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":"Q1895875$9E979475-6B19-4EBF-BA22-E1485398B3F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a05117b2363fb091449784563ead2e86e7dfb8e4","datavalue":{"value":{"text":"Testing nonlinear operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1895875$ECFDA0BE-26EF-479B-A190-F93C4E59D6D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b93e61d0d478e382144985fd63325ffc364d0884","datavalue":{"value":"0833.65050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895875$738D831D-E07A-4DB7-AFFB-9C19E74EEFA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1daf404f560fb2c893908750a0998efcc203d47e","datavalue":{"value":"10.1007/BF02141594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895875$F23D6495-303E-4DE0-9BE5-0F6318445049","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$E37D14C3-6340-4520-BE84-002F09086621","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"95f4a47752e6dde2f4d6f910dcba94ba8b5377c0","datavalue":{"value":{"entity-type":"item","numeric-id":57895,"id":"Q57895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$6A2BCE6F-855E-42DA-8D06-D34706CB4E35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d8e890b753a2e9a1fad3f01701e41d8bd3bd11","datavalue":{"value":{"time":"+1996-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1895875$A0592EF3-D0BC-4BD1-9FB9-044012E2B4DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a9574549cf6cd410de0476cfcec738d99d12a7db","datavalue":{"value":"This paper deals with the so-called ``black-box testing'' for stateless systems (upon the same input, a stateless system always produces the same output). A large number of practical systems is stateless, including combinatorical circuits and numerical software or hardware systems. Only numerical systems testing is considered. Since finite testing is inherently inconclusive, the authors modify the usual problem in three different directions (an infinite sequence of tests for which the testing is decidable in the limit; relaxation of the error criterion; tolerance of faults on a negligible subset of inputs) and obtains positive results which indicate that test sets are universal. They only depend on the structure of the input set and they are provided by an \\(\\varepsilon\\) net of the input set.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895875$E1A15694-7F55-420B-B397-1A55175B304A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65e4464af8302414c7a49df1bbd26a29b9ecffb","datavalue":{"value":"65J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895875$6EA0383E-0558-47E9-95C9-BF34A19190BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"361d69a4ad84271d7fa61ff79cb8511b17f8dbee","datavalue":{"value":"47J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895875$603CE2FB-43BC-443A-8EBE-F8DFBB72B4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b0fc7533a8d41982dd142001557bfc06c82098c","datavalue":{"value":"47N70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895875$9B92A237-2BE8-4418-B89D-C818308270DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca40b65e2b61d61b84d7bde771f37874e8d66b37","datavalue":{"value":"47S20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895875$F197F11C-281B-4267-8956-443F6815CFAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b802e5822376b655562a65f0662d65a1e91c1c6","datavalue":{"value":"784460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895875$E7AE4477-2BE5-466C-8EFE-692F765B8117","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40c78502471a298d8a8cc2bce27424ffe911f177","datavalue":{"value":"black-box testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895875$293E3982-FE83-4A40-B278-973CC1D5B434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c356e1e9300e70a32b3853f609bafeb3d784dc79","datavalue":{"value":"stateless system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895875$75ABD262-DCA6-4FFA-A6CF-D5B16E10D908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bde518b397f58a9a8fcbff381e432ab77fcb609b","datavalue":{"value":"combinatorical circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895875$D61BDF76-6A1D-4BFE-8F67-F096C058B6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10bcf40b0c39a16797d76d53be41330ba5d5a64f","datavalue":{"value":"numerical software or hardware systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895875$A1D24F0E-37AA-49E0-8677-172ACD4BEB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb3302e3b80443b970bf85e567b4adb7b566b113","datavalue":{"value":"error criterion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895875$1C91AA87-00DC-46F3-A761-FF77B20DE230","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"32d1c15916e5a4753a6a94a28e1452d9e9545ce7","datavalue":{"value":{"entity-type":"item","numeric-id":582565,"id":"Q582565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$A23BAF3D-47CE-4C17-88BA-7E6D98B1FE13","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":"Q1895875$E56526E3-5483-4788-B6A9-A8F62DA75E14","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$2C5DF3BA-5759-402E-BA98-3DFC6E792198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eceee8709c432551836aeb4f4aa8499755cd2c1","datavalue":{"value":{"entity-type":"item","numeric-id":3474905,"id":"Q3474905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$E75582E6-6707-404F-B765-8B2D3662197A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6609aec37d3d301d34b253dc3f2a45a96b88e1d8","datavalue":{"value":{"entity-type":"item","numeric-id":1317490,"id":"Q1317490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$FC4C619B-FD94-4A98-A301-EAF10A429929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c36aeadcd6c00a43e7c10ff17ccee1d6c442d2","datavalue":{"value":{"entity-type":"item","numeric-id":4369864,"id":"Q4369864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$7C85D3AF-3DCE-44FA-83B4-CDA79580CBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efddffb5c9328de8c41fa97084ea3b159493274a","datavalue":{"value":{"entity-type":"item","numeric-id":1334226,"id":"Q1334226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$D1F4D368-3F46-4B1D-AEA3-F1F4A2BF4382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364dfe3465e272f03a3fc9070edf6cff17cbed64","datavalue":{"value":{"entity-type":"item","numeric-id":4017519,"id":"Q4017519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$42A3BE9E-5787-4DA9-AFFF-7809BE1B06A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bcb72bb86f292617fb7b2602a525f9ad406231","datavalue":{"value":{"entity-type":"item","numeric-id":1215369,"id":"Q1215369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$14B79158-0B60-426C-BC15-88B739894F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52aff9c5eb3c4c80d652d6459a06ff8ec62dd595","datavalue":{"value":{"entity-type":"item","numeric-id":4023085,"id":"Q4023085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$A3DE2361-BC00-428E-84E6-62E31D6216DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b08f93b185acc0c9b94c9a47677d76f2a71516d5","datavalue":{"value":{"entity-type":"item","numeric-id":1259397,"id":"Q1259397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$F2AFF01C-00D8-4C17-9496-4EC4A61A0549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ac0216c10e286a25d70bee20354ecd22315277f","datavalue":{"value":{"entity-type":"item","numeric-id":1152534,"id":"Q1152534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$E501A8F7-4823-45CF-BC2B-03467D76CFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391ff3144e945f9e33d15f8eb5aeba6cd10ca818","datavalue":{"value":{"entity-type":"item","numeric-id":1134495,"id":"Q1134495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$A74B4F1F-F0E9-49AB-86F2-1A448C566A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac60edc46b96d391fd19f103e4a89f46a0a07b","datavalue":{"value":{"entity-type":"item","numeric-id":5674988,"id":"Q5674988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$1AB5CD79-BD1E-4125-84E7-3B36EF95DA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37eb516b252f293c6515090d1e689f7de27c182","datavalue":{"value":{"entity-type":"item","numeric-id":4158445,"id":"Q4158445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$FFE708E8-D4AE-41EA-BC81-3104EE762C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d0ff209a8c00e6853b2c43b2e31810805788f0","datavalue":{"value":{"entity-type":"item","numeric-id":3935355,"id":"Q3935355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$0E3179B4-E082-41C1-9914-D7961F6893FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c19e191611e0120d3d8c98278117c77405d920","datavalue":{"value":{"entity-type":"item","numeric-id":5342672,"id":"Q5342672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$A965D95A-EC87-4E45-A08F-4A602A717A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62032912489f874a59e4a84126ea034a7792b084","datavalue":{"value":{"entity-type":"item","numeric-id":5534403,"id":"Q5534403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$7F61F09A-A930-40BB-B56D-FB9D2FDE4881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48c2f8195232616418ea128c9ec39b5d6a1751a8","datavalue":{"value":{"entity-type":"item","numeric-id":3134498,"id":"Q3134498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$44B5A9B2-37C4-43EC-95BC-9DBC321270C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67d9655972cb54da769f70190b945e3f3ca313e0","datavalue":{"value":{"entity-type":"item","numeric-id":1194381,"id":"Q1194381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$85A2D2C5-B325-4764-9054-6392C32B4B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23bed7506874310355fff12383c11b903c05008c","datavalue":{"value":{"entity-type":"item","numeric-id":5533878,"id":"Q5533878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$CE71BB8A-2281-48C5-B849-0C9D7C3192C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f6689e96f07bbbcc4a00b139245b99bdd05734","datavalue":{"value":{"entity-type":"item","numeric-id":3311717,"id":"Q3311717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$A25F6CFD-9FB6-4ACB-AF55-0154FFF35A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4339f157b5db47124df1e48c6422ab87d6805d","datavalue":{"value":{"entity-type":"item","numeric-id":3714486,"id":"Q3714486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$ADD79D72-BD22-432B-B2C9-7BF02306112F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928acafd69f3a56f634d58fac671ace05ea297c9","datavalue":{"value":{"entity-type":"item","numeric-id":1194380,"id":"Q1194380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895875$2FA7014A-8D96-4F79-AD66-464AC0C68CA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02daec3efe51856da92432e0227edf42ca7debf7","datavalue":{"value":"https://doi.org/10.1007/bf02141594","type":"string"},"datatype":"url"},"type":"statement","id":"Q1895875$A1139B2A-E1C6-4AB1-B184-C634B32D5083","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e3d81d17fe994cc62114a7af00b5dbe877d5204","datavalue":{"value":"W2088601799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895875$D1C5D0F9-1D42-44B1-B0A5-8A532246A0DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a24dbb0f451f0668676184179c396376345b0c2f","datavalue":{"value":{"entity-type":"item","numeric-id":1904274,"id":"Q1904274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d09522e2f695748236a01f44e804df6492b787b8","datavalue":{"value":{"amount":"+0.7706148028373718","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":"Q1895875$923C060B-3DDD-4FA5-9E07-F3D323F9A828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a9c8d0d661bc9d72fb4138e0f8485f5026899b","datavalue":{"value":{"entity-type":"item","numeric-id":3070874,"id":"Q3070874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d09522e2f695748236a01f44e804df6492b787b8","datavalue":{"value":{"amount":"+0.7706148028373718","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":"Q1895875$18F7D5A6-D519-416B-ACB3-83D2DE8F761D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba393d3159f88a8692d1807e732810558065a1c","datavalue":{"value":{"entity-type":"item","numeric-id":4942015,"id":"Q4942015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"954fc17cdd66ba67ecad0f5ea50688282326db76","datavalue":{"value":{"amount":"+0.7521788477897644","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":"Q1895875$7DEBC6FB-AA9F-496F-9F8D-EAEB4FEC0B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec6d026753b422749498db9984d96c867b8830a0","datavalue":{"value":{"entity-type":"item","numeric-id":4807832,"id":"Q4807832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c9aee1d046d6bd0df5fce8d79db8f20faf9b52","datavalue":{"value":{"amount":"+0.7476234436035156","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":"Q1895875$893436F4-F85D-48FC-A589-B37A171ADD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83c844733200e2797df9e8a8e8c8a33aa471e4dd","datavalue":{"value":{"entity-type":"item","numeric-id":5757917,"id":"Q5757917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9376d8543158f0ce849e7fa9a7e51afc8b834c0","datavalue":{"value":{"amount":"+0.7403262257575989","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":"Q1895875$D137371F-3231-4CE4-8207-ECEF612932A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing nonlinear operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Testing_nonlinear_operators"}}}}}