{"entities":{"Q3018235":{"pageid":3028959,"ns":120,"title":"Item:Q3018235","lastrevid":85809623,"modified":"2026-06-03T11:36:05Z","type":"item","id":"Q3018235","labels":{"en":{"language":"en","value":"Finite state machine testing from an OR state refinement design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5929614"}},"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":"Q3018235$33B28264-974D-4394-A4CD-817A065EF6F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb5071562d6688e49b2bab6403c165cd09b007a5","datavalue":{"value":"1240.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3018235$802C50C0-FF6E-44E0-86E5-D6A6AA2A6238","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a780ef79608749556230cbbde02f78eda1ce0cdb","datavalue":{"value":{"entity-type":"item","numeric-id":204589,"id":"Q204589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3018235$C4F6452D-AE93-4638-86F3-571430916183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4d8e2495260234e162408fe80dc54cf4eda3d8d","datavalue":{"value":{"entity-type":"item","numeric-id":204593,"id":"Q204593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3018235$F0CEEBCE-D586-4FE9-B2E9-32225F0EC65B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55549e65a69e36a60dff96c251edfdfdcb488c38","datavalue":{"value":{"time":"+2011-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3018235$DE6A650B-9219-472C-994B-E130BC2A42FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3018235$72958361-90C5-4A7E-9CC0-107744169E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3018235$E68B4155-6EB4-48C1-ABDA-189F94A76717","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b12726bccaed77d5887adebed728469cd3b196d","datavalue":{"value":"5929614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3018235$4B599231-54DE-4051-A8E3-6B36467D9F07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"654d82cffaf48aee34c8d66a865b227f1d39e13d","datavalue":{"value":"finite state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3018235$614608EF-99F2-4E88-80C2-F4FD499A98AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7f60afd2864e4574ba0b326ebeb815399ad878e","datavalue":{"value":"OR state refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3018235$148404D9-343B-421B-A500-1216EBE9E850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44bb8f04b1811f1c691fc7800979510b4e7dd1f3","datavalue":{"value":"test generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3018235$A32721E7-EED3-4920-B68C-6E7C8A4BEA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3018235$3E46519D-7E37-43AB-B392-30F80D72EB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0fa23d6dc68953be03b0b16e82eb3ddd20aeb97","datavalue":{"value":"W-method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3018235$1B2687C5-E90F-4596-BAC8-14688CD3AD6C","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":"Q3018235$53CF23E5-4669-4D89-B3C1-24CAB996B995","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71851192c2460406d48712586b887d0e8a836d50","datavalue":{"value":{"entity-type":"item","numeric-id":3022296,"id":"Q3022296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea24fe5395f8d0a1228f9429dd12a71f85dd25d","datavalue":{"value":{"amount":"+0.8657656908035278","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":"Q3018235$C573ED3D-B11C-41C2-9AE8-8E870D55484D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec18a64548eb97da966764d2164d96667aa3bd3","datavalue":{"value":{"entity-type":"item","numeric-id":3838255,"id":"Q3838255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eefdc82aa8d68176c6be45afa599e800d05fc222","datavalue":{"value":{"amount":"+0.7341040968894958","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":"Q3018235$9D992340-7261-4994-8CDB-75C98E26B35C","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":"7d91b0cb68a5113a574b9afb612ad45cf158bfe9","datavalue":{"value":{"amount":"+0.7341036200523376","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":"Q3018235$B23B2B63-60BD-408B-88B9-7995D2AC7E85","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":"f4c69a0bf4e5129f65c3595188c7eba980816337","datavalue":{"value":{"amount":"+0.7285480499267578","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":"Q3018235$1C960835-A6CB-436A-B085-F99597C59E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19b1075ccf2d7ea292d196dc4831843b25c595dd","datavalue":{"value":{"entity-type":"item","numeric-id":706516,"id":"Q706516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b92f727b3a3608928c124fab76c8e6d1d4af5628","datavalue":{"value":{"amount":"+0.7269442677497864","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":"Q3018235$F5AD359E-26B6-4764-8602-351D68D2D681","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite state machine testing from an OR state refinement design","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_state_machine_testing_from_an_OR_state_refinement_design"}}}}}