{"entities":{"Q1758706":{"pageid":1769448,"ns":120,"title":"Item:Q1758706","lastrevid":51598100,"modified":"2026-01-19T00:13:13Z","type":"item","id":"Q1758706","labels":{"en":{"language":"en","value":"On deriving test suites for nondeterministic finite state machines with time-outs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6107909"}},"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":"Q1758706$3043BD32-FD64-40B2-A3F5-73F6EEC8128A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1cb448bfecbed55ac629dc6f8c29cba05c80ae9","datavalue":{"value":{"text":"On deriving test suites for nondeterministic finite state machines with time-outs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1758706$E5E4E1E5-BF12-49C9-A6DC-EFF1C297FB3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36a5375cdcd0bc53f29a71117d3ea9a77cc8aa2e","datavalue":{"value":"1252.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758706$9A2AB009-CC64-4B9F-9D92-2BBAE9E5BAB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f182bb7703f0610e9c24142c683d6e2b4158bec9","datavalue":{"value":"10.1134/S036176881203005X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758706$D217A08A-2BFD-49BA-A02F-D600DC039D23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"247eb9e56c67ec5ef3bd2777dbbb04f7958dc6b4","datavalue":{"value":{"entity-type":"item","numeric-id":1758704,"id":"Q1758704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758706$0CF23296-54B0-4D74-B7E1-D089A5D2BDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"668282a510ab09a60a67e7b4221c85a5985e2ad0","datavalue":{"value":{"entity-type":"item","numeric-id":1758705,"id":"Q1758705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758706$AFB71FAA-858B-4631-8658-571A161430DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758706$FAD54142-CC8A-4A90-A4A9-296159BAE082","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16d9ed1da0749c54273c05a4ba5499c71e474aeb","datavalue":{"value":{"time":"+2012-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1758706$46AC8DA6-CA6A-4CA8-918F-C0D5E8DE6EB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758706$0D16E376-6B75-4753-90DC-F299161A5073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758706$85976EF2-8D10-4A4D-97E7-0FC8995034D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f92101f6db6146094b56421f2f98b54388811beb","datavalue":{"value":"6107909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758706$D9E0ECC7-C6E2-49A7-90B9-8802F6D266F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef13d2c2f00283082fd772c561692032aff5db1d","datavalue":{"value":"nondeterministic finite state machines with time-outs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758706$CC58295A-8BFA-4279-B85B-33E8ACBF4BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41ab84cbb243572c98a017cbe6958916a13db1c1","datavalue":{"value":"timed input sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758706$C58C1B15-278E-4DCC-86C9-C4FE4502E864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476ef6e1be1a9e51bb4d83a7065f392d34c9f363","datavalue":{"value":"nonseparability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758706$C8837E86-EE22-4908-B8AF-E24B691884F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db6e6e804944f51b58d11f0d722a458e85bf3721","datavalue":{"value":"separating sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758706$BA28F441-48E3-48BC-A66D-86930EC10EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6640f47ea8cb86824c941347318b039a5694ef3d","datavalue":{"value":"mutation machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758706$CBCD6806-59D3-4B26-AD39-C6178ADDF890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89b1a0d54b214fe5e59a956082ec223d4562e606","datavalue":{"value":"test suites","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758706$237AABAF-2EFB-454D-BDAA-846F1EACDF44","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":"Q1758706$3CB7D861-B9E4-49D9-B891-B7D0A21944F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d3c4371d3227c7c5251d2c7dac9cc00b0d0f19d","datavalue":{"value":{"entity-type":"item","numeric-id":5541342,"id":"Q5541342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758706$98634A9B-7793-402E-A408-F1A511E53CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41137b9a3110c87e311e4f5973a89b83d5a25026","datavalue":{"value":{"entity-type":"item","numeric-id":2469174,"id":"Q2469174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758706$470CA70D-264E-4DFA-B0EB-55711E553158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"091fedcdc40f44ebcf4ea0e6e54990ad90932262","datavalue":{"value":{"entity-type":"item","numeric-id":1758682,"id":"Q1758682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758706$B36B2435-2699-4767-ABD3-52A272133F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1422672d05dbff9dc9c265645789f92f3291e4","datavalue":{"value":{"entity-type":"item","numeric-id":5632473,"id":"Q5632473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758706$ED2DD5B8-3343-4578-BC26-6A6FBA659D52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de70bbf63ba0c6fe369618c2f7d60ea742a6546","datavalue":{"value":{"entity-type":"item","numeric-id":5146107,"id":"Q5146107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d88eb8d74ba50b0f1ce34ae167f390b1bf731d4","datavalue":{"value":{"amount":"+0.8518093228340149","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":"Q1758706$A64FA884-1603-45A5-B274-E4B7EC1DC3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"687ac9f52f3b364535aff32a7849850bf644d9ad","datavalue":{"value":{"entity-type":"item","numeric-id":5146161,"id":"Q5146161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8166eb94450ed9c4abba9d8b16180ac792ee4f8b","datavalue":{"value":{"amount":"+0.8515537977218628","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":"Q1758706$A7587D27-D84F-44D0-987B-B6E263DFC2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff13f4af72941c3e63c6e56c00c57a8c421e1bc","datavalue":{"value":{"entity-type":"item","numeric-id":5414484,"id":"Q5414484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b00846b64075c799b5dc72f4782175b6d977401","datavalue":{"value":{"amount":"+0.8255932331085205","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":"Q1758706$7CD51C64-7D76-4BF1-A583-19C30D57885A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e094ac94cf223b49466fa4701cee74556d56cbb","datavalue":{"value":{"entity-type":"item","numeric-id":3522091,"id":"Q3522091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b6958f926f6e8619c89837913116e855e784320","datavalue":{"value":{"amount":"+0.7976574301719666","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":"Q1758706$B21DA4E6-FF92-4FBB-8BDA-CB4E102D3BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2342979202bc3b8a4c859fac1ba26f490fe668f","datavalue":{"value":{"entity-type":"item","numeric-id":1758682,"id":"Q1758682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bda217db512ae644907f2c1cb92ee306e53005e","datavalue":{"value":{"amount":"+0.7735474705696106","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":"Q1758706$3C734D73-B5B0-45FB-AB84-61CD1EDE05E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1758706","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1758706"}}}}}