{"entities":{"Q1854498":{"pageid":1865240,"ns":120,"title":"Item:Q1854498","lastrevid":73666677,"modified":"2026-04-14T16:50:46Z","type":"item","id":"Q1854498","labels":{"en":{"language":"en","value":"The nonapproximability of OBDD minimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853233"}},"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":"Q1854498$94438AEB-7C84-443B-924B-424E6FC60EBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"059e11dd788dafe2058409fa30cf57841bac8700","datavalue":{"value":{"text":"The nonapproximability of OBDD minimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854498$5323B8B2-78AE-4794-9043-7DE1C55A8B90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3de44a30306aa0d290297525bca0cba210f599e1","datavalue":{"value":"1009.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854498$D1494D93-0A20-46EA-A844-3B15CF33A35C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad68ae0b32e7bd128d545ceeb6b30fc05a2b0b39","datavalue":{"value":{"entity-type":"item","numeric-id":210284,"id":"Q210284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854498$B56579FB-9C76-480B-91B1-67342D2AC801","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854498$93F75805-6F6E-4A55-9178-8533817C0CEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854498$1627344A-7A6B-49EA-AA77-5557C0F7F3D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c3c8dbde844c8ef33644da3e37636389feb1d2b","datavalue":{"value":"https://semanticscholar.org/paper/acdcd4e112d68dea1aecf58c67a18173d7af7c57","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854498$737BC997-0BA9-47AE-952C-8E5A151DA873","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854498$95F3A84A-D280-48EE-9BF1-F2CEA932FCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854498$38AAF188-CE1E-4FB3-933D-89A47E14D9DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57bd0c461fd97d69bd8cdca4125bc4621bad1d98","datavalue":{"value":"1853233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854498$A4D99B22-712F-4295-A6C2-6DE89FA19332","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":"Q1854498$5DD2F932-1B6B-447C-9C5A-5064D8BB7D19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c30afaaa446cc3058dc7cabf4ebe0df3f284012","datavalue":{"value":"W2025762151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854498$5042F481-80AB-46A8-8D4E-DFC8D94A63AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a397b850ba7cb7a374631b1fadca39ecd79abc","datavalue":{"value":{"entity-type":"item","numeric-id":671612,"id":"Q671612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854498$123133C4-E17C-4F84-BCFA-7D99695DD900","rank":"normal"},{"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":"Q1854498$B58045E7-45CA-4853-9F43-02056324AC0A","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":"Q1854498$037385C6-C58E-4F8C-89EC-B8010E436D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9d760b56e81829535236b574ab4988cdae3b4b","datavalue":{"value":{"entity-type":"item","numeric-id":3417010,"id":"Q3417010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854498$D5568B8A-A411-46CE-9FAF-AF7FB9E5FFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f440e0ae7e543d8e111ad4c87a821951e39a8720","datavalue":{"value":{"entity-type":"item","numeric-id":580980,"id":"Q580980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854498$2C7C797D-0F0B-47B9-B786-D7649CD3AAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d72e284b05f6d26d2d76e5c229c7999c408c3a89","datavalue":{"value":{"entity-type":"item","numeric-id":5375442,"id":"Q5375442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854498$57F2EB2C-C200-46B1-83CA-43A795CB0206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854498$956D9ED7-64ED-4A1E-AACB-EDABEC47B01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f4f6417af3313b2a4f1959b9dee0bb7940ea475","datavalue":{"value":{"entity-type":"item","numeric-id":4526964,"id":"Q4526964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854498$AB78AD8F-D03B-4598-B44E-28739BEBA4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb831a926f4740f70cbc7d7c440aa3f25cfdd945","datavalue":{"value":{"entity-type":"item","numeric-id":1173954,"id":"Q1173954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854498$CB334B80-89B8-45BB-88E6-EFCF8E3EF960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db99c21b94c60f303b191f15b8e05c4141c30dda","datavalue":{"value":{"entity-type":"item","numeric-id":5096910,"id":"Q5096910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854498$14B8023B-7D80-4B6A-AA9D-C62D359CB659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05652188e444fc35e748b68b983451566933e27","datavalue":{"value":{"entity-type":"item","numeric-id":4856179,"id":"Q4856179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854498$6BBD4E90-107B-49E4-ABB3-CFA35E584979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6133d293bb8bfa149948ffdc9b0f276ef45523","datavalue":{"value":{"entity-type":"item","numeric-id":1186548,"id":"Q1186548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854498$569F8067-4B4A-4AB5-8626-AC9F2D42B57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee9140f3b58d3af65912ceeb1a52ecea9242381","datavalue":{"value":{"entity-type":"item","numeric-id":1357805,"id":"Q1357805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854498$35F3153B-47E8-4EDE-9871-235595D21716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366e139a2a729530a70cc26cdeb11ddd207a3dae","datavalue":{"value":{"entity-type":"item","numeric-id":4705323,"id":"Q4705323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854498$BC2C17B1-F37D-4D9D-B732-A0D928BCD49A","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":"Q1854498$764FBBD3-D805-4636-9D2E-C90762233B53","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":"Q1854498$B745DFE6-0CDA-4E7A-A51A-FFFB21175541","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a98cf3d068c80567d4755258a628d8d916d8c433","datavalue":{"value":"10.1006/INCO.2001.3076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854498$6765D47B-BFA1-475C-9522-68F4A80A829C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368c5656b3170ac18fccb8cadfc0a65f2b4fda4d","datavalue":{"value":{"entity-type":"item","numeric-id":4420841,"id":"Q4420841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d949f2f6e4c9d640b856d091e5faee0a17174976","datavalue":{"value":{"amount":"+0.8681795001029968","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":"Q1854498$F5F3B9D0-7C0A-4714-942B-0CC4A04311E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36e387df55cf0e70bef87d8d330f51752ab9247","datavalue":{"value":{"entity-type":"item","numeric-id":5054808,"id":"Q5054808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8aef24365620ed10f784a883eb1cd34cdf2e80","datavalue":{"value":{"amount":"+0.8582020998001099","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":"Q1854498$C2E293DC-AEA5-40FB-A161-8604E44186EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4429b0c20eb6e416f1a3041f1e97b63343217f4f","datavalue":{"value":{"entity-type":"item","numeric-id":1613429,"id":"Q1613429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"203980a5d62ded5d3fce793699544f2c4cadc427","datavalue":{"value":{"amount":"+0.8474671244621277","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":"Q1854498$C88BB46E-1BFD-4EF1-B39B-7963098ABAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f8442511968101c0b715ad107915e98a3f357a6","datavalue":{"value":{"entity-type":"item","numeric-id":503467,"id":"Q503467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"615be6eea27483985071463fed113952b6da4dfc","datavalue":{"value":{"amount":"+0.8422873020172119","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":"Q1854498$8410A8F3-FB45-45A8-BAE4-C3D84E961C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"462ea138f46ab51de9fb7b34b300ad12f605586b","datavalue":{"value":{"entity-type":"item","numeric-id":2942417,"id":"Q2942417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c8b62e3450c407b46d90eb0977502de86d0a62","datavalue":{"value":{"amount":"+0.8230304718017578","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":"Q1854498$6B46E939-D25A-43BA-A3CA-63CA6E60C518","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The nonapproximability of OBDD minimization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_nonapproximability_of_OBDD_minimization"}}}}}