{"entities":{"Q1821763":{"pageid":1832505,"ns":120,"title":"Item:Q1821763","lastrevid":73385352,"modified":"2026-04-14T15:43:13Z","type":"item","id":"Q1821763","labels":{"en":{"language":"en","value":"Designing tests for automata networks from signal sequences. I. Calculus of generalized asynchronous sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3999835"}},"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":"Q1821763$8528D904-C4B9-4C2C-BC2C-6FA0212080C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35232077c4105b6b44c2487ec7de5bec74d2ddf7","datavalue":{"value":{"text":"Designing tests for automata networks from signal sequences. I. Calculus of generalized asynchronous sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1821763$51DA1D89-E08C-45EA-85E1-FFC6470DAE61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2966b58d780860ef9aade618b6eb3795792f2aa5","datavalue":{"value":"0616.94017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821763$6E438A09-F5EF-4DC3-B956-4AA8BFB2B356","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4e507fa899225cf59ed8dfd36d48f964c16c91c","datavalue":{"value":{"entity-type":"item","numeric-id":1091353,"id":"Q1091353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821763$E2013C12-EF86-414E-9EFC-F8960986CE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dad964f8176953446536fe5a3815a0e786463d2","datavalue":{"value":{"entity-type":"item","numeric-id":1091354,"id":"Q1091354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821763$7C3F0247-57BE-4335-AB6D-2A6C9323DEAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33359fd8a77e9cce0cfaf7c91dc047e11a0fed75","datavalue":{"value":{"entity-type":"item","numeric-id":109332,"id":"Q109332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821763$414EC01A-DB5F-45C2-BF72-A3C1260C41B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1821763$B433E187-C1B9-4685-A760-03C8888B6EC5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a293d04ce9d143b9e90ff21163499d21a07bf5b","datavalue":{"value":"A special language is introduced for describing the operation of memory elements and discrete devices in general in which their behavior is specified ''linewise'' rather than ''setwise''. The proposed systematic procedures provide a basis for a new class of test design algorithms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821763$913A1D82-AB3E-422E-B5D4-CF6E4F8616B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821763$061AEDCC-1F6D-4E07-9F89-23DBDF4A2948","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9431c7a3f6656689f7dba69cebbaef75f81ca07","datavalue":{"value":"3999835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821763$D0A4840B-9913-4804-9BE4-8F55F84163B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ee344a34a4c1b131b44f13952a0fbdbb347584","datavalue":{"value":"memory elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821763$06603E00-A919-467C-818E-D63F769251ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd5e2075c0593f79aca2e2494bc8888f2f24017f","datavalue":{"value":"discrete devices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821763$84CBB32B-CD84-4EF0-B60D-126D39491D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d87695b7e5f42dc3b46730fe7eb10014db60726","datavalue":{"value":"behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821763$DAF9FB5C-C984-4F2D-B3CC-B48A795ECFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac9d4c0e7538f9bf1f9f8cbfe31b32fe651b114b","datavalue":{"value":"test design algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821763$EB743A16-C28A-4A46-9C75-7BF4235BD9A8","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":"Q1821763$5FB4C4D5-F119-4ACD-BFBC-14024FA597B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"299029a2f91a53b9825eaf94344592ae749f7917","datavalue":{"value":{"entity-type":"item","numeric-id":1091355,"id":"Q1091355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e3543ed227b74bdfa4caae2a0f2c71bdae5a1db","datavalue":{"value":{"amount":"+0.9309735298156738","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":"Q1821763$0F7F14F6-3B90-495E-A105-52538B1AA50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a5ce0604dc8cc935f415c73074a38799cc36f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3783222,"id":"Q3783222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f7a77c60149bc04c5241adb8a54b1bc76a1281e","datavalue":{"value":{"amount":"+0.8125349283218384","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":"Q1821763$D67575F9-FD60-47B3-B67D-92C651CF642A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d306aa2e75419d65275ff5db331dfd1ebd68ee11","datavalue":{"value":{"entity-type":"item","numeric-id":1077378,"id":"Q1077378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc1837528431f6fb34d278d43a186fe60ec6ec86","datavalue":{"value":{"amount":"+0.7914794683456421","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":"Q1821763$AF5C401A-C414-445E-8F27-E03BE8DF2A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0090f4f78fb4df8f797f6d218e5b26c88e971453","datavalue":{"value":{"entity-type":"item","numeric-id":1913113,"id":"Q1913113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e76695047f61ea22aa9fa3a88ccbe98b41905f","datavalue":{"value":{"amount":"+0.7712695002555847","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":"Q1821763$49AFB208-6AE2-42E9-92A7-3519BD7ADE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8227c7f7cd3bc3578f54c83f3d1f4611b28e4d","datavalue":{"value":{"entity-type":"item","numeric-id":1057238,"id":"Q1057238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b1c0073f8d72a8f709ee4d63789e85a1bb9cc6","datavalue":{"value":{"amount":"+0.770469069480896","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":"Q1821763$622B769E-398D-4437-B154-97EAF38CFB58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Designing tests for automata networks from signal sequences. I. Calculus of generalized asynchronous sequences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Designing_tests_for_automata_networks_from_signal_sequences._I._Calculus_of_generalized_asynchronous_sequences"}}}}}