{"entities":{"Q313770":{"pageid":315537,"ns":120,"title":"Item:Q313770","lastrevid":60965595,"modified":"2026-04-10T20:17:59Z","type":"item","id":"Q313770","labels":{"en":{"language":"en","value":"Sequence binary decision diagram: minimization, relationship to acyclic automata, and complexities of Boolean set operations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6626371"}},"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":"Q313770$1B765F9F-AD46-460F-8BF2-556204743C58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf2cb5efc3585b927fae2e627d9902d02e9322ad","datavalue":{"value":{"text":"Sequence binary decision diagram: minimization, relationship to acyclic automata, and complexities of Boolean set operations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q313770$F50DD388-BCEF-4689-9AE3-75CFF5E43622","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f893c1c09734353a9469393efe43b89f6a285210","datavalue":{"value":"1350.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313770$2337E539-829E-4725-BF23-2FB92D95E362","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbd08bd5126951ebe189d0786c6ed9220365dc0","datavalue":{"value":{"entity-type":"item","numeric-id":313767,"id":"Q313767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$BF3E2DBB-D74C-4FC3-ADDD-4C2A0EA61AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89494e796aaafece25ab389513f0dcd4f6e3954","datavalue":{"value":{"entity-type":"item","numeric-id":249065,"id":"Q249065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$CD50E73C-6472-4034-8D85-5B236919B5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5db749c009b420e5ca718053db393e161be00a7b","datavalue":{"value":{"entity-type":"item","numeric-id":313768,"id":"Q313768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$496F6991-D36C-4686-9DF8-DB0914613A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f765fb2eb7d0d323c639dbb97c843a9bcf43cfc3","datavalue":{"value":{"entity-type":"item","numeric-id":313769,"id":"Q313769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$72008D26-3A58-477E-9ED7-C191D0BF54E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$4296ACB7-FA88-4D52-BCBF-1547C20A9278","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f36863be325de210ff9d9a68f784ab8b753f9ea2","datavalue":{"value":{"time":"+2016-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q313770$E66F0523-231E-4D9F-BF5C-2856D00CD0D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313770$4FA2B455-EB8E-4F0F-BA0F-2803EB49E82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313770$187A83D9-F19A-4F8B-AE5A-0FE047046FE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68d27d60681e206673ae455d5cce682d3ead92df","datavalue":{"value":"6626371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313770$196D5520-96C8-452B-BDA5-57AA3A6E7A09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54b311d81b44661161315275c2a3e66f34e80e3c","datavalue":{"value":"sequence binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q313770$7CE9482E-D11B-4755-A580-2483FFE07131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30aed199dfcedd51582fff72323ef08d80ddad90","datavalue":{"value":"persistent data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q313770$935375C4-9FA8-4F50-A2AF-98646EA18C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a19bb379ed3c76df6d16665e227f00a03e1e7c2","datavalue":{"value":"deterministic finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q313770$7AC2C2AB-9E56-43E2-85A6-1DFFCBE20528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1279221fe7735b1b47afd1411b335eca7e3f0e","datavalue":{"value":"minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q313770$7F4A5F48-BA67-4ABC-9C89-F308BFB8D78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960a61dc032d3ef37b5a149e21dcde6caf597c40","datavalue":{"value":"Boolean set operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q313770$5DDF1B83-AB71-4549-93B3-5245CF56AEBF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8e9fd2f91465518a43bc5e8aab91ec26f4170263","datavalue":{"value":{"entity-type":"item","numeric-id":32977,"id":"Q32977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$522DDB28-D0A6-4D9D-A14B-9884BCF0CA81","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":"Q313770$6EAA460F-B208-426C-B7EF-AFCA82273C3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44b1a619f9c026482e5e1ad4e186a55f941965be","datavalue":{"value":"https://doi.org/10.1016/j.dam.2014.11.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q313770$2B040BF4-2404-4BE2-BFFC-C159CBF5FA5A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23d864fb93e7ed26b6429ecced5acead01b0e602","datavalue":{"value":"W1973311914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313770$22C38CEF-70CE-4ECC-9A47-D169278C881E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$D0D5488E-577D-4D12-8DD6-C681F3FA6736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9ad8829eb6a68c49dc70bad36cc86d5051fa043","datavalue":{"value":{"entity-type":"item","numeric-id":1869935,"id":"Q1869935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$7ED6700F-E7AC-4BD2-8823-B03955992C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ade3a2bc1c2d5fdcc084d9b7d69b4cbe98261a","datavalue":{"value":{"entity-type":"item","numeric-id":1063423,"id":"Q1063423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$7A0BD87B-08DD-41DF-A6BF-35EA7EA4A732","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":"Q313770$179496C5-7998-4629-A9D2-29B5524E10E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48c65d7f71de3702c1c2f486fd3ba38d510be98","datavalue":{"value":{"entity-type":"item","numeric-id":1820587,"id":"Q1820587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$649541C9-C265-46B3-878B-0C85B121FADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc3b2866ce6ec71c4cb34d8740b1e07292352416","datavalue":{"value":{"entity-type":"item","numeric-id":5444160,"id":"Q5444160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$5FB2ADD6-96E8-4B36-820E-3201F7F0792E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c45e9deaed077304434a612a00a0cbbef29b97e","datavalue":{"value":{"entity-type":"item","numeric-id":4451072,"id":"Q4451072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$222B65ED-FCA4-4BCC-97CA-627ABCE5554B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4ed8b32d9ec64931f813cdbc8fb272b51bb71b","datavalue":{"value":{"entity-type":"item","numeric-id":4406664,"id":"Q4406664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$0BB985A7-DEBD-4A59-8901-56A013D24902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579adb7a3f80eb6028df4cf77600de33d9e7a8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1117690,"id":"Q1117690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$2ECE3A9B-4437-43FB-9C88-E9BF67B9EF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138d808c1a0d7bbfa300ea1020e86219b9fb4bf4","datavalue":{"value":{"entity-type":"item","numeric-id":4229812,"id":"Q4229812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$2B0A5335-A8D0-494E-AFEA-89BB0F1924C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$FED86B34-162F-4DE0-9C50-4FDBE25E1ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cae4c9bf0f0cf1f96a96a1e700177da61f57e3d7","datavalue":{"value":{"entity-type":"item","numeric-id":4680560,"id":"Q4680560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$F91E4F92-EEED-4E9B-AB3C-38CF1818E447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f402ecf2b05576d882c3f4988c2bbcced1e3a415","datavalue":{"value":{"entity-type":"item","numeric-id":4507379,"id":"Q4507379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$8CE4076F-A250-4FD3-97F2-B05C5B590A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b99e2c9371fb5c144dc93ae570b1c3fe049599f","datavalue":{"value":{"entity-type":"item","numeric-id":3393339,"id":"Q3393339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$22D88021-7B3D-4E8C-9C60-CAFCF6304590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"765e1a7b0cd5402f72cc273dc87f1f94470d841f","datavalue":{"value":{"entity-type":"item","numeric-id":3142586,"id":"Q3142586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$81222C2F-81AD-4DE4-AF47-EC7911D9F5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2087c83c506735d7324c261f45643434228e51","datavalue":{"value":{"entity-type":"item","numeric-id":4095870,"id":"Q4095870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$631511FD-5485-47D7-88F9-62B815A7E78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc9707b9a87385861daeed41bd05b284e644f79","datavalue":{"value":{"entity-type":"item","numeric-id":1606803,"id":"Q1606803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$AA195699-5AF5-47AB-ACBD-8070C9DFA321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd8e6f87748e390081b7312362aa39bc76d0442c","datavalue":{"value":{"entity-type":"item","numeric-id":3503904,"id":"Q3503904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$8499CF01-0989-422D-B877-CC1A1F7E097F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983c6d361b39a1c2df39031e508b7ae6b374912a","datavalue":{"value":{"entity-type":"item","numeric-id":4385527,"id":"Q4385527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$D84C7942-9427-4966-A337-416E22B6F8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q313770$99D9810F-1C0E-4CA7-AE58-31A62315D476","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af5bb6e55d371aec0bd51ed758772e179b54041a","datavalue":{"value":"10.1016/J.DAM.2014.11.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q313770$C7509C05-B83A-4EFD-B358-3ADA11892A0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfafc03e016ff5e98483d2d036eb0c4e4cdd9a72","datavalue":{"value":{"entity-type":"item","numeric-id":2177603,"id":"Q2177603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef3851ff7fded394c58b0dd8d6e4b6758fce0e87","datavalue":{"value":{"amount":"+0.8803050518035889","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":"Q313770$7FC7DC4D-7E27-4748-9675-2429D08284E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a104cbe93cf04f249eeb90296f79da226a919d","datavalue":{"value":{"entity-type":"item","numeric-id":2327143,"id":"Q2327143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52782cff0b2b729fa5228adabcdfee9efa0f6adc","datavalue":{"value":{"amount":"+0.8485830426216125","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":"Q313770$C9574ABB-CA50-4D4B-96AC-46C62B972861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41677e2b9db0e6f045c5b60a900578cab00b1ae9","datavalue":{"value":{"entity-type":"item","numeric-id":596086,"id":"Q596086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"273a1fbbdbbb14b700613e83ecf738f808aad8d7","datavalue":{"value":{"amount":"+0.735323429107666","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":"Q313770$D84B512A-539A-42B1-9B8F-291AA3CF51F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22d4cde8cf626bcd748856e695edd6b05609d4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1428568,"id":"Q1428568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9077e63b6f415e32e3bc52e9ecfc45d809148495","datavalue":{"value":{"amount":"+0.7326618432998657","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":"Q313770$084D3009-A3AC-46A1-ACC3-03B133B93D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce67737928309119a68430e16d51b9628f737f31","datavalue":{"value":{"entity-type":"item","numeric-id":3176365,"id":"Q3176365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d90bd46f4bbcf5f77aa4d74a68607c3a340a27e","datavalue":{"value":{"amount":"+0.7318521738052368","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":"Q313770$F6B4B01A-1047-49FA-A13C-D867B58C20E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequence binary decision diagram: minimization, relationship to acyclic automata, and complexities of Boolean set operations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sequence_binary_decision_diagram:_minimization,_relationship_to_acyclic_automata,_and_complexities_of_Boolean_set_operations"}}}}}