{"entities":{"Q5943270":{"pageid":8120072,"ns":120,"title":"Item:Q5943270","lastrevid":41267212,"modified":"2025-04-26T18:28:06Z","type":"item","id":"Q5943270","labels":{"en":{"language":"en","value":"Local encoding transformations for optimizing OBDD-representations of finite state machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642622"}},"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":"Q5943270$A6DC4CAC-405D-4078-A15F-7E7C02238B6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c85f040674b13aca0e7940392bc4c8ad0ac418b0","datavalue":{"value":{"text":"Local encoding transformations for optimizing OBDD-representations of finite state machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5943270$B5C7397B-0043-4924-8C6D-133E21D7A981","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7662d980ddd3d2fa2818176fc92ba34bbabe438","datavalue":{"value":"1001.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943270$A1773980-D08D-4F8D-B3E5-8B70EB3ADDFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86fffae265ab7f198cb39f5286599f676dc0048c","datavalue":{"value":"10.1023/A:1011273220017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943270$0FA88350-C446-43CD-B179-89E263706B1D","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":"Q5943270$FFC1037C-97FF-4E60-901F-FE333F2A10EC","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":"Q5943270$3ED48BB0-450F-4357-A979-2DF38431CF30","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5943270$8CA6B490-4239-4DCA-AF4F-0BDE9E19F6AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65236f11c6868324c9cf523182acd6ee7e837356","datavalue":{"value":{"time":"+2001-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5943270$8ECB7574-5EAC-4208-A13A-6A9AE00BBAAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943270$D9467F5E-9803-409E-A64C-5206AA70990C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"754b6c6ee6dc0054ba14d6532b9b6e0771663756","datavalue":{"value":"1642622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943270$045E8A40-B65F-4554-B64F-7C9D7DA554C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7548428d15fa3ebd0c09a30299ff80b7c7017e35","datavalue":{"value":"ordered binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q5943270$D6C7656A-DF7D-4B59-9750-D8B6B4A44790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86858b19e06e7f53cefb9a2372bf5b13d0adff66","datavalue":{"value":"encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5943270$061D6D24-76ED-418C-A7E3-57DB1AE04660","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":"Q5943270$BA05FBF4-C968-48CE-8118-BDAE2652D727","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d1bfcb73b32714f105e3b8a64090b59babd3c95","datavalue":{"value":"https://doi.org/10.1023/a:1011273220017","type":"string"},"datatype":"url"},"type":"statement","id":"Q5943270$72CB83B4-E4B3-41DB-A6B8-5F6F7734EA2E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3617a47725bf7ec62aa6a49f41d2fd4b0147df81","datavalue":{"value":"W1569092974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5943270$BFCAA54C-CD69-476F-9609-52C704F33967","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":"91197f645b0b4400a5870fe9052646610f4eef2c","datavalue":{"value":{"amount":"+0.9019109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5943270$E7F39599-D09C-4183-A57D-7FCFA4162B47","rank":"normal"},{"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":"91197f645b0b4400a5870fe9052646610f4eef2c","datavalue":{"value":{"amount":"+0.9019109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5943270$1AD12B92-EEF5-4949-8B83-CB0593929630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f77935c34b6ab29025220f1a67322b74e0eb4894","datavalue":{"value":{"entity-type":"item","numeric-id":1329734,"id":"Q1329734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"238f9f794aeabe66eddc49b911bfc99df12e6cd8","datavalue":{"value":{"amount":"+0.82615423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5943270$4688F3EC-E316-4CEC-B351-8ED54FA38437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7d44db62d1f529fa4755e2d0751dd7f46af283","datavalue":{"value":{"entity-type":"item","numeric-id":4678097,"id":"Q4678097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c24c838683bb4ca179c27f038efe68ccf206e1e3","datavalue":{"value":{"amount":"+0.8249062","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5943270$5D239757-828D-4119-B221-439A527A7FBF","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":"cdc395ca9f68b183ca618bbfbf6c6b342e37510d","datavalue":{"value":{"amount":"+0.81967044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5943270$FD4FB015-8252-4F5F-B9CA-78BB371D48AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7336cfa86da56973b8b2e0d508c836bf0aef3be6","datavalue":{"value":{"entity-type":"item","numeric-id":4332902,"id":"Q4332902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6402571b565e3d25600998935e343a7c3d156623","datavalue":{"value":{"amount":"+0.8126362","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5943270$815232EE-A60B-44D1-8A2D-74E43C5F2342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19fc74a584dd2ac5b0a296f94ae6a6fd311c138c","datavalue":{"value":{"entity-type":"item","numeric-id":4669654,"id":"Q4669654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f29ef7d84af5f382379dfd57ebaffa61b4aed10","datavalue":{"value":{"amount":"+0.8105239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5943270$B0948273-AB9C-433F-BC03-12C5879E3D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70f335b28aafd4fc00123de3cb4c78cd631afd8","datavalue":{"value":{"entity-type":"item","numeric-id":6085759,"id":"Q6085759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21737041483fe7481432e7b0da7724d0ec96689d","datavalue":{"value":{"amount":"+0.8101266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5943270$A231E462-6E59-4873-B46C-737E630C52D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65077612d6c67d4913fb540a591fea73c2f02a88","datavalue":{"value":{"entity-type":"item","numeric-id":5946285,"id":"Q5946285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1999c49e326de63609d1baa3bad4c21ef3022af","datavalue":{"value":{"amount":"+0.8068743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5943270$1E095A73-B83A-4F2B-B1F8-F1DEAD2450C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5943270","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5943270"}}}}}