{"entities":{"Q1996572":{"pageid":2007314,"ns":120,"title":"Item:Q1996572","lastrevid":72264894,"modified":"2026-04-14T03:44:14Z","type":"item","id":"Q1996572","labels":{"en":{"language":"en","value":"Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7315728"}},"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":"Q1996572$664A266D-1807-4B1F-B535-F304CF28A11D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"681f8a0a64893dd15e4b1060572750537dc9a100","datavalue":{"value":{"text":"Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1996572$0E9E3A52-39BD-4B0B-A0FE-BC7EFA65A0E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3456204d47041766de4f910febf6101718438905","datavalue":{"value":"1458.93105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996572$4A89B549-A752-4967-A4EF-D2EF390E0937","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"416f005af1cbfa3e5bec0ef58b612c70b7a8bfc5","datavalue":{"value":{"entity-type":"item","numeric-id":389821,"id":"Q389821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$4E726280-9009-483D-AD33-6A466891F6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f86077a1a9ed0f1b69e3e293c0709105f27d50a","datavalue":{"value":{"entity-type":"item","numeric-id":903568,"id":"Q903568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$35774FA6-4691-49F0-A3CF-6AAED46A476F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a25a7279cb33e83d4ab8bd40f82f970dec0120ca","datavalue":{"value":{"entity-type":"item","numeric-id":993075,"id":"Q993075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$A8A7B684-D74E-41F9-BB13-B28168A62935","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a51b97a52c84c260f189b05761c3359b0f8838c1","datavalue":{"value":{"entity-type":"item","numeric-id":164292,"id":"Q164292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$51C0E63B-4B15-4D18-B859-25E73124B68D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7716e174097c03884ee14ca3623e4bc6a43fdcc7","datavalue":{"value":{"time":"+2021-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1996572$47938767-2031-4ADC-B148-088223511E9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"77b6f3a09ce6a9fd528d2c275014166cdafa58c7","datavalue":{"value":"93B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996572$ABB66E3F-E4C4-4B41-AAF5-9D4D52FD3FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996572$649B4EC9-0A17-49D2-91C8-26BCE388528B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1462a31f241cf53ee15c458a1bd710ad434d2d18","datavalue":{"value":"7315728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996572$D2DCBCF1-7D0A-4D7E-B913-19D5012BE89E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab277e39a0b114d84bb5f3b7aefd1ea3cecde3ae","datavalue":{"value":"model matching inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996572$B87FE53D-F371-4D37-822A-D60E162D9196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b2948070262a92a560609bd836e3c3bd8d68d0b","datavalue":{"value":"input/state asynchronous sequential machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996572$64A86D08-1991-400E-A748-94FBFA50EEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca63075e2f3b74f2b7289edb12fbc8ac6fbecc20","datavalue":{"value":"limited reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996572$85F4CFA9-F176-4F7B-8CCB-A2DE5A176103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60fd5e79415dbaf06700d90f9aed37f0cc4edd70","datavalue":{"value":"asynchronous error detection and correction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1996572$C1BC4AF0-C3EA-43F2-BB1F-858A7F40D672","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$A19E57BD-F5B8-4843-A9A2-4FC41C26E598","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":"Q1996572$4EEB5762-C5D3-4409-BBB9-FB4F8A26A7C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"000833c4b85066958b33300d40ac10566654c767","datavalue":{"value":"https://doi.org/10.1016/j.jfranklin.2020.11.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q1996572$7477CBF5-90EF-4A7C-A9A1-B2FB7267D3E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32aa306eb56922b25e3629650410641050061ce8","datavalue":{"value":"W3109115372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996572$4319442B-C1F8-4D63-93A2-9033D8B6691E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0c0c960cc2f5bb6555496e63ca56fc436f9797","datavalue":{"value":{"entity-type":"item","numeric-id":5274236,"id":"Q5274236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$2F632B5F-7EC3-480E-82CD-BC5216C849DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5707e59f5f769f093b66650af387e4a51fd59db","datavalue":{"value":{"entity-type":"item","numeric-id":5353417,"id":"Q5353417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$EF6CE4E2-9A26-4B0A-A5C9-5C424B12C0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc9fd2d8fe48ed56d782e822376169c861d32d0","datavalue":{"value":{"entity-type":"item","numeric-id":2181323,"id":"Q2181323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$BE95F521-4441-44A1-8A18-B1901C546C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb47019794fde040a265a271db5bef8818b7e4de","datavalue":{"value":{"entity-type":"item","numeric-id":5266838,"id":"Q5266838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$28A22F40-1286-41D7-B08C-1C4C72CFECDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f170e9ec6ad2e1c3244b48580e5ae94aa7406cd5","datavalue":{"value":{"entity-type":"item","numeric-id":5491422,"id":"Q5491422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$B48537C0-712A-4B7D-899E-71CA52A089AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e640b6ffff023afeac988e6de3949708838218c1","datavalue":{"value":{"entity-type":"item","numeric-id":3550781,"id":"Q3550781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$DD394231-D3A8-4B7A-AB23-A95AFAF01DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405787fa7de9afc9253f55dffeec8e5ff9ed41c8","datavalue":{"value":{"entity-type":"item","numeric-id":1937325,"id":"Q1937325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$E8C2D8D2-8FD2-44A9-8D96-79E35F2466FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e1d55296f4c66d19ab3fd45fe0ddc08b654bf6","datavalue":{"value":{"entity-type":"item","numeric-id":2792709,"id":"Q2792709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$62C3C904-EEB6-44D5-A81B-663740D80B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c64abe537bd9bb2b6b13505df91bab05b6ccd29","datavalue":{"value":{"entity-type":"item","numeric-id":2288672,"id":"Q2288672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$4FB51354-688A-41DD-BA5E-4CDD28CA9D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a42759c00c47e426404c0466003e611e75be5ac","datavalue":{"value":{"entity-type":"item","numeric-id":5197948,"id":"Q5197948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$F83BEA5D-9644-4AE1-B12D-912D1730ACBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952148b00945973b45ee706eb755c0130db8520a","datavalue":{"value":{"entity-type":"item","numeric-id":716144,"id":"Q716144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$4D9FB30B-7875-473C-A5C2-39FAB9D3E3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$FF0683CB-3266-4BBC-973F-D891E338D109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$1DA167E8-5913-4EEB-9D84-A3320663FF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4ccd8c1e4bfc41e0bd0d2c0d8d5f2b076d4a528","datavalue":{"value":{"entity-type":"item","numeric-id":2316509,"id":"Q2316509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$D75C3D1E-09B0-4043-9AA5-0534E12F78A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"709c416cae9fb4f2b2f03c63f0e7dd7aaee9d391","datavalue":{"value":{"entity-type":"item","numeric-id":682817,"id":"Q682817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$BBBE8762-CD82-46C6-8F78-F1D7F1A3313C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6426ab690e4ff791833f78f825be0203811b878c","datavalue":{"value":{"entity-type":"item","numeric-id":503030,"id":"Q503030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$4D246F70-A9EC-4894-96C3-FDFEB2E14D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb3893ecef984bc1908437e21efc18a6c5950507","datavalue":{"value":{"entity-type":"item","numeric-id":1661727,"id":"Q1661727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$3334A00F-D99D-4FF4-B79F-C39E9CE801DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a3739040c93b6a5a84b2d662e078318ec2ea95","datavalue":{"value":{"entity-type":"item","numeric-id":2316516,"id":"Q2316516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$19731699-D014-4220-ABC2-F9DAA87FF1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7a8380c4807861d3b402070dba250d41b85cfeb","datavalue":{"value":{"entity-type":"item","numeric-id":389824,"id":"Q389824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$33D86C2D-E81B-498A-8B8C-28780A6D3FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff7a98b97312cbe0d8aa3bb87bc1c1495e91125","datavalue":{"value":{"entity-type":"item","numeric-id":2980676,"id":"Q2980676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$B4BFA137-44BC-4B09-99AA-26ABA7D44EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9616f7bcd313431b9989a5cbcc3fd2d1a65200","datavalue":{"value":{"entity-type":"item","numeric-id":4540239,"id":"Q4540239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$1F066905-3549-4BD7-8D4A-4FC8D5FDB800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f891d30ac67b91a0eda829c8a6ecb30813a072e","datavalue":{"value":{"entity-type":"item","numeric-id":5320670,"id":"Q5320670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$EBE32BFB-7ED4-4443-9511-66C810FDBAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e476d6d7dd2fc155208fba4e6d5697f47992ca3","datavalue":{"value":{"entity-type":"item","numeric-id":5280384,"id":"Q5280384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996572$42CD3CA5-6A45-4CE7-AB60-22B4EBF5D023","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbcbded8f5fae0aa9922224dd99a4b73becc4764","datavalue":{"value":"10.1016/J.JFRANKLIN.2020.11.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996572$DD38BA14-2D08-4F3A-A023-0DBB7CEBD72D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0287621da88094b73220b1ad1cf616173caeaba1","datavalue":{"value":{"entity-type":"item","numeric-id":716144,"id":"Q716144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1673eaad1cd39150f91e9b30538f0c4ded6b1229","datavalue":{"value":{"amount":"+0.911660373210907","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":"Q1996572$26A4E405-1F45-4DCF-A64E-6150D27C776A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d307983566419dea5f5eb3cd86502ee21bae8b","datavalue":{"value":{"entity-type":"item","numeric-id":6171355,"id":"Q6171355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19aa158eca4a0c16f5195af1ee2854681c8939ba","datavalue":{"value":{"amount":"+0.8571386933326721","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":"Q1996572$142FCEEA-3F9C-40C3-BB93-71F964655835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ce9c924e833f97c7e9c90da8c2bed2331d621f","datavalue":{"value":{"entity-type":"item","numeric-id":2203083,"id":"Q2203083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57045886691e8b052a9a5ee45d46d614785de9ac","datavalue":{"value":{"amount":"+0.8533615469932556","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":"Q1996572$3960076C-66CA-40FD-9DA4-81A0601F5CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12904d159083a5b34313be729e28dc9297165ef2","datavalue":{"value":{"entity-type":"item","numeric-id":5026583,"id":"Q5026583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90a4cbf574c4f2970127f51c203777e6febef7ef","datavalue":{"value":{"amount":"+0.8511086702346802","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":"Q1996572$A5066B2D-F714-4CD7-A178-C676056166FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c264a0e9f8866c0c65bde47c6bd0fe5bb0c3e657","datavalue":{"value":{"entity-type":"item","numeric-id":2094977,"id":"Q2094977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e9f90624ace4018b39e1f444f7f74826f3dd94","datavalue":{"value":{"amount":"+0.8301569223403931","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":"Q1996572$EAFCBA5E-82A0-4688-8CF4-73D3BDEB2BB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_matching_inclusion_for_input/state_asynchronous_sequential_machines_with_constraint_on_the_length_of_control_input_sequences"}}}}}