{"entities":{"Q5422957":{"pageid":7452531,"ns":120,"title":"Item:Q5422957","lastrevid":50199335,"modified":"2026-01-13T12:16:38Z","type":"item","id":"Q5422957","labels":{"en":{"language":"en","value":"FSM Encoding for BDD Representations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5206564"}},"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":"Q5422957$B71BA2F1-5CB0-4958-AD49-58F88B0E97CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1840c652dde21ba243b8e9a9c57c6daf925edbaf","datavalue":{"value":{"text":"FSM Encoding for BDD Representations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5422957$99FB3D9A-2D72-465A-BB31-B634F30DA951","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e4179f087f42e5434709c99f50b8d79d88fff8d","datavalue":{"value":"1153.68553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422957$7244F50C-53F3-454B-93DC-2DF42EAFDA0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"245ce3b568f4cba06c04b494eddcbe00c7526a6d","datavalue":{"value":{"entity-type":"item","numeric-id":5422955,"id":"Q5422955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422957$48F8930C-A849-4DB8-A92F-25E97F29E2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f89ef066096ca3e248c3cbc97dc37d82e003c08","datavalue":{"value":{"entity-type":"item","numeric-id":1020550,"id":"Q1020550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422957$FFEF5032-43A8-4C51-A5B3-CCAC17F9B03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b910bcb111cb7244e5b5cdb16848baf69eb8499","datavalue":{"value":{"entity-type":"item","numeric-id":5422956,"id":"Q5422956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422957$600F7BEF-C788-4310-8991-12D50399ABBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d086e44329306ab3ecd40903a02197703cd48951","datavalue":{"value":{"entity-type":"item","numeric-id":1020553,"id":"Q1020553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422957$BCD6D190-194F-4C2C-9C70-3CDD412701F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f510c5e690efa669d4d80846fa4397a83b3b4bf6","datavalue":{"value":{"entity-type":"item","numeric-id":285367,"id":"Q285367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422957$AC21C167-A9CB-42CD-8C1D-3D1F29595D34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13306b23d44fbd6a6ab0cf55e69eb6923d53b931","datavalue":{"value":{"time":"+2007-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5422957$C21B8D62-3D76-4364-9AEE-287D927178F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"931bc2cffbd33b2e756e3c4c46e7407f28c807b1","datavalue":{"value":"https://eudml.org/doc/207815","type":"string"},"datatype":"url"},"type":"statement","id":"Q5422957$CC702541-39D6-44CB-A07F-F7E23A1C0809","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422957$AD686BB4-CA92-46F8-8818-F920DB45302F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4264b8bf260e532ba12469970b36fcaf09f85467","datavalue":{"value":"68P30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422957$043CF374-69BA-4B66-89CC-B330A4ECEB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422957$C6D394C3-D178-4667-9FA7-8D75CD57F95D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6118feadb3382cb8c73c446860252fa153408e7","datavalue":{"value":"5206564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422957$E128E101-EBC2-49E3-BECB-FE4E2360A161","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5670d071866a3d53f623260620b05efb6ac7d49b","datavalue":{"value":"binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422957$9F22CAB1-BC47-4B6C-BA08-31A4E70FB7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86858b19e06e7f53cefb9a2372bf5b13d0adff66","datavalue":{"value":"encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422957$199590AC-D58F-4833-86D8-AD4425C174B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"654d82cffaf48aee34c8d66a865b227f1d39e13d","datavalue":{"value":"finite state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422957$E2AFEFD8-5B54-465A-ABB3-2E4D8642C5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27ee2f408b6407a60608dbc31d5dc6b145c15444","datavalue":{"value":"logic synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422957$5A709199-6BA0-4723-BB0A-990BE7FC0DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422957$6C51F28F-4B82-4E9A-9659-475C6D2E53AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e1831b919bba55392f3aaf5b3fc9eca7ba71bba","datavalue":{"value":"logic representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422957$D60C81EB-B1E0-4FDF-9422-FE392579EF2C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"84bd19f53a2d0cb398e7f40acf0f949855c1dd35","datavalue":{"value":"Q57380491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422957$889D4127-4B40-4269-91AE-9040165DA82A","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":"Q5422957$4CD7B648-E7E3-489E-B087-E1DEFD2E7118","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"486e999349fbed2689c085de743763cda38cad77","datavalue":{"value":"W2127434751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422957$184BC927-28E0-465E-8EEE-491EA846666E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b70805b996ac71796cbf64a76b6ecca1430283","datavalue":{"value":{"entity-type":"item","numeric-id":3680754,"id":"Q3680754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422957$BC58904F-DF77-4796-A89F-003A72C5A245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422957$8069C553-8AE3-4E1F-A6BD-990F64DEFF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c70986438190defdb7f5d57e478bb77400262b","datavalue":{"value":{"entity-type":"item","numeric-id":5422957,"id":"Q5422957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422957$E4050369-819D-4197-A180-2BE670212797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c74064ab1a51e7b62fc6fc99d58d4de18368bc9","datavalue":{"value":{"entity-type":"item","numeric-id":3290922,"id":"Q3290922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422957$038297B5-CED4-40D3-BAC7-17C3CE2D21DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e8eafcf9817d3bc0c3ff337958468434b0b36d","datavalue":{"value":{"entity-type":"item","numeric-id":4256140,"id":"Q4256140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422957$943C07D1-3ABE-4A90-9FF5-549DF80C391F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27043565117301fe722d458d87a79d05ad76b0ad","datavalue":{"value":{"entity-type":"item","numeric-id":4337945,"id":"Q4337945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422957$CD145623-1D1B-4935-8C84-8B3CB9C47B6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54cdfbb2abadd750578788e53bf36485c8f0a74d","datavalue":{"value":"10.2478/V10006-007-0011-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422957$F842ACFD-833C-4C55-985F-20A15F1789E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a99927eda1be7a81b91decb773f352ffe3258099","datavalue":{"value":{"entity-type":"item","numeric-id":4256140,"id":"Q4256140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa65e9280b3ed58b1f6a5dddd93e0d7aefad3036","datavalue":{"value":{"amount":"+0.8344718217849731","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":"Q5422957$BC59C91B-DE12-40BA-B36A-004D94A6681A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960c67c4b17cce3ce03f41679c47b60ed0bd7ed7","datavalue":{"value":{"entity-type":"item","numeric-id":4699317,"id":"Q4699317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65256496280b5e68205f253e27a7ebf36d21c9f7","datavalue":{"value":{"amount":"+0.8269020318984985","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":"Q5422957$460838E7-6C81-4217-88B8-EA04F286E99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3083be3ee478dd22cc1f8acfbe0b74c817d318","datavalue":{"value":{"entity-type":"item","numeric-id":5943270,"id":"Q5943270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d296bcfc3ee953a40f3b90ae6a5f6a868f3f90","datavalue":{"value":{"amount":"+0.8170664310455322","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":"Q5422957$56CDC04D-3893-4631-BDFE-0F92AC7BC78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"005ea430f4d25f798d8b907564ae01f887b8065a","datavalue":{"value":{"entity-type":"item","numeric-id":620063,"id":"Q620063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ea9533ea1440bbc8ac45dfc14195d8d93e3a8c","datavalue":{"value":{"amount":"+0.7731280326843262","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":"Q5422957$BAA2A342-0C96-474E-9D1E-E0BC94A08D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08480da95ebfa6c8fde1253f41c8e78deba0edfe","datavalue":{"value":{"entity-type":"item","numeric-id":1745748,"id":"Q1745748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcee9e2e372cfacb01be9a16c73ce6760f74990f","datavalue":{"value":{"amount":"+0.7639992833137512","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":"Q5422957$51D94E1F-DC12-4F1D-B603-EDB9C6D320F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5422957","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5422957"}}}}}