{"entities":{"Q2169111":{"pageid":2179854,"ns":120,"title":"Item:Q2169111","lastrevid":82567382,"modified":"2026-05-06T21:12:47Z","type":"item","id":"Q2169111","labels":{"en":{"language":"en","value":"Randomized refinement checking of timed I/O automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7580900"}},"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":"Q2169111$4E1BD0BC-BA0F-47E6-8FCB-730B6D918A1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa60b650ae9aa6deba64d37c4a436043118b50a4","datavalue":{"value":{"text":"Randomized refinement checking of timed I/O automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2169111$E22F9CA9-7DD7-4AA2-AAE4-BB8710AA578E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff23f03270856f57f170fd9a6d79805f151763d1","datavalue":{"value":"1502.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169111$3D8F1FFE-B2CC-452E-987F-5A2CDCCE6184","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d0e1b51524da5eb5d2db3a02186ddc814057230","datavalue":{"value":"10.1007/978-3-030-62822-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169111$8EB9B1F6-73B0-4B9F-8DE1-A676DDA91560","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"331e92b55939616479597f75bab2ca4bfd1cac17","datavalue":{"value":{"entity-type":"item","numeric-id":2169109,"id":"Q2169109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169111$05A3E614-56F2-4F9F-8BB2-D25F2996AF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9871e2d43710340f622e8fd158b0d4e95fc9a63","datavalue":{"value":{"entity-type":"item","numeric-id":2169110,"id":"Q2169110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169111$3E11A12A-F9CF-4803-8325-DC77DE1C47B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2169111$B053AB68-85AE-4667-8151-E52D13EAD9BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f8103c39d04c6902efbf808a8b0b8b468836cc5","datavalue":{"value":{"time":"+2022-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2169111$8B2892D0-4B43-4309-AAF7-23A3961BC109","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169111$5CC05396-3F8F-4D7A-A76D-CA89AA884633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5b5126101ab4505674efcb5789319f63910d08f","datavalue":{"value":"05C81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169111$33D8C0E8-2997-400F-B249-3F0348F4C927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169111$0732F0EC-1ACF-4BA6-AE89-AED30FC798EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169111$CFBD7570-2C38-4928-915E-1A60AEC63618","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0b51a4447385d83500b4e8451706449fedf7a6c","datavalue":{"value":"7580900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169111$81EB276F-CD2C-4DAA-9F34-3930C8A7075A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2169111$07F3FD0C-A1E8-462B-8BAD-E03323D0883C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7395df5e599e4960127347ec97559dd71a5ddcf4","datavalue":{"value":"timed I/O automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2169111$9325FDAE-4385-4A39-A42E-7DE1A2C7B9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08099453cfa21d5ca2f3d44f900b12719a5474d0","datavalue":{"value":"random walks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2169111$2550EBB7-6E59-41C1-A8EE-C6159BC5F6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0c57ad59cf3d0781c61ff6711d6e05601a6f7e0","datavalue":{"value":"state-space explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2169111$E424977D-63E0-40F8-8D0E-79E9E456DEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2169111$3114141E-2A60-4C7B-BCA6-C64C51356DCC","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":"Q2169111$BD9B5D49-03DB-411A-B0AA-756BA81CF9FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e6c95c2ebdb60527b80d74f698b9e6c442282f4","datavalue":{"value":"https://doi.org/10.1007/978-3-030-62822-2_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2169111$C371457C-4B08-40A1-A4F6-CC29E09111CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0105bcd4edb89f912631def3b01128ce1f5b07a8","datavalue":{"value":"W3098299975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2169111$C5949087-0267-4581-B579-1D42697828D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3f6af0338f2e7b07be365720178f1edf23846aa","datavalue":{"value":{"entity-type":"item","numeric-id":2824414,"id":"Q2824414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b3899c4cddb82769bf7a3d14b82d0788cf12d7e","datavalue":{"value":{"amount":"+0.7358666062355042","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":"Q2169111$CB22722A-4FF7-4061-89F6-157C7E7057FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fbdeaf1c1cece30df620a4fcc42b82edb9df71","datavalue":{"value":{"entity-type":"item","numeric-id":3510839,"id":"Q3510839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ad9f90687aa78e21f1f06ebad9b61223b32413","datavalue":{"value":{"amount":"+0.7248307466506958","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":"Q2169111$4D49B6CF-E1FC-479F-82F2-3D43057A9BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d6f4a4cd956415149cf74ff44e53ddfa825b1c","datavalue":{"value":{"amount":"+0.7203342914581299","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":"Q2169111$8BF09CCF-B480-46B8-A2EE-CAFF13DC3768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c945b7d6c3db3fc6b78309cc2941eb746f06ad31","datavalue":{"value":{"entity-type":"item","numeric-id":4798037,"id":"Q4798037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba9edf9dbe65de51abe8dcb2c55103651e470e4","datavalue":{"value":{"amount":"+0.7203262448310852","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":"Q2169111$D4E41395-C70A-49BA-A607-F72C37DB5C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b509c747ba6ba1ac74e03746b651ecba9a58889d","datavalue":{"value":{"amount":"+0.7140715718269348","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":"Q2169111$38917EF4-6709-4F8A-9E1A-A9EBA50C1836","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Randomized refinement checking of timed I/O automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Randomized_refinement_checking_of_timed_I/O_automata"}}}}}