{"entities":{"Q4256140":{"pageid":6285741,"ns":120,"title":"Item:Q4256140","lastrevid":46845117,"modified":"2025-12-25T17:16:28Z","type":"item","id":"Q4256140","labels":{"en":{"language":"en","value":"On the Influence of the State Encoding on OBDD-Representations of Finite State Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1309195"}},"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":"Q4256140$49C367FC-11B5-4C04-A9D9-D889B7C4B608","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3eda04e5d91f5b79df4abd99da80893b2f012488","datavalue":{"value":{"text":"On the Influence of the State Encoding on OBDD-Representations of Finite State Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4256140$244C8E6D-3D75-4A19-A832-BC34D11E7E84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fb18670c90543dddeb8bf083c661a0ec6edd5d1","datavalue":{"value":"0927.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4256140$62E900ED-B30C-4602-81F3-8F00FD6EBCA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aad099f57a9ffbfe76501531fc67aa620054130c","datavalue":{"value":{"entity-type":"item","numeric-id":202501,"id":"Q202501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4256140$6066D66D-3D29-431D-98EB-7ACC85A7E9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45dd3a477b595268b1a0a491c9e89ee7cf6a7b38","datavalue":{"value":{"entity-type":"item","numeric-id":330841,"id":"Q330841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4256140$63643D3C-396D-4E5D-AEB7-9285DBAAF9BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4256140$4429AD9C-B9F7-4A89-AD78-27DB4D660B33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9ff749b3707f7cb215f4483c5a296daee21d1bc","datavalue":{"value":{"time":"+1999-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4256140$94808CEE-D241-46E6-92AF-832F1A26B8D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d637fa80816a3997d17f258572418cf88d690b1f","datavalue":{"value":"http://www.numdam.org/item?id=ITA_1999__33_1_21_0/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4256140$83884952-6F1A-40EA-BD14-96C8DE52F684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4241ba4388e2a2361d32c67ab20f8029f372ca49","datavalue":{"value":"https://eudml.org/doc/222070","type":"string"},"datatype":"url"},"type":"statement","id":"Q4256140$E3758256-E356-4665-BE32-025DB2450944","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4256140$4382165E-FEE6-478C-8585-9786B90A2590","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23704056b4a318af5b951fa10f091efe75b427e5","datavalue":{"value":"1309195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4256140$1BC31DCD-D512-4AB5-A3CF-EA3B83FB0D60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7548428d15fa3ebd0c09a30299ff80b7c7017e35","datavalue":{"value":"ordered binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4256140$C8163796-A46F-455D-929F-5BBDAA2D5300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4256140$39137755-1EF0-4B50-95D3-6AF7D7218B25","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":"Q4256140$34EB2AB7-C0CB-402A-908C-E35C691CAE4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c6b2ea047a045aa4fea48a7e29e1bbb12e92359","datavalue":{"value":"W1984646326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4256140$4D0438A6-8DC9-4BBD-917F-ABB5DF8DFD98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8532e245e1b6b904dff800eca1e56e7a861724","datavalue":{"value":{"entity-type":"item","numeric-id":4420841,"id":"Q4420841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4256140$64E6706D-ED39-48E8-A9EA-76F6B9D3FF3D","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":"Q4256140$43C61045-2FA2-481B-8722-CED043157F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465bde891e077a8d93298edf28c1fb549f1f0696","datavalue":{"value":{"entity-type":"item","numeric-id":3869197,"id":"Q3869197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4256140$888E151B-0FAD-40C6-BDFC-F48DA0DC7A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2098acaa46578fe8fd92bde511375c2733ac78","datavalue":{"value":{"entity-type":"item","numeric-id":4268445,"id":"Q4268445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4256140$E7623A0F-1EC1-47D0-B3BC-2B5767346B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b034ce26b70acb0577d8b90e2059ffc981932ec8","datavalue":{"value":{"entity-type":"item","numeric-id":1344625,"id":"Q1344625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4256140$B48343FB-BDFD-4749-8BB6-DEA6419F861B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c41aa6b7d42825e3206de875b7bfab1eab99843e","datavalue":{"value":"10.1051/ITA:1999103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4256140$9A98AA8A-4CFB-4CFA-A261-159424CBE739","rank":"normal"}],"P1643":[{"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":"19af4c798361cda50188c9c4a8c93ec026079ab6","datavalue":{"value":{"amount":"+0.9956862330436708","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":"Q4256140$BB3A1045-846A-46D6-BB6D-A5247C6BA241","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":"31d4a4efad64ac3811b19847489f8ba115bf044b","datavalue":{"value":{"amount":"+0.8865602016448975","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":"Q4256140$B226CCB5-CAB1-4F48-825B-2C9BC8D0BCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9df3d08ef22e77e6c0246b5d2f65c321696f8e","datavalue":{"value":{"entity-type":"item","numeric-id":5422957,"id":"Q5422957"},"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":"Q4256140$992434A3-E6CC-430B-A0F2-D427F2CFF646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e8aefffb2860dc377eddf8a21726151305e1ed","datavalue":{"value":{"entity-type":"item","numeric-id":2754143,"id":"Q2754143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53e8909fa7d33919200a59fca5cbbf3cca2b9b4f","datavalue":{"value":{"amount":"+0.8005395531654358","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":"Q4256140$C678A43D-0795-48D0-8F21-473C91018D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"472924d7015dceb57255dade52a4621a8ca78f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5929919,"id":"Q5929919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bfd6e7743f2e6935255e9304ce66c80cecf39e4","datavalue":{"value":{"amount":"+0.79994136095047","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":"Q4256140$94E52DEC-A612-416C-8C42-16DC1D6264BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4256140","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4256140"}}}}}