{"entities":{"Q6042246":{"pageid":13176402,"ns":120,"title":"Item:Q6042246","lastrevid":93742052,"modified":"2026-06-05T05:01:16Z","type":"item","id":"Q6042246","labels":{"en":{"language":"en","value":"A matrix method for detecting formal solutions to the problem of algebraic synthesis of a finite-state machine with a datapath of transitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7683867"}},"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":"Q6042246$A50AECEE-F425-489B-8CEF-55B1630AABD9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c30fe607787136c7bac3cca6fa45cde86e27db8a","datavalue":{"value":{"text":"A matrix method for detecting formal solutions to the problem of algebraic synthesis of a finite-state machine with a datapath of transitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6042246$41B46852-E6B6-45C5-B43D-7D9AFB958BE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1787e6a5f28b6bea6e43eba65c747168baa4e069","datavalue":{"value":"1510.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042246$176FFA9A-7E4A-4B7F-A69B-2A75DE5957A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddfe2612ee3f80060df696d9019e02b48e2dbabe","datavalue":{"value":{"entity-type":"item","numeric-id":314985,"id":"Q314985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042246$BCEDE831-9800-4649-8436-73AC0249569E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d01d5910d7b08875be97e5a96dbcc41b779ad22","datavalue":{"value":{"entity-type":"item","numeric-id":545920,"id":"Q545920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042246$CB7FB35D-0072-4BDB-A658-10976FDA7898","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042246$967A6481-FBAC-4FFB-A51D-85FE3ECEBEFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7d6049eaa6093af47d5b3a8cb7b215d4a96b2b8","datavalue":{"value":{"time":"+2023-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6042246$BACD9213-CFA9-4531-93EA-DB125703B480","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042246$9B29748B-3F73-45AC-8342-4E0FD8326E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042246$90A018D7-7B97-44D4-A642-DD8C1224D5B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce900ec780f924056a98bb7d6fee1cfe3a079043","datavalue":{"value":"7683867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042246$1D77C17D-52B4-469C-BAFE-2B1805C2B48F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34d0eb7b2352b0bb1ae5c8c5ed76f5187d80ef8b","datavalue":{"value":"finite-state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q6042246$9D2887EB-4445-46E2-818D-9628A4780A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1db62643f3cff25ba46a8e3ba792a41e86fde0a1","datavalue":{"value":"datapath of transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6042246$694F703D-CC81-45AA-8218-3E866A24F261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39bdd1e87be0ecaa23c400df496c6d63bcca3f8","datavalue":{"value":"graph-scheme of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6042246$5223124C-1F7F-4035-98BC-88CBF8FA2E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe1e71850f2ac7e41d295d3f65d7a2d2e49491be","datavalue":{"value":"algebraic synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6042246$F239A0A4-7BBB-4FFE-8409-5AC3B72F2857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cbf8390254c02f0495069d07d45227d80ff8666","datavalue":{"value":"matrix of transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6042246$59E2E0C0-642F-4807-ADF2-053F2958D595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"757e4211eb9ebd1eb641ef207079378b5c935a57","datavalue":{"value":"merged matrix of operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6042246$1DEDF9E4-4187-4BAA-8D19-6A8EE0102BB2","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":"Q6042246$C3D2D319-A44E-424E-B7B1-F4C182769A21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f323e5ac9c754b7836ef73b2956c6975b2b2f76a","datavalue":{"value":{"entity-type":"item","numeric-id":1795502,"id":"Q1795502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042246$75D02CAC-2A99-4DD1-97A2-57BCA973128E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6e05e31a464255047b42fb6d417f8d69425bd3a","datavalue":{"value":{"entity-type":"item","numeric-id":314987,"id":"Q314987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042246$2D27DD96-DFAD-41C8-96EF-634A43313176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd55b7c96ab024df32e8a759cf39adc9e155e40a","datavalue":{"value":{"entity-type":"item","numeric-id":2320248,"id":"Q2320248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6042246$4282CE31-1C50-41CB-B895-433B0494D8A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14716570cc6c5b30fb414fc44ad53f658da2c122","datavalue":{"value":"10.1007/S10559-023-00554-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6042246$FB461C5B-63F8-4366-B89C-A6C66424525B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"984e6e77ef697a7790a00e3a914387d184cd1a11","datavalue":{"value":{"entity-type":"item","numeric-id":3904536,"id":"Q3904536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baa8a3b9025f3515d213c739e9916c162ec75795","datavalue":{"value":{"amount":"+0.7307016849517822","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":"Q6042246$EFDA9A95-CDC6-4B2C-AB08-1FA1CCB069A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45fd9b132bf802fee14613b666a24216aa544082","datavalue":{"value":{"entity-type":"item","numeric-id":2320248,"id":"Q2320248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98cf8884b23c6f03c3d0c1246e1f8f82f9395117","datavalue":{"value":{"amount":"+0.7257360816001892","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":"Q6042246$51B6B7B3-1B0F-4B14-8382-055E828F7789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a231d5dc112e772adb9997c8149d90ce0260160","datavalue":{"value":{"entity-type":"item","numeric-id":5420937,"id":"Q5420937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046e6e4cb2f158b700001ba66dfe2d85619bbbb2","datavalue":{"value":{"amount":"+0.7091278433799744","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":"Q6042246$3CB2133D-5BFD-46D2-A047-EA37C31583A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faac8258a5988f1f7bbf1627ae667256e87ec092","datavalue":{"value":{"entity-type":"item","numeric-id":3805916,"id":"Q3805916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ee314ce70206459c346a50989f86f74bee0653","datavalue":{"value":{"amount":"+0.7000831365585327","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":"Q6042246$EA1F68A5-FA4F-410E-B4A1-2B7EA85CFA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f4831e9c25c6c67e6be99896318d3505c289a3","datavalue":{"value":{"entity-type":"item","numeric-id":1735294,"id":"Q1735294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6780a5a044974af14a0b548c16602490ed1ece9a","datavalue":{"value":{"amount":"+0.6977693438529968","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":"Q6042246$C9E50A6F-ACE5-4460-B2F1-2ED21561CADC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A matrix method for detecting formal solutions to the problem of algebraic synthesis of a finite-state machine with a datapath of transitions","badges":[]}}}}}