{"entities":{"Q3401094":{"pageid":3411797,"ns":120,"title":"Item:Q3401094","lastrevid":50890538,"modified":"2026-01-15T14:51:36Z","type":"item","id":"Q3401094","labels":{"en":{"language":"en","value":"Symbolic OBDD-based reachability analysis needs exponential space"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664055"}},"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":"Q3401094$FFCCD3CE-560F-4286-A52C-8A755A9CFE83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"933fe1e5b2335dcc25dcae80774d6d34df95af2e","datavalue":{"value":{"text":"Symbolic OBDD-Based Reachability Analysis Needs Exponential Space","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3401094$CD7E4F3B-52DB-46BC-B74C-9A2F019F6BF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b1af3b1c696d33129158064aa93ea5747fde0b7","datavalue":{"value":"1274.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401094$7858271B-7009-4357-921B-6573FB0D0331","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a230855075e1d6375654c8483eed9b80980c34f","datavalue":{"value":"10.1007/978-3-642-11266-9_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401094$DF3CE814-F90C-4043-81E9-131B93C6442C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be4ee1fbd4b7733cd16d69d04f0190aaf1da757e","datavalue":{"value":{"entity-type":"item","numeric-id":171934,"id":"Q171934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401094$CA607B1E-0C96-48C2-938A-645352FF435F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"20d9701f76fcc5f7b32bc216ad1215c37bf62cbe","datavalue":{"value":{"entity-type":"item","numeric-id":3401085,"id":"Q3401085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401094$EB594E4B-B202-455B-A548-15445ADF33FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12a65b7d3eabbb46878e927de404f33a8ce894af","datavalue":{"value":{"time":"+2010-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3401094$5CBB0744-8297-4C6C-9E77-9FCC1FC2347E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401094$A042C358-B4B5-4CD6-82FF-171F8D4F265C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401094$D51C6C27-A446-4FEA-93F4-0EA37385733B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401094$3A2152BE-12A0-4F42-BF9B-39D2D8B2931B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401094$8E475D9D-B50C-4820-A34A-A0F31138BF85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04dd106eb9e87485a91ee0c277a4778f737911dd","datavalue":{"value":"5664055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401094$A04496C8-0298-41D4-B061-C8151D6E1C90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401094$D098219D-1B9E-47BA-9F08-D9D7A31D7F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401094$60E5ECE1-9DF7-432F-B5B0-97137B635429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7548428d15fa3ebd0c09a30299ff80b7c7017e35","datavalue":{"value":"ordered binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401094$AD25AA74-9D65-4628-AE34-3AF9F4EE95C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401094$D2E9C74A-AD48-4778-AC88-8D813631BE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2efd6ca2e632b6ca823bc98fefd73c07a1f518da","datavalue":{"value":"transitive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401094$BACFEA66-D7D3-45FE-AEA7-468CF747F637","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":"Q3401094$069965C8-B798-4D3E-932C-2818AD799FC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"800201be26d572164ec0d323f1a9744673601def","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11266-9_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3401094$68CC4480-1B68-46DA-93AA-B14B0ECDDAD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f0ced4aa349d251bc2c1b4b540439f26b13396b","datavalue":{"value":"W1578551036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401094$6C0DF307-D28A-4E56-B4A0-E69374EAEF77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee6ff656ad1dc5279092e14d0d365a198256bd3","datavalue":{"value":{"entity-type":"item","numeric-id":1675755,"id":"Q1675755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24423832698314abe433a1318f52719834a7ca75","datavalue":{"value":{"amount":"+0.9690127968788148","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":"Q3401094$D2011165-E70A-4DD9-AE4B-9D850EE882DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e14b1240b7a75577618975559f82416e04b5ef1","datavalue":{"value":{"entity-type":"item","numeric-id":3525811,"id":"Q3525811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0871fa7b12ed37c46c1962297f49218194e56615","datavalue":{"value":{"amount":"+0.9143704771995544","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":"Q3401094$F46A11B2-8F2F-4B9C-843A-866388260EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b3f358079f62e903099e36a0ec2b7ecd8d4b5ab","datavalue":{"value":{"entity-type":"item","numeric-id":3557025,"id":"Q3557025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dacf189385efd0e1df56dcee296eeb766c8bb936","datavalue":{"value":{"amount":"+0.8847993612289429","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":"Q3401094$5EEA45E8-8770-432A-A4E6-CA4201B12B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a3ae827b5ba035576264ac31198ead4f2b311b1","datavalue":{"value":{"entity-type":"item","numeric-id":5711546,"id":"Q5711546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac8400dd90ebc830a2a019042f284d06fd1a023a","datavalue":{"value":{"amount":"+0.8574739098548889","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":"Q3401094$08BD6AFB-61F1-4FA4-91BE-CD01FE6F9937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41bbc6a16db24e8664c3d29321434fa5e2629fa5","datavalue":{"value":{"entity-type":"item","numeric-id":4267798,"id":"Q4267798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97bd80b30a49c06854d5dbff6e5ea9936bcab71a","datavalue":{"value":{"amount":"+0.8469371199607849","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":"Q3401094$B85FC932-9F89-426B-B2BE-8BDC17939C43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3401094","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3401094"}}}}}