{"entities":{"Q4245976":{"pageid":6275577,"ns":120,"title":"Item:Q4245976","lastrevid":46783746,"modified":"2025-12-25T14:19:10Z","type":"item","id":"Q4245976","labels":{"en":{"language":"en","value":"Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1293712"}},"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":"Q4245976$F25C54B3-8FF5-45DA-979D-8053B2E6E1A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ac03fe37b3ba286fea89ecbc4c5b33a0e99fe96","datavalue":{"value":{"text":"Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4245976$E1E3B179-3213-4107-AF2F-D1682265AEE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d5bb5f76fabbccb85cd59c17c11a065f0675594","datavalue":{"value":"0921.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4245976$BB81C91F-BA47-4929-A1B7-B0C311656D5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4245976$F63CB709-E560-413B-87F6-6281CF1B4DEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e627d8745f0fb7826ead45cdb0f7dd63b223564","datavalue":{"value":{"time":"+1999-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4245976$036C0757-839C-40E5-94AB-83F4EC7B8A21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f33fbb34411a39fb656cf014be7ea42389cdf51b","datavalue":{"value":"http://bura.brunel.ac.uk/handle/2438/348","type":"string"},"datatype":"url"},"type":"statement","id":"Q4245976$372DE9B3-CABE-4296-8A77-7BE8EF606E91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4245976$3A47E17A-E243-40B7-8BD1-E6FF99FB1826","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec9e01f1272ad3bd740215eff58c6b5bfb52ea0c","datavalue":{"value":"1293712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4245976$128D217C-14F9-45A3-AC08-013D2D080108","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"654d82cffaf48aee34c8d66a865b227f1d39e13d","datavalue":{"value":"finite state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4245976$89182D5B-A146-44DB-91EA-FA15362751AB","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":"Q4245976$9F6B1758-234B-4772-95EB-884FC179E754","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":"Q4245976$FA062589-CC3E-4835-B6A5-12EDC2E6807D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29bc5e3082057acf49642a44b604432f5d0c0a75","datavalue":{"value":"W2100596986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4245976$F98EE8DE-467E-4B13-A6EB-9E0B6D8AF258","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"149db1f158703abfc07a2b015642a1a00ef1164c","datavalue":{"value":"10.1093/COMJNL/41.5.349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4245976$3EE09CCB-EF01-4D80-9260-42A6115DA89F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e5b0120579d4ce6111566c18354fecaddda62a","datavalue":{"value":{"entity-type":"item","numeric-id":4415904,"id":"Q4415904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a80209286ef29a53a378eb2c9ad72102e6599883","datavalue":{"value":{"amount":"+0.8454564809799194","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":"Q4245976$143569B8-5D35-4E98-BD71-A1700EDF5993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82dba6518753c56b97595fc2c4300f4fc13d94be","datavalue":{"value":{"entity-type":"item","numeric-id":840063,"id":"Q840063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9ce36c776e093f25c83f3e95cdb0768e5f9efcf","datavalue":{"value":{"amount":"+0.8220248818397522","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":"Q4245976$0898AEE6-3559-47D5-83A0-09487A2BD1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b43a3c8745374ebb1e7e8cfc838a836ae20ae3fb","datavalue":{"value":{"entity-type":"item","numeric-id":5146121,"id":"Q5146121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f29649550a2f38535dd7d687b0a75e2032b0d8f5","datavalue":{"value":{"amount":"+0.8088042736053467","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":"Q4245976$0920F4DC-ADAF-4DEF-A0AB-5E9426B3C2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48af8cee3a1246a48964a0fd634cdc15d088cfbb","datavalue":{"value":{"entity-type":"item","numeric-id":2731077,"id":"Q2731077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"035fb91cbe5ba07978f56733e4d1a1efebee3faa","datavalue":{"value":{"amount":"+0.7842012643814087","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":"Q4245976$22562B67-1691-4023-9C7F-C721BFA1BF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd1d2890b521d3e32db14a7118da02df862bd205","datavalue":{"value":{"entity-type":"item","numeric-id":3018215,"id":"Q3018215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1efa33f66ab623809de114a63c3b1b81f6cd46","datavalue":{"value":{"amount":"+0.782270610332489","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":"Q4245976$87D4D482-9F81-4609-A22E-B2E6938CCDBF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4245976","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4245976"}}}}}