{"entities":{"Q4225359":{"pageid":6254960,"ns":120,"title":"Item:Q4225359","lastrevid":81941903,"modified":"2026-05-06T19:43:14Z","type":"item","id":"Q4225359","labels":{"en":{"language":"en","value":"Testing with decision diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1238913"}},"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":"Q4225359$7F4CA9CA-8E55-45C2-B689-39810F47081A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"738fe483e5be12c4b896769acc112812fd10cd97","datavalue":{"value":{"text":"Testing with decision diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4225359$EB9772AC-A061-42D6-8F8F-4F0358A22BA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42ba9714896f17dd93244cba176f77fa7c3d756a","datavalue":{"value":"0908.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225359$8191FF7D-F00F-483F-8839-E8717A652685","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0407a5538368cef603aa88cea7b6187ea8aeb373","datavalue":{"value":"10.1016/S0167-9260(98)00018-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225359$AABFBF55-3C64-473E-B31C-06A5AE5B6E78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db1c1d4758cc84ba91e5181bfa794ba378ebc68","datavalue":{"value":{"entity-type":"item","numeric-id":402124,"id":"Q402124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4225359$46CCE08B-344B-4EC8-B7E0-5494E6B6CE0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"addc2942fedafeb72529951bfc3e796c4ffe6a9a","datavalue":{"value":{"entity-type":"item","numeric-id":2734603,"id":"Q2734603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4225359$F4AEC968-9A46-4DEB-B1AD-398BF6E00B1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a478bab7af2e688c035f2ebdc0c22a9c2c58e2e","datavalue":{"value":{"time":"+1999-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4225359$424143ED-9DE7-4735-9AB9-E17986C64C3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225359$5A36567E-3E39-4F57-8BC4-EFCC7ADC736E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ba0db88ec1d9208c9b2d78c4b1e523872c7ec39","datavalue":{"value":"68U07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225359$4140F52A-C301-4754-BE8F-B9396A88F103","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f666bb4120f52474830372adcff660cc6db22b2","datavalue":{"value":"1238913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4225359$C1B245C8-924A-4253-A3A2-0FF00A0EA071","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00baa34181a949bc57429a7c01044e321721969a","datavalue":{"value":"decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225359$C38BC945-5242-4BD4-BBC7-487C0E52FC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b54d34714f77793805512ad857105cc08b42ce3a","datavalue":{"value":"fault detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225359$862B1221-5A4C-444D-B0A1-8CE20F9D9522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fa36130e82077da1500a611dfdd0f247e985b15","datavalue":{"value":"synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225359$9E8B83FF-A95A-4920-96D0-ACB5715D98CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"290d522c530381ec6f10b2ff9f261b5a7c153151","datavalue":{"value":"built-in-self-test","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225359$D005A40A-E9FF-4C32-966B-2BF5588B98DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a8c33665cc068c1a0ad41d4a92fb4e505052253","datavalue":{"value":"synthesis for testability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4225359$E29C378B-0625-43F1-A077-E44A4DAF7917","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":"Q4225359$4E7A6920-5DA4-4668-9FC7-2F57FED77C59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bf09aa6a8d6dd8c08ca5785d93512a5e835448","datavalue":{"value":{"entity-type":"item","numeric-id":5096806,"id":"Q5096806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c39fc199a7ef4d53a5779e64cab5edb8f105af","datavalue":{"value":{"amount":"+0.8669118285179138","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":"Q4225359$67ED8682-50E4-4159-8C62-42A8644323BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a4146ee6cb79dbfc210b44af86f54ac7916e88d","datavalue":{"value":{"entity-type":"item","numeric-id":1606800,"id":"Q1606800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d71590c4f9029143c805c834a109a92aa28e3afe","datavalue":{"value":{"amount":"+0.8362823724746704","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":"Q4225359$D52C1AC5-9588-4DEC-9BB9-5582FB4DD4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e51de4795ed907d16f9f11f02568cf2dab40ef6","datavalue":{"value":{"entity-type":"item","numeric-id":4419665,"id":"Q4419665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025d35e6c6e28385cd6f6e860c710d1512aa5cd7","datavalue":{"value":{"amount":"+0.7891700863838196","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":"Q4225359$B2F5FDD7-3AB8-4725-8CF6-48C6301AEDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c103a71b4a5b68d59b70ceec6246fe0abd7b250a","datavalue":{"value":{"entity-type":"item","numeric-id":4788463,"id":"Q4788463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"986a93b0e36eb16739147cad25c787e8ca84cf16","datavalue":{"value":{"amount":"+0.783962070941925","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":"Q4225359$49BDEB98-9B68-4D72-8C4B-9799FDC5FC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15ebd5378f9b7d5c2cb4f37c84a8854576f84c08","datavalue":{"value":{"entity-type":"item","numeric-id":3574330,"id":"Q3574330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"256631be817a0c7f94a927b206367a09254b94d2","datavalue":{"value":{"amount":"+0.7801279425621033","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":"Q4225359$DF9AEA29-A536-40B3-B44A-827C717458EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing with decision diagrams","badges":[]}}}}}