{"entities":{"Q2863892":{"pageid":2874612,"ns":120,"title":"Item:Q2863892","lastrevid":51885071,"modified":"2026-01-20T11:39:51Z","type":"item","id":"Q2863892","labels":{"en":{"language":"en","value":"Synthesis of Mealy machines using derivatives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235756"}},"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":"Q2863892$8F82843A-192E-4990-ABF1-9F94AE18F300","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8dd99a671f5db8d9150e1b97f337706ea5c7611","datavalue":{"value":"1276.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863892$22EBAEDA-6D75-4A0D-BB48-1388DDA81E02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daf07cf23f23c4637da7244b309b4bbc43d128e9","datavalue":{"value":{"entity-type":"item","numeric-id":618166,"id":"Q618166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863892$EDD61C1B-C0E6-46BF-9F83-9C0145CA20BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0d55b0ae939bec1c652022c35e64367efc9b0cb","datavalue":{"value":{"entity-type":"item","numeric-id":1236718,"id":"Q1236718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863892$91254A6D-1CA9-4566-BAAC-05F3ABE77447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa4f2c1db3cb0f04ca81dea1f1e9fb956669c43","datavalue":{"value":{"entity-type":"item","numeric-id":919833,"id":"Q919833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863892$47C20E33-6027-4DBE-AC4B-5511AEBBE0AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-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":"Q2863892$5A781AC2-08B9-46F3-A743-5831F8652805","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78c9dd4ffce7cd962b7da20fd329a7dabd0d8b43","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106004683?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863892$1C9EFA24-A67C-4533-B397-D85A28146D79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863892$BA8A1E21-4A98-436C-8221-4711A34D0FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863892$C7DFFC06-5D7A-48A4-A04A-163400F4A521","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c46c98a054f07b66ed8c16fa1fe261eb34007893","datavalue":{"value":"6235756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863892$F76850C8-929F-4524-8E95-A13AF8985500","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ee9b412c0b3ae68e5d821efb40f703a5fa92d31","datavalue":{"value":"Mealy machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863892$1A6D3193-1492-46E8-9C12-DF4F1A7655EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863892$B5C27E0B-DF10-499F-880F-ACDF8443CE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"869804c54fc67421013d4b873822c9383db054ad","datavalue":{"value":"derivatives","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863892$D94159C0-42DD-4A9E-884B-59E461CDCBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb6cfd82e4f7f4d67e785307127da4b6fc881c2","datavalue":{"value":"streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863892$2BA3E7D4-B8EB-436A-831D-ACB0D8DC65D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863892$C09B6748-3120-418F-AB0B-B954E8EFDFFC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863892$B190CD04-5FA6-44D2-981E-D4C0E112D595","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":"Q2863892$C456083E-2246-450F-B25E-FA5174B33D10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba6dfd30e4d3d7068b7319721a62654bb2f2ecb8","datavalue":{"value":{"text":"Synthesis of Mealy machines using derivatives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863892$C53B6528-D7AE-419B-B922-BDF06EF0CEB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd6a5fcc45a6605023d491622bc8c21a170ebcd0","datavalue":{"value":{"entity-type":"item","numeric-id":4621141,"id":"Q4621141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4de1639f9fc53d11f64db6cf2c3bc77ae6070ad5","datavalue":{"value":{"amount":"+0.8776305317878723","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":"Q2863892$8F89C787-A843-44E4-8C77-33E4EE104EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85b73f5939b9aa8a30c438078a5c90fce2804979","datavalue":{"value":{"entity-type":"item","numeric-id":5458362,"id":"Q5458362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8899fe3f3d50b44cf0956b5c9f90c0a4c307f9eb","datavalue":{"value":{"amount":"+0.8057281970977783","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":"Q2863892$48CE5263-3DCC-4412-ABE0-20EDC6AEDB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29cd6758cd856175c83bb1fb211f714f8a734a6d","datavalue":{"value":{"entity-type":"item","numeric-id":4818752,"id":"Q4818752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6385f76f460b2679a0ee86e2d5427fff43a0c72","datavalue":{"value":{"amount":"+0.7801163792610168","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":"Q2863892$3DE5009E-635C-48F8-9736-703114DBEE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23f9fbce92bd8f3465b2a87a93b70bf19127739d","datavalue":{"value":{"entity-type":"item","numeric-id":2165218,"id":"Q2165218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ceefd6e57f7ffd9be75f17ef75ae80ab647838","datavalue":{"value":{"amount":"+0.7518150210380554","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":"Q2863892$833BF373-3B5C-407D-90F1-B8EAC26F594A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1899c9c33594c3531fda6337ee026c94aa5c6db6","datavalue":{"value":{"entity-type":"item","numeric-id":3691066,"id":"Q3691066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad07a24cf1d1531dfcaca92dc780069159d2822c","datavalue":{"value":{"amount":"+0.7423281669616699","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":"Q2863892$96584C3C-BFBA-4890-8706-1E1671D49BB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863892","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863892"}}}}}