{"entities":{"Q2432219":{"pageid":2442962,"ns":120,"title":"Item:Q2432219","lastrevid":74106390,"modified":"2026-04-14T18:23:18Z","type":"item","id":"Q2432219","labels":{"en":{"language":"en","value":"Simulation testing of automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067127"}},"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":"Q2432219$6316D896-39AD-4AED-A878-C723CE00662C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9b3228d15ef19df47ce0b21e079a8491351ba90","datavalue":{"value":{"text":"Simulation testing of automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2432219$52671467-B874-4F65-8A83-BB5F084E8EBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfa460c9f1130a5b4677ae6d8dc051cd85653cc6","datavalue":{"value":"1103.68593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432219$CD174578-A1CA-475B-A574-1549486FC138","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"389bd8189f7428178537e89812ab61524a39750d","datavalue":{"value":{"entity-type":"item","numeric-id":514564,"id":"Q514564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432219$C5C20DDA-A184-44DE-BEA6-80940BDCE22A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432219$BD3AD72A-77D2-44A2-9EF7-0BE2F7868786","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"524490ea1b25be9690e11f6569cdb524b84ba54c","datavalue":{"value":{"time":"+2006-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2432219$256B3DE5-C7F9-4A9E-987E-2DDC93E88FA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432219$57F36A76-E0CD-4B91-AF62-A8FD1B0E4027","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6d89418cb78f3f369d03d801e3d9714f630cc6a","datavalue":{"value":"5067127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432219$F1C21869-B875-4207-ABBC-67669428598E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f1c89429c62361f27580ddeb24eadac3884da97","datavalue":{"value":"state-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432219$87799DB5-364E-49E2-A660-5C211657A692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55a0280599b7ab57dbab05a479d0ecfb27f94d98","datavalue":{"value":"stream X-machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432219$FCBD357F-B70F-415C-98F7-624579906834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432219$9856A046-63F2-4B19-A5F7-98FDF60DEC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432219$78757C9E-C780-4239-BE75-7C6D63E0534D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432219$CF4E3AF4-C320-48E0-B53B-D3A9132C09DF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7496a1aaa0188402be848dd4376f958b88d7d72a","datavalue":{"value":"Q57691248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432219$9AAD57A3-9D5B-4BD8-8494-E88A275AAA6A","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":"Q2432219$8328539D-443B-4BAA-975A-2A0D1A474A05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1da8e90206ff24edc2f732896986ef9f338b92a3","datavalue":{"value":"https://doi.org/10.1007/s00165-005-0080-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2432219$26C68328-9341-4C79-A882-D04BF5646FBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ede54099faf3c0af1ca032797ca12326f80b0342","datavalue":{"value":"W1990143906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432219$8A8EF8AF-842A-4C86-9707-0792E7FC5625","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"5f98b37112cc6d2aa15b9bf2561c36213f7a75ee","datavalue":{"value":"journals/fac/Stannett06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432219$D4D248EA-8BEC-4EFF-A895-F6482D09C5FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ff2604867fddbd05febc02dc79504cff3ef4607","datavalue":{"value":"10.1007/S00165-005-0080-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432219$78CEB436-BE32-4BD0-A036-9E0FDDA08CB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2931fa8a2a766945263dd7323d481460fd6e8f1","datavalue":{"value":{"entity-type":"item","numeric-id":1193902,"id":"Q1193902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ba256b74acc15e34f6784c609a060ed1411344","datavalue":{"value":{"amount":"+0.8878406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432219$52145AFE-9C85-4617-A73F-C49495FFE937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cedc2eef21adab51d47a243e5cb5167bbf7b98b","datavalue":{"value":{"entity-type":"item","numeric-id":5940921,"id":"Q5940921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b208dbbed66ba1bb905e441cd84e224e30894c4d","datavalue":{"value":{"amount":"+0.87843096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432219$6DA91BDF-016B-4D9E-890F-6894D340C30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04dd21e0a77db290e17379f6a0ae8c55cb4ac7d0","datavalue":{"value":{"entity-type":"item","numeric-id":4884884,"id":"Q4884884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"691289a75bcbbc96490fc6cc28c7e688329b5cda","datavalue":{"value":{"amount":"+0.8765129","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432219$C84A80B6-7293-46A8-8F51-1B1253631A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1a7598e7dfaf2b00be1a3dd1edfd5b09877190","datavalue":{"value":{"entity-type":"item","numeric-id":3970886,"id":"Q3970886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ee2e84eee5cf1659ad77c9f8d274ea536808fc9","datavalue":{"value":{"amount":"+0.8722685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432219$B9058D2F-D597-40D5-84BB-582616D7F99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"886bf4841373a8e932c40a558f7613249ed2cd3a","datavalue":{"value":{"entity-type":"item","numeric-id":6104379,"id":"Q6104379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79430ae0709a4f25ab9f1ac445e5f41c50ad6316","datavalue":{"value":{"amount":"+0.87139696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432219$580BC974-B11C-48C6-A5F7-BE9147C6C046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf6f0f1c562f37d32e9cc89e9c16071382f8dff1","datavalue":{"value":{"entity-type":"item","numeric-id":4909350,"id":"Q4909350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cae986393a1d56203cf677cac09811b718fcbca","datavalue":{"value":{"amount":"+0.8685789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432219$69CE211C-564D-4E86-9D5E-FE237B192913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e772d775b7a77debba32536e94d1090524206461","datavalue":{"value":{"entity-type":"item","numeric-id":799374,"id":"Q799374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5b59038186b08ed06ed2380d2c7b20d8bd556d","datavalue":{"value":{"amount":"+0.8667104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432219$03CBFDD0-469E-4DB4-A149-C204231BFF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc7b2fcb3956ae82d75aec5d6f32fcbb9e48c01d","datavalue":{"value":{"entity-type":"item","numeric-id":2769597,"id":"Q2769597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9fef7a8bcbedb5e014651f1d8305dd9176948a0","datavalue":{"value":{"amount":"+0.86661196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432219$3365114E-D288-42B9-AB77-9C4D9322EC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62764c6a32c1e1c2db0a7cf727fac6222e0b697f","datavalue":{"value":{"entity-type":"item","numeric-id":6109584,"id":"Q6109584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"077d5eb029075536b168ff78531e8e8f1d7f816c","datavalue":{"value":{"amount":"+0.86138326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432219$58BF959D-C45D-431F-86FF-79B835DE1292","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulation testing of automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simulation_testing_of_automata"}}}}}