{"entities":{"Q1758682":{"pageid":1769424,"ns":120,"title":"Item:Q1758682","lastrevid":51598061,"modified":"2026-01-19T00:13:11Z","type":"item","id":"Q1758682","labels":{"en":{"language":"en","value":"Synthesis of distinguishing test cases for timed finite state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6107875"}},"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":"Q1758682$EBB6CB94-EA15-4968-8E7D-BEC73D2E588E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c85d1d02967d10870c07b0bc0fee0858c19a24d1","datavalue":{"value":{"text":"Synthesis of distinguishing test cases for timed finite state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1758682$6CCE4C46-CEA7-4097-9D1E-96AAD91E3309","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3aa21e23bde26c37da565d8a134d4ba4f1fb5c7","datavalue":{"value":"1251.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758682$D87AD05C-6923-469E-8887-AED8FBC9B81C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb1461ccd7675f73e7ebca8f96e737b1f7ed6e44","datavalue":{"value":"10.1134/S0361768810040043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758682$667915EF-17D6-40D0-A4F6-D0C975E2AAB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb643b5a11eb3ccd06ec257dbf55babc2755030a","datavalue":{"value":{"entity-type":"item","numeric-id":1758680,"id":"Q1758680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758682$61ACB17F-1B1A-466A-9B24-6B02F7CA0376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec4be2baafc716f337e51f0df3da963d950029ab","datavalue":{"value":{"entity-type":"item","numeric-id":1758681,"id":"Q1758681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758682$9376B4A4-0DF6-415B-AB75-FE0ECE4BC3AF","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":"Q1758682$512ADE41-AE87-4FF8-805F-74C336BFEBD7","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":"Q1758682$0998639E-F02A-4066-B0A7-C588E6149E16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758682$0EF6C348-7EBC-42D9-B007-631985D647F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dff4fe73935b92a3a5356532912d729f17c70e20","datavalue":{"value":"6107875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758682$1F83912F-F0B1-4421-B56C-3AF9BC958503","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fae05ced63030a229642ca3bdc0f479742289e2d","datavalue":{"value":"finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758682$D024CD15-4ADD-4E1F-8F17-469188301F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c999abb66a99a2defacecce74fab61d945928dc","datavalue":{"value":"distinguishing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758682$B1CCBEA0-CF2F-4E3B-9E1E-39458B8E6BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758682$1EDD99FE-030F-4A5C-9960-8C13511C398A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81d64df4dc65657fde9832bac78c8eed35e0244c","datavalue":{"value":"completely specified reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758682$7502689D-6038-4D0D-BA04-A734816E8A7A","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":"Q1758682$F8350BDC-8B67-439A-B7AD-F531D50118B7","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":"Q1758682$2B44C128-E0F7-4D91-BD06-588501E66A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2780791d98c005bb8ebf69e36cb9dcdfd75b38b4","datavalue":{"value":{"entity-type":"item","numeric-id":5940921,"id":"Q5940921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758682$41054F26-12A9-49A7-A08A-4AE55912FD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685144b4eb15e2f9efb4205ce64a23f340700300","datavalue":{"value":{"entity-type":"item","numeric-id":4589595,"id":"Q4589595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758682$CE81CF46-D994-41C5-B6E4-C008D716D7EC","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":"Q1758682$3F7839C3-0CC3-4FC0-8435-A268204D293B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"375945d53279ba3bd449c119959570e6cf20fc1a","datavalue":{"value":{"entity-type":"item","numeric-id":4165287,"id":"Q4165287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758682$4D3BC960-A66E-4FE6-8E59-4F1A8974DA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9849242aff28ef1c82cdc09ed4607e857aa57640","datavalue":{"value":{"entity-type":"item","numeric-id":4234083,"id":"Q4234083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758682$E9F912C9-080B-4435-9A2F-1FB270737044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758682$744C170E-9D71-4EE4-8092-D283CDFDE2EC","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":"Q1758682$EB5EB376-A0B6-4E43-850D-9FFCB4D3D343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f374181708d4c413b3d44676712312cf60511d0","datavalue":{"value":{"entity-type":"item","numeric-id":4415904,"id":"Q4415904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758682$6C23AB39-B7F1-499A-BF0D-6354C6CCF1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"788dbbc73f1d1eeda905bae229ca9e7f1ace768c","datavalue":{"value":{"entity-type":"item","numeric-id":4245976,"id":"Q4245976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758682$2FDFB7BC-95D6-4E24-920E-36BC5DB64578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fbd0246ccd92887228ae4f6364f614170f1de35","datavalue":{"value":{"entity-type":"item","numeric-id":3434606,"id":"Q3434606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758682$8F25DA69-4F53-4218-94F8-6765243F9746","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e84677b132763467bb5daab40d0b29f01f1a43a7","datavalue":{"value":"https://doi.org/10.1134/s0361768810040043","type":"string"},"datatype":"url"},"type":"statement","id":"Q1758682$6776088D-18C4-4A20-8BC8-E157995F36FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ec4842f1a61628546c63496648dda466ab46e1b","datavalue":{"value":"W2036055936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758682$AF669FD7-5444-4C22-8670-9227326B110D","rank":"normal"}],"P1643":[{"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":"47b07ebe167f88a1b6333364d6e2241e91ff1849","datavalue":{"value":{"amount":"+0.87739497423172","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":"Q1758682$09B166F2-5A62-428E-98BE-C4A96EB29753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b43a3c8745374ebb1e7e8cfc838a836ae20ae3fb","datavalue":{"value":{"entity-type":"item","numeric-id":5146121,"id":"Q5146121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c36159f6d0f290724460e0e4ffe5f2e4c6adf4","datavalue":{"value":{"amount":"+0.8212765455245972","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":"Q1758682$98696163-D340-4DAD-A0A1-3CA72B606C47","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":"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":"Q1758682$7B502C4E-252B-47BB-AD9B-6ADF52F53C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e6b018beeb31b6000a2e11fc68359ffc6c1fdc5","datavalue":{"value":{"entity-type":"item","numeric-id":2469174,"id":"Q2469174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b672e974c71d8cd1bfee7134721e617342708d0b","datavalue":{"value":{"amount":"+0.7632430195808411","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":"Q1758682$87FE0148-E6B1-4E33-ADCE-F4DBDFD08D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82dba6518753c56b97595fc2c4300f4fc13d94be","datavalue":{"value":{"entity-type":"item","numeric-id":840063,"id":"Q840063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7140495f93b2ec5b308c5cd2d33847044ed0e01b","datavalue":{"value":{"amount":"+0.7594197988510132","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":"Q1758682$8871E249-0877-4D6C-BB1A-8C740DF1B3F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1758682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1758682"}}}}}