{"entities":{"Q1084079":{"pageid":1094831,"ns":120,"title":"Item:Q1084079","lastrevid":66698307,"modified":"2026-04-12T12:11:33Z","type":"item","id":"Q1084079","labels":{"en":{"language":"en","value":"Seven-symbol modeling of asynchronous automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3976935"}},"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":"Q1084079$8513DE35-93DB-4A4D-B78C-7FD6E2C8E54F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"250617a6b6eea07f58eb5e438da746b612ad9e53","datavalue":{"value":{"text":"Seven-symbol modeling of asynchronous automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1084079$133D43F8-3A8E-4297-A53F-DE5BE74F2856","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87c834df4d517988e1f4664c7480b1f9bcf25564","datavalue":{"value":"0604.94012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084079$E6A5D977-FD6B-47C0-BEAC-79F9A65BE736","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7a01fd9326b8400f3afe634cc48a883a6d666d7","datavalue":{"value":{"entity-type":"item","numeric-id":1084078,"id":"Q1084078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1084079$686E24D6-0DEE-426C-9736-ED5A46037884","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":"Q1084079$E76A5654-E9A4-44AD-A9C9-26A55EA30B3B","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":"Q1084079$8B593D0A-6516-4C1A-9A8D-CEF7B448BD5C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"38f2c009537eaf0cce87b410174dddd91af50b10","datavalue":{"value":"A seven-symbol alphabet is introduced. Substituting a seven-symbol vector into a Boolean system is defined. A seven-symbol modelling procedure for asynchronous automata is examined and the possibilities for using this modelling procedure in diagnostics is discussed. An example is presented for realizing a seven-symbol asynchronous automaton model described by the DNF system.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084079$4CA60517-B509-4333-A371-94AA402B0D97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084079$257E07A7-0C52-4F19-B36B-3D3DDB791ECD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cff11a915f18f29c94f7acd1d06d6336033986f7","datavalue":{"value":"3976935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1084079$63B0365D-01A9-4C3C-93B6-279540CDC704","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5829c15f0710ed2bfab7d30310f5ac75b503cfba","datavalue":{"value":"seven-symbol alphabet","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084079$D18A2421-BB9F-474D-BCB3-550ACC39514C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02146ddecab204e77c3246cfe73f74b855a53dbf","datavalue":{"value":"diagnostics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1084079$03165EA3-B362-4897-A408-6D3ECF99CF1B","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":"Q1084079$E3BE4AEC-3E1D-460E-B74B-3F58EACE4E13","rank":"normal"}],"P1643":[{"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":"44db5374d527260f70e88c9dd62045ee6acdb760","datavalue":{"value":{"amount":"+0.7583316564559937","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":"Q1084079$BC579FC6-BA0D-499A-83B7-799694E3A6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57e7957f73985a4d7fc483b54a8f050724650d8","datavalue":{"value":{"entity-type":"item","numeric-id":3159319,"id":"Q3159319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1302ea33850283517a9d7a57f9faa4e6a846c8ab","datavalue":{"value":{"amount":"+0.7444866299629211","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":"Q1084079$559779B6-CA4E-464F-A3DB-DA835B6424C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3807768cc1658102c8b142a1c7b92a49411ac2","datavalue":{"value":{"entity-type":"item","numeric-id":3887354,"id":"Q3887354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e955c0d5a348801f4a0f8e1fccaaec1fc42aa5","datavalue":{"value":{"amount":"+0.739898681640625","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":"Q1084079$44E3DEF4-45C2-4D3E-A7E4-C880F4873A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d7cd8370b9bd16027cf17a3856360a40e06491f","datavalue":{"value":{"entity-type":"item","numeric-id":4528873,"id":"Q4528873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045fea5e382a6ca295028a99cf060162dd198784","datavalue":{"value":{"amount":"+0.7348501682281494","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":"Q1084079$EA0A7F63-C3E1-4923-BEE6-51292F68F60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32300a2263a2f0952d0a24f74563cfc6458293a3","datavalue":{"value":{"entity-type":"item","numeric-id":1173081,"id":"Q1173081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14d4cc9bb1557e5974628714268d91651d805440","datavalue":{"value":{"amount":"+0.7306555509567261","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":"Q1084079$C3F14C2F-AFC8-439F-801B-8A01DCE3B756","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Seven-symbol modeling of asynchronous automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Seven-symbol_modeling_of_asynchronous_automata"}}}}}