{"entities":{"Q1001893":{"pageid":1003741,"ns":120,"title":"Item:Q1001893","lastrevid":70038567,"modified":"2026-04-13T12:01:47Z","type":"item","id":"Q1001893","labels":{"en":{"language":"en","value":"Testing from a stochastic timed system with a fault model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5509583"}},"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":"Q1001893$A6CC2315-2AFC-4834-858C-1E3B55720AD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0f00c5cd1ea7574af2458e3605999b3c996079e","datavalue":{"value":{"text":"Testing from a stochastic timed system with a fault model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1001893$B4506CC9-3CB3-45C6-8661-D4F4AB148C61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1419ccd50223164c164caa5e20e0d7ddbc8a925","datavalue":{"value":"1161.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001893$B4ADCA85-61FF-4616-95F9-E658F195E126","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a00842c97861ca85101f8ddc599167c70223ce4","datavalue":{"value":{"entity-type":"item","numeric-id":347399,"id":"Q347399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$4A2DC5CE-ECCB-40EF-A325-326E334A20A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73ad4647081cebf487e43eb38397c4509c0d7057","datavalue":{"value":{"entity-type":"item","numeric-id":347400,"id":"Q347400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$9BE58546-16DE-4D7B-8808-5D7FE2830ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2267c0d7803054a939dd364a049c2079139de1f1","datavalue":{"value":{"entity-type":"item","numeric-id":234007,"id":"Q234007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$34074421-3B01-40FE-80C7-15B8B57D7EDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$FE6BB6E3-A008-4F04-85E6-2D851D8AF183","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ac46482d9614bc70cdfafc33c9b07360ae890aa","datavalue":{"value":{"time":"+2009-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1001893$340BD206-E99B-4646-8B81-0A05588D6ECA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001893$8965596D-86E9-4306-86D6-6FBACA4A7BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001893$AA3F258E-C6BB-4FA4-A8B7-F78D9859FDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001893$7081779E-04C5-4103-BF8C-B5804209B543","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c19574afa3d98c2dddefa8ad0db10645d0422723","datavalue":{"value":"5509583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001893$D2981AF6-1BC3-47AA-84E6-0475765EE04A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"091410f2307a085653a772439be9d718e836ed8c","datavalue":{"value":"software testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001893$7A394277-5BA0-4E72-9695-8BEBEAF11F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c252b33b3f2955bd9f93fc405027ae252b16c7b9","datavalue":{"value":"stochastic time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001893$98EC650A-6882-49DE-AFF6-A58699D6CE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf708c9f6e9488802c3788c51f5c19d067cfd1cd","datavalue":{"value":"non-determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001893$561511F4-1C4E-4B64-AA89-B11D504FAB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a6543023c4a69e2729efa74068488a8c737a94e","datavalue":{"value":"fault model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001893$911B3AA7-1788-4121-89C1-7F1C10A41E81","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":"Q1001893$648A1247-3929-40B6-B751-0C33E69DF216","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bef128c4881dcf059c5b2b50f6802de9581b19c4","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2008.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1001893$66BCE2EA-AE72-4CE7-BD92-40CC9B7B2392","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d28b4694d4576f4fbd401219db38e7858a43e462","datavalue":{"value":"W2055530557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001893$F69BE111-32F6-44FB-B0F0-990A31CBB75B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48f52de9a4a1b8cd2deeeaf3402deb174d136fd","datavalue":{"value":{"entity-type":"item","numeric-id":1128976,"id":"Q1128976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$165377BF-1DBE-420A-AF80-3686695F15CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a457b8bc5a3de866e4c00d4a4d2b917d203cce28","datavalue":{"value":{"entity-type":"item","numeric-id":1603705,"id":"Q1603705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$A981163E-221C-41FF-9A59-3AC4131359FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0d944de5134cba5441f0e4f3e611aa83f7c905","datavalue":{"value":{"entity-type":"item","numeric-id":4532083,"id":"Q4532083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$67365BB4-CCD1-4F63-8DB9-4A720D25F2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda40cac342e87132cfd635691d9fe3d6e0d21d8","datavalue":{"value":{"entity-type":"item","numeric-id":1400156,"id":"Q1400156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$CCAF51D6-59A8-44B9-9FA4-8F8055AFE2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf02e0e12f9221abdc711425832159142f80fb9f","datavalue":{"value":{"entity-type":"item","numeric-id":3546349,"id":"Q3546349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$975E5E64-BF82-47FA-B4C1-4F0356D0993D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"439e51e6cfdf50a73df8b2deefcda14660157a31","datavalue":{"value":{"entity-type":"item","numeric-id":4158482,"id":"Q4158482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$BBED27EE-1F03-4741-B44F-8F501A3F4B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8abc2120959d494e9ab3121d3b96b6cd93de7992","datavalue":{"value":{"entity-type":"item","numeric-id":1854314,"id":"Q1854314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$2FD0A1EA-6CF8-4AEF-B292-CBF401FEA638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d3c4371d3227c7c5251d2c7dac9cc00b0d0f19d","datavalue":{"value":{"entity-type":"item","numeric-id":5541342,"id":"Q5541342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$B9232F10-9B63-421C-B79B-67D2E22C5562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$EDE778C8-C44A-4340-BC31-37E045EDBE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05dea0129140e41c658532fe8120daa17e8e4adb","datavalue":{"value":{"entity-type":"item","numeric-id":1892877,"id":"Q1892877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$516C8AB3-21B0-4F12-8A5D-18FBECB86954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fe35590b793289d3b2ef7b945c516487a25583","datavalue":{"value":{"entity-type":"item","numeric-id":4936893,"id":"Q4936893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$CC4C2B68-D1AD-420A-8C14-EE74F1D0E3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48374c947683789ada9e696c8e3f162ddd6edda7","datavalue":{"value":{"entity-type":"item","numeric-id":3417030,"id":"Q3417030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$9D8792AF-FBF8-4088-8F4C-86D50F55B78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f2107f08681404b54ae27afb21ee742d534564e","datavalue":{"value":{"entity-type":"item","numeric-id":5710654,"id":"Q5710654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$97700723-36B2-481E-A576-932BB2FCFEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99f7b33671c01046528c22fd8a8ebeda402a9b9","datavalue":{"value":{"entity-type":"item","numeric-id":4791843,"id":"Q4791843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$428BAB04-9AF4-4466-A9E1-12DFBF6D51BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd299ecb9d3d82efbcf67158927cbc06973e3af6","datavalue":{"value":{"entity-type":"item","numeric-id":2368993,"id":"Q2368993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$8EC743B8-CEC9-4759-941E-0C9A05EEECBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb06b91713b73dafda653e1240cf860763a4f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":3613674,"id":"Q3613674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$03C1E807-4900-4DC6-A473-05EBC6EBE141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af00ad16addcb60bbfb1627226509b427eeaa9b","datavalue":{"value":{"entity-type":"item","numeric-id":3522091,"id":"Q3522091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$88B83B72-4757-4343-A7E4-FA71FD3F8CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685144b4eb15e2f9efb4205ce64a23f340700300","datavalue":{"value":{"entity-type":"item","numeric-id":4589595,"id":"Q4589595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$503F8E6D-874F-4256-B953-4E7C27158476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41137b9a3110c87e311e4f5973a89b83d5a25026","datavalue":{"value":{"entity-type":"item","numeric-id":2469174,"id":"Q2469174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$D07AC3AC-A402-4F96-9416-97EFC63D2C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0193418f916e9f7f0c7d8969c6fc34654bb6b99a","datavalue":{"value":{"entity-type":"item","numeric-id":1400293,"id":"Q1400293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$9DE376D7-DF08-427B-AF80-5CD7A8513DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf7ec5551a9c2c6954b9443c0afe9bfaf43606a","datavalue":{"value":{"entity-type":"item","numeric-id":5900959,"id":"Q5900959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$CC9B644D-CC69-4199-A266-329E10830A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88634057391c15bdf90f5f3e64269fb32b047644","datavalue":{"value":{"entity-type":"item","numeric-id":4532084,"id":"Q4532084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$9BAF920B-0653-4887-8921-86C91D906C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbece7571be501a7c5bea5b915e00289f365146","datavalue":{"value":{"entity-type":"item","numeric-id":1109561,"id":"Q1109561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$F635A5B7-B9AB-4CC8-84CF-D4396D9E1FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f0138b74842f30b947a85826312269b896e88b","datavalue":{"value":{"entity-type":"item","numeric-id":2469152,"id":"Q2469152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$AA003750-1C03-432F-A2AE-192F72788C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2780791d98c005bb8ebf69e36cb9dcdfd75b38b4","datavalue":{"value":{"entity-type":"item","numeric-id":5940921,"id":"Q5940921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001893$38F42E62-424B-4359-BE68-C0D8336E56FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f80506063dbc33186a32e622def6bfbc6e0dfb8","datavalue":{"value":"10.1016/J.JLAP.2008.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001893$B70B143A-A309-46A5-B12C-CF49213C4348","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a6f8f258286a02224bbf4112c1dd5edc67e08e7","datavalue":{"value":{"entity-type":"item","numeric-id":5900959,"id":"Q5900959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e81b2639ad8266c25eab715fe51e72f8271037b","datavalue":{"value":{"amount":"+0.9020608067512512","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":"Q1001893$0394C6E9-F5C7-4004-A5E1-36B20BEBAA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e094ac94cf223b49466fa4701cee74556d56cbb","datavalue":{"value":{"entity-type":"item","numeric-id":3522091,"id":"Q3522091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a7e46677ea4539bb2af7743e689f7ddc15d2a5","datavalue":{"value":{"amount":"+0.8331657648086548","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":"Q1001893$E1285162-B8DE-4790-A322-564E68AC4720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e6b018beeb31b6000a2e11fc68359ffc6c1fdc5","datavalue":{"value":{"entity-type":"item","numeric-id":2469174,"id":"Q2469174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2884a207397ec7c6631c75b0882a2dd62b1b1899","datavalue":{"value":{"amount":"+0.7999453544616699","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":"Q1001893$7AC33C25-7CED-4258-9048-DD7EAEB96AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb837bfd504464e3c1541177eae591f99267c7f","datavalue":{"value":{"entity-type":"item","numeric-id":5086223,"id":"Q5086223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68999b5e363d38cd9a57e17168cea226cdcb2120","datavalue":{"value":{"amount":"+0.7946160435676575","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":"Q1001893$0DE603F6-C9D0-4A49-A212-CD6A16D1E102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f70e1fb3b73a58d2cdaa6a5a95b15777525e4dc6","datavalue":{"value":{"entity-type":"item","numeric-id":842583,"id":"Q842583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16bdeb5ac9b355bbe162a946abbedd79ea8b515f","datavalue":{"value":{"amount":"+0.7925531268119812","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":"Q1001893$1440D7A6-FC87-4A91-B9BB-CB878AAEB8B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing from a stochastic timed system with a fault model","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Testing_from_a_stochastic_timed_system_with_a_fault_model"}}}}}