{"entities":{"Q413312":{"pageid":415079,"ns":120,"title":"Item:Q413312","lastrevid":51459263,"modified":"2026-01-18T08:32:08Z","type":"item","id":"Q413312","labels":{"en":{"language":"en","value":"Tight bound on the length of distinguishing sequences for non-observable nondeterministic finite-state machines with a polynomial number of inputs and outputs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6030971"}},"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":"Q413312$1DB68BD4-19CE-442E-8DEB-3980E77BFFF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fcbe5086e10ff1b16797c32887858d02a64071c","datavalue":{"value":{"text":"Tight bound on the length of distinguishing sequences for non-observable nondeterministic finite-state machines with a polynomial number of inputs and outputs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q413312$E631F02A-E537-40F6-A578-44973CEB2D14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44f25e950a0201f64d09d45f70bc92f29768b6c3","datavalue":{"value":"1238.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413312$37D2AC3B-CCED-4418-842A-EE3D7F65F03F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eec44319f5f4bfb5119a6e5e817cc619ebdee57","datavalue":{"value":{"entity-type":"item","numeric-id":413309,"id":"Q413309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413312$AC07FC77-5DD5-4D6D-863D-F5D569A29451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d1e9d1afb50bb50a42229c9a97c1d3116256705","datavalue":{"value":{"entity-type":"item","numeric-id":413310,"id":"Q413310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413312$6DB544AB-1595-467E-A495-CF0A3456D4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb030b6bef47f639d81b33db5972d6ffedf1411f","datavalue":{"value":{"entity-type":"item","numeric-id":413311,"id":"Q413311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413312$C6414CDA-D26E-4B20-8783-A4F96E7B88C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413312$2B8AB89D-B733-4424-A7F3-52028A3F8452","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d0f2e18c1df897dbb15de5492927d1ae63c4ec2","datavalue":{"value":{"time":"+2012-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q413312$CB14CE87-41B1-4D52-A962-88EDFA52DF86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413312$3E1FC3AD-0F0E-48AA-8C96-E629CB4AD51A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c491e3a0265ad531f82a22e084cf584b35e470fb","datavalue":{"value":"6030971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413312$00CAE894-150B-4E15-BB53-80AFD09FC521","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q413312$59BEE600-C1AE-4BAD-AC8F-553DE1C1431E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ae7a17d6d821d6c46447273e510d20795d00cc2","datavalue":{"value":"nondeterministic finite-state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q413312$1BC04ED9-D2A9-4902-8EF9-E3C3440B7BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"794197b675cd4668eba35b1292aa17106ee824e9","datavalue":{"value":"non-observable machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q413312$B0AC3884-51D0-4F59-9651-978E7B8A443C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86486df45ff4cfd79cd91cb230e522dc53e84919","datavalue":{"value":"distinguishing sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q413312$D7E61262-21BE-467B-9653-63FD6FC7AE24","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":"Q413312$09145713-3249-4F6F-8AE5-591A8A908666","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cba163a861d736f92b56e46e33615afd2e37d0d","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2011.12.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q413312$1F4E760C-1A4B-4A1F-8343-8993F18AA124","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30fb52361740859f3859aa8c22c32e195da8a2a3","datavalue":{"value":"W2084815378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413312$F4E5E6BB-57FC-4B37-8DAD-0D989CA01E4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d57dd219b914db994a7343954a1aab238bc9b270","datavalue":{"value":{"entity-type":"item","numeric-id":5553288,"id":"Q5553288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413312$7E0DAF74-13FF-47D2-8646-CE7BE722AB72","rank":"normal"},{"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":"Q413312$E32FB9C8-5645-4D13-AB1D-F4F8C66E9C80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae380ccfa06a760ea033d724c198323b8fa49027","datavalue":{"value":"10.1016/J.IPL.2011.12.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413312$B825AFBA-1489-44E0-8AAF-9B47E9CD3590","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b1b0839f14810299f1635a3151e954d5511737","datavalue":{"value":{"entity-type":"item","numeric-id":1707350,"id":"Q1707350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1df48414b034121037e5b24d708c43ce92cba2bf","datavalue":{"value":{"amount":"+0.7926852107048035","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":"Q413312$AB127BBC-BCA3-4961-A72C-1339F031D771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46767bc460dcf2bdd9ba3a63ad943339494e5f6a","datavalue":{"value":{"entity-type":"item","numeric-id":5200066,"id":"Q5200066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c5d4c78a669c8e004d142f40329b6164e227194","datavalue":{"value":{"amount":"+0.7527815103530884","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":"Q413312$DA6A43CF-A163-4579-BB4D-AC5EDFB326C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61b89887168eb7ede02ee454c00f9a15bf0a5af9","datavalue":{"value":{"entity-type":"item","numeric-id":5327497,"id":"Q5327497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ae23b78c50256654eef2118d27e95516144bb6","datavalue":{"value":{"amount":"+0.7454351186752319","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":"Q413312$24EA71E7-5F67-43C2-8CCA-2256B9AD8394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e23ca42f725b2883f77440d54d3ca5812f4ec4","datavalue":{"value":{"entity-type":"item","numeric-id":2947421,"id":"Q2947421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5672c2281dbdf991270bb4fe1692c7b6a1d11b5c","datavalue":{"value":{"amount":"+0.7343021035194397","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":"Q413312$2937079D-A951-487B-B375-E747976CFAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a734a2a5036f58034c3b6f167172ca680727e520","datavalue":{"value":{"entity-type":"item","numeric-id":300305,"id":"Q300305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5a1c2d7f22c030c8a2e7a2501a0e5e8dd65e17e","datavalue":{"value":{"amount":"+0.7210202813148499","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":"Q413312$9E963CFF-C19D-425D-9915-3E0EBC3526F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:413312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:413312"}}}}}