{"entities":{"Q3000640":{"pageid":3011364,"ns":120,"title":"Item:Q3000640","lastrevid":58097367,"modified":"2026-04-03T19:15:15Z","type":"item","id":"Q3000640","labels":{"en":{"language":"en","value":"Off-line test selection with test purposes for non-deterministic timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897399"}},"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":"Q3000640$C3AE15FF-9EAE-4377-AF9D-D060147324FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a62d7e49b756ca083146b3a0eb3a11b852b3161","datavalue":{"value":{"text":"Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000640$4DC255F7-2374-4FF0-8764-427AF507E231","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b71e31db34ce67917ab5ac0984e7c094b57c3e0","datavalue":{"value":"1315.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000640$7F69073D-C89D-42BF-95CD-44E29B2370C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1fe359818e688c5057e4d3019ac220d0a1454d3","datavalue":{"value":"10.1007/978-3-642-19835-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000640$2681FCBD-55BC-4EF8-9DDD-D0286A509500","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c924f782f247b037ef49227efcc476dfcb2e57d","datavalue":{"value":{"entity-type":"item","numeric-id":1045895,"id":"Q1045895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000640$21D2D6BF-021A-45AE-A624-38F67A0F1CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f8ef2e44345b44d5df789c93a6d744e54eb86f","datavalue":{"value":{"entity-type":"item","numeric-id":487255,"id":"Q487255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000640$B08F1E11-2649-4E74-BA17-2FCC1ED006F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10090c00094d410f953d392dea2aa91bb096dd99","datavalue":{"value":{"entity-type":"item","numeric-id":2018057,"id":"Q2018057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000640$1A1F8784-5428-4A3D-92BB-1B39F419AA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba65115dc067c98e9f21b9d06577b2912f62f344","datavalue":{"value":{"entity-type":"item","numeric-id":842582,"id":"Q842582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000640$9600677E-7381-45FB-9A05-DBC79D372B72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000640$E61623C3-186D-4358-A732-5905C48F5E62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000640$22EDDA2D-6AB1-4282-A712-42CC2D7CF87E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"451d0b4fcf3168ef5ae615832af386380d2333d0","datavalue":{"value":"https://arxiv.org/abs/1207.6267","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000640$EF5BB8FB-2007-43CD-918A-4801E2271FF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000640$0BB229CA-2E5C-41C1-B5A0-38974205DC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000640$150B3452-4090-4DA6-ADF6-5433F56C18F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d77eda264e0734b353ad6c4dc2ba66a1c3c74bea","datavalue":{"value":"5897399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000640$6C61FC15-0376-4F98-86A5-8E8BD5C09F5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6cd096fbe51368a7529e7609cb813ad3c29a70e","datavalue":{"value":"conformance testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000640$15379E4D-BE77-41B7-AC9E-1FFCFF05D23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000640$0895C3D5-2D92-4A2A-A528-F398D610C8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"645ae8fabef2013167a294ff9acf303368b62840","datavalue":{"value":"partial observability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000640$D3B7D3A6-EEC5-4DAB-91CE-EA276A8C6289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73ec4010bc5f94c254ecfa9d05dd65480e3c7823","datavalue":{"value":"urgency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000640$D61B327A-459F-4DF7-9F26-ABF77FE3CB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69ac6e09c89b3a7a3bb6aba692981a348cdc1d8a","datavalue":{"value":"approximate determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000640$F74F54D5-3114-4C84-918D-1DB78D5AB5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b53c552f034f0759ded21ef7d92b5c6222376092","datavalue":{"value":"game","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000640$77230AF3-D94F-4143-9EB8-8383A23CFEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95dc9e4b59e06eb602de5a49e57e3fb95cc7872a","datavalue":{"value":"test purpose","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000640$E69C61BF-B14E-421C-BAF4-3E1EDC6797EE","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":"Q3000640$E682D5E8-6C79-4600-A6E6-D8398CA98A68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2fca7c33a1ec946a6833a5901cde46f8b2b988e","datavalue":{"value":"W1878755561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000640$11108993-D40F-4359-9C5C-8B78AE4456C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000640$95B2C8C1-5A34-45C8-BF59-2C37A3121894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc7710aae4636347b7acce12b63ad940c9b4b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5692280,"id":"Q5692280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000640$93B2AB63-C731-48EC-A6EE-8B76353AE4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd210815ea7a48bc3048076843f39533a73a4f99","datavalue":{"value":{"entity-type":"item","numeric-id":4593936,"id":"Q4593936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000640$853ECBE6-3BB5-4B92-92F2-CFD298F25851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36c7d313c568663fdb4cc8216d9b0d28fe16727","datavalue":{"value":{"entity-type":"item","numeric-id":3166229,"id":"Q3166229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000640$82B2A019-2B68-475C-AE63-0D83191D0162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24c1e460f16fa723263fc81c1752dcf2ac238b17","datavalue":{"value":{"entity-type":"item","numeric-id":2018058,"id":"Q2018058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000640$71846EF8-702D-4D61-831F-36B10B9B67F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b790ceb41ada272b73fbd18d4393f2e85b19c282","datavalue":{"value":{"entity-type":"item","numeric-id":5710653,"id":"Q5710653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000640$55276CF0-99D7-4DE0-BF71-8F822B4100EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3722a01ff9977e3dae59cf7bb07fb3de2a6c6a","datavalue":{"value":{"entity-type":"item","numeric-id":2985870,"id":"Q2985870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000640$19C87BE8-FDD4-48A6-8E9B-E73BD20C6408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfd20d690180050fd0bfc67b80c871451703f7e","datavalue":{"value":{"entity-type":"item","numeric-id":4437066,"id":"Q4437066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000640$CDAF45E0-30C9-43FB-B6DD-D2448FAD2CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a882ddb213a4d6ed482eb68dc25e4cee7f55653f","datavalue":{"value":{"entity-type":"item","numeric-id":3511235,"id":"Q3511235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000640$29A5B3EB-9C45-482E-9E39-94053C6D3019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8230013e75d94aae54fce07fdf59b1b9a9b331dd","datavalue":{"value":{"entity-type":"item","numeric-id":5902015,"id":"Q5902015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000640$4B1779F0-C093-4158-97FF-3E80208C564C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d4aea5c52101774f6b624e4ecadd81bcb005e6","datavalue":{"value":{"entity-type":"item","numeric-id":842583,"id":"Q842583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000640$4202A9FD-7666-4AE7-A235-A6D565E5F35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c8b258576a4949793c6696187ba1a561230640b","datavalue":{"value":{"entity-type":"item","numeric-id":3543302,"id":"Q3543302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000640$0481D401-F17F-4D75-8FA7-D81DB9C35FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d1339d549b96e80a33fa65a771c80afc759cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4896913,"id":"Q4896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000640$D5019C5F-B3D7-4469-8680-053EB921F8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f167889b95f8d71fc5e93e219f59d51beef85f31","datavalue":{"value":{"entity-type":"item","numeric-id":845728,"id":"Q845728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000640$5B3F2993-78D5-4AB7-9F52-ED8518C735B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5c447de7492580e26e93ef69315966f2798b4d8","datavalue":{"value":{"entity-type":"item","numeric-id":3166229,"id":"Q3166229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"382c3deb7edf13ce060aebecc7ba49f7f8199bb0","datavalue":{"value":{"amount":"+0.989901602268219","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":"Q3000640$BC0C34C3-98FE-41E9-AFFA-A69949922610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"149848fa7c05a431f1661d6c20c52e2c48255d88","datavalue":{"value":{"entity-type":"item","numeric-id":5902015,"id":"Q5902015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ea994c53b4999e0d36d7f1bbf40590e908f72f","datavalue":{"value":{"amount":"+0.8022013902664185","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":"Q3000640$4B7EDAEA-A77B-496C-8E34-C8263617D41A","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":"8f0a0b14412f000ac7e8c309e6e1b01453e3aca5","datavalue":{"value":{"amount":"+0.7733242511749268","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":"Q3000640$58D2A5F8-8C50-4366-97E2-4C3B2B7DACB1","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":"357c5337577c4381de068f414273a0f1749bf1f0","datavalue":{"value":{"amount":"+0.7467784881591797","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":"Q3000640$5D720A53-00AE-4500-8A5B-29197AE3E8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5374667c0ef6098aac9a0b24f077c47b4f4391f","datavalue":{"value":{"entity-type":"item","numeric-id":5883580,"id":"Q5883580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93029c7b8f7093a4e340713f8577068b3b0402c3","datavalue":{"value":{"amount":"+0.7415561079978943","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":"Q3000640$D61E9E55-AE95-492C-BBE5-49DF81784496","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000640"}}}}}