{"entities":{"Q1684072":{"pageid":1694813,"ns":120,"title":"Item:Q1684072","lastrevid":73985898,"modified":"2026-04-14T17:57:23Z","type":"item","id":"Q1684072","labels":{"en":{"language":"en","value":"Logic synthesis for finite state machines based on linear chains of states. Foundations, recent developments and challenges"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6815296"}},"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":"Q1684072$23A20622-BDBC-4EE8-8A8F-161B7433A73F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0503354578876f955d90fa760a615c649a822491","datavalue":{"value":{"text":"Logic synthesis for finite state machines based on linear chains of states. Foundations, recent developments and challenges","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1684072$60B547C8-7080-46C4-9074-33D83EDAB09D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"951d3ff8f3364e28d1358c9eb09db90be3612fe6","datavalue":{"value":"1375.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1684072$0D6AC016-F975-4F6A-A503-19F621890E25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0d16dcffb52c8dce12f74b767c8ad40f1a90561","datavalue":{"value":"10.1007/978-3-319-59837-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1684072$73E062C5-EC8C-4E6D-B388-62E926312761","rank":"normal"}],"P16":[{"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":"Q1684072$D8698623-545A-4A19-9F18-34EB247D5699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0faaa19d358fd591d5f1526f020e734f8332c64","datavalue":{"value":{"entity-type":"item","numeric-id":545921,"id":"Q545921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1684072$D827E49D-00D9-4EEB-8DAA-095645388F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6495479d4678cb5a53382af29015e78394fe659c","datavalue":{"value":{"entity-type":"item","numeric-id":1684071,"id":"Q1684071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1684072$CD77DE23-F803-4CD8-A812-519BA43EE441","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9973ec4b584c7f1af5f07b362e19a234e561fde","datavalue":{"value":{"entity-type":"item","numeric-id":287487,"id":"Q287487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1684072$B8AF5348-2024-403E-8EAA-45F7BF6D0C94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"356666c8207aeaac62652c7da95fdf995e8239ac","datavalue":{"value":{"time":"+2017-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":"Q1684072$04943163-E03E-4738-BED1-7C8E86588BC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1684072$D368E1D5-AF80-4D0F-9EAE-4CDA60F2F7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1684072$906F7324-0AA8-4C51-AD90-6FFE3DFA46B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1684072$467D2144-DD85-47A7-90D6-A1E591CE3886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1684072$A33E3114-73CA-4AE9-BB0A-8B06A7290D8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6378334a186d9318b2f28c6d6ca060f3e9ee9ab7","datavalue":{"value":"6815296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1684072$BEDB5CCE-6478-43A0-B14E-8DBF3CFC488B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27ee2f408b6407a60608dbc31d5dc6b145c15444","datavalue":{"value":"logic synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1684072$32EE886D-28C5-48AC-9594-F6F9EFC0A74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666ebbcdd43ef258a62e2ff96412a4a5d8b4995f","datavalue":{"value":"field-programmable gate arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q1684072$99FFE26E-C704-4191-84D1-109EF2A0717D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e631655f6f41a7a473420ed4aad75ca197d69a72","datavalue":{"value":"look-up table element","type":"string"},"datatype":"string"},"type":"statement","id":"Q1684072$A605EF39-3F0D-406C-AE34-27A982436883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feb40d1764947ae39093ea8dcb75130d2c8d0033","datavalue":{"value":"linear chains of states","type":"string"},"datatype":"string"},"type":"statement","id":"Q1684072$E6BA7661-EB9A-4FB2-A944-E33AD450DCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"654d82cffaf48aee34c8d66a865b227f1d39e13d","datavalue":{"value":"finite state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1684072$8846E078-3947-4C1A-AE6F-8596958C4E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fca113a43ead95dc26812bdf97173d7c3f86ae25","datavalue":{"value":"embedded memory block","type":"string"},"datatype":"string"},"type":"statement","id":"Q1684072$EECFB998-7ED1-4645-8BCB-8A602F1D5E1C","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":"Q1684072$3106F9AD-B611-4C78-816E-0052EB8DFB59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcd440b2b5120dd4c538ab75fcbcf654fb2db855","datavalue":{"value":"https://doi.org/10.1007/978-3-319-59837-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1684072$1DEE9523-207D-4EC0-BFAA-57C33BE86AE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ec7fce352f14ff7104bd81655a65753407c48ac","datavalue":{"value":"W2641437438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1684072$308508BB-1885-4BBD-A99E-5207DF31C4BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0206e165290dfbf04ac4097349dafd79f61c9eb0","datavalue":{"value":{"entity-type":"item","numeric-id":2082085,"id":"Q2082085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b745b054bd8c945b6649c451ffff7727354ec2bc","datavalue":{"value":{"amount":"+0.8432217240333557","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":"Q1684072$E38F9EBC-381F-4022-8E3D-6727FCC39C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13942547cc8284c005cd327891b7951a8bb76ab5","datavalue":{"value":{"entity-type":"item","numeric-id":1944728,"id":"Q1944728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ce45e8636074dda3699ab4865f0cd539a1564c","datavalue":{"value":{"amount":"+0.8250315189361572","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":"Q1684072$3B915CA9-BD25-4E49-A5C5-87F6135AE6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"498efdc1bae1ccef518e8c90f996a60fb92e24fc","datavalue":{"value":{"entity-type":"item","numeric-id":3653947,"id":"Q3653947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8561c3adc07c895ae62cb2eba17fa6572f6fead6","datavalue":{"value":{"amount":"+0.8200631737709045","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":"Q1684072$4A98A458-1544-49E8-9FED-B4AFB828D7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbcf8df4df3e873ba4dbc9259b1eecd56276b3a5","datavalue":{"value":{"entity-type":"item","numeric-id":4852540,"id":"Q4852540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2524eff26d46800986c8d39cb247bd399863a0a4","datavalue":{"value":{"amount":"+0.8116118311882019","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":"Q1684072$E50D479F-72C3-430A-9BE9-971C39A1F6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25c6e1b3c6fdc0153ecd615aa5a938f83c6aa12b","datavalue":{"value":{"entity-type":"item","numeric-id":4337945,"id":"Q4337945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcabb251fb04f828ee913d34d36e542397ecfdb0","datavalue":{"value":{"amount":"+0.8036503195762634","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":"Q1684072$ED1AC690-D285-4358-A67C-D4DF5BD10DF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic synthesis for finite state machines based on linear chains of states. Foundations, recent developments and challenges","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_synthesis_for_finite_state_machines_based_on_linear_chains_of_states._Foundations,_recent_developments_and_challenges"}}}}}