{"entities":{"Q3166229":{"pageid":3176945,"ns":120,"title":"Item:Q3166229","lastrevid":85970609,"modified":"2026-06-03T13:03:17Z","type":"item","id":"Q3166229","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 6096744"}},"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":"Q3166229$7DF1BBB6-EAA9-4609-878C-90B0A59DE17A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c2e242594f74e54e9d03b8589ff5d6dfb6ef326","datavalue":{"value":{"text":"Off-line test selection with test purposes for non-deterministic timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3166229$3253E1ED-8975-41B1-9C72-5FB18DCC2CE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"035ab37b2f6fccd2361c7e8cb0c11ced0fec0c86","datavalue":{"value":"1248.68319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166229$62C6A5B6-4669-4C71-AEA2-82734EFAEDF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3062e6e94673f2f6af7ee472f0059c78a365901d","datavalue":{"value":"10.2168/LMCS-8(4:8)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166229$BCD01961-E05A-4649-8918-486A4D566ADD","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":"Q3166229$A5625B5D-37F4-4444-8DBC-2E47690950FF","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":"Q3166229$8C1BA6BD-DD50-4DF1-9885-4D67ADF235A0","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":"Q3166229$9F415FC0-B0DF-4D08-8414-547E23070BA4","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":"Q3166229$B34E8D96-FC6A-49A1-A4AD-7FE1CE0E5251","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166229$EA3E7E81-6332-46E8-81FB-55E0A948B387","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8404257a30e43f4422f9bf6490e771e737e94e6","datavalue":{"value":{"time":"+2012-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3166229$AFE63F7B-7F6A-415A-B9B0-7886D0BBB841","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166229$880A2C03-CBEF-4A9D-B23E-8251BB544DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166229$640AF31A-D962-4F96-BCC0-A7338A553406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166229$F023B107-1D8B-4AAA-B080-261F1B3D03F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6b67db2f6a8735d50b854b9d541f860eb9aa632","datavalue":{"value":"6096744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166229$761B718B-7D90-4D7F-A18C-FDBE4B5AC5A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6cd096fbe51368a7529e7609cb813ad3c29a70e","datavalue":{"value":"conformance testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166229$752AB52A-25E6-444E-AB5B-4EE07851AE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166229$71C6439E-1A08-477B-96FA-1B2F49AE0688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"645ae8fabef2013167a294ff9acf303368b62840","datavalue":{"value":"partial observability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166229$449764F8-84B6-4747-9F1F-E305C8F66E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73ec4010bc5f94c254ecfa9d05dd65480e3c7823","datavalue":{"value":"urgency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166229$5FD5E6FC-9A9B-431C-9147-C437FAC3BC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69ac6e09c89b3a7a3bb6aba692981a348cdc1d8a","datavalue":{"value":"approximate determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166229$766FF2EC-AF0C-4D0C-A9E3-C84B54189F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b53c552f034f0759ded21ef7d92b5c6222376092","datavalue":{"value":"game","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166229$A0C519FD-B719-49BB-B37E-402F313C1955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95dc9e4b59e06eb602de5a49e57e3fb95cc7872a","datavalue":{"value":"test purpose","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166229$1162456C-6385-4C5A-8727-6CF7A67C5BAB","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":"Q3166229$11BE50FC-9693-4A6A-9621-34A6E760A6EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b80c5022c6ee79b946d22acb42b846e4e0a5ced6","datavalue":{"value":{"entity-type":"item","numeric-id":3000640,"id":"Q3000640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc46660a5f61a39fe23b79fcf9ec8497afbe488","datavalue":{"value":{"amount":"+0.99999976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3166229$E920BE95-34B1-4402-93C8-8EDE04A8EE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"394be98bb0de35046539e13494316e47d4eea3fd","datavalue":{"value":{"entity-type":"item","numeric-id":1758706,"id":"Q1758706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2cbc7831e3b9e783fdb0055f74f84750a7fb48d","datavalue":{"value":{"amount":"+0.8639682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3166229$C89787B0-65CE-49C0-BD99-64682E1F592B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa088d0fa2b5d03ad7e6e70454ae6098fc1983e","datavalue":{"value":{"entity-type":"item","numeric-id":3152932,"id":"Q3152932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c1bdc687babe733529131cc2aea1442b627ae8b","datavalue":{"value":{"amount":"+0.8537624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3166229$B689BF0C-4D89-4347-B6CE-96E0D539D80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e34ddae455133b6aff97d868c539098b80edfb4e","datavalue":{"value":{"entity-type":"item","numeric-id":2279118,"id":"Q2279118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7279d0614ab81c152a0390d807dd3607e82d0168","datavalue":{"value":{"amount":"+0.8456825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3166229$F2432C9E-BED7-4FD2-9B81-75B3441D594A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001dc6cd15a1c008b5c769c788cb4bfaaead2353","datavalue":{"value":{"entity-type":"item","numeric-id":1399974,"id":"Q1399974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bccb3ad933bc4c92da64391b153410f236faefa","datavalue":{"value":{"amount":"+0.8420646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3166229$2A18E0DB-D1A4-4227-BD61-054128EB4EB7","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":"d33f2e9dcf3061a83f0d3b88745b8dd300bc0bd7","datavalue":{"value":{"amount":"+0.8407395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3166229$E4B51F50-67FB-46ED-934F-6A3546E9C1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d23cb6d973f7a671b75118a47c6152a6f817e9ff","datavalue":{"value":{"entity-type":"item","numeric-id":4437066,"id":"Q4437066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e059cabbebc495c90ad94861716dce3d9654f9fd","datavalue":{"value":{"amount":"+0.8406168","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3166229$7B1AAFE8-45B0-461C-B0BF-3761584D1B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1434798dfd9c93a9198252345f82afa163e2c25","datavalue":{"value":{"entity-type":"item","numeric-id":5464743,"id":"Q5464743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f9122f2e17b57b37c4971a3493975b351004b13","datavalue":{"value":{"amount":"+0.83780265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3166229$BA0BE0AB-2279-4982-8DBB-88E16B28B50B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Off-line test selection with test purposes for non-deterministic timed automata (scientific article; zbMATH DE number 6096744)","badges":[]}}}}}