{"entities":{"Q503467":{"pageid":505234,"ns":120,"title":"Item:Q503467","lastrevid":62321862,"modified":"2026-04-11T05:18:08Z","type":"item","id":"Q503467","labels":{"en":{"language":"en","value":"On the minimization of (complete) ordered binary decision diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6674146"}},"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":"Q503467$AB895EE3-2FB8-4302-BCC4-DEAB72249A67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"581a2fd2880bb909e72e056ebac5fd016d1d1f0a","datavalue":{"value":{"text":"On the minimization of (complete) ordered binary decision diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q503467$48A517DC-E4E2-4299-9256-1F6E2EF40084","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"954fdfba04c214e62e0ffcddffc7837c2ab31c5d","datavalue":{"value":"1401.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503467$5ADD8E5A-B99E-4693-AB68-9930BC0F7F40","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":"Q503467$6881FE3E-D88A-4406-949E-BAE5D2802308","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503467$2E13E58A-9F2E-4390-BCA9-501AF1230DF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f59af348026d8b50a0a15d8fae44d96b789e2f1","datavalue":{"value":{"time":"+2017-01-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":"Q503467$CB169671-7754-4565-9A6D-5728CD52BD3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503467$8B40128D-8DB8-49BA-9DE4-C7DEDCBFBDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503467$56921DBC-D8CD-4601-B483-4E2D342987C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d1aa01eea85f4d53f7723cda83bb9a3044f5d48","datavalue":{"value":"6674146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503467$88DD807F-72AD-4A35-B3AB-D6D613A1F82E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q503467$B61A65D3-C7CF-4116-956C-50F0103262D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"092188f8e3abc2a9e1eba877d75ac1f5d0398646","datavalue":{"value":"layout problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q503467$3A689F43-5E94-4E1C-BBAC-C5D9289059A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"812c8f84ca26421c29a1c34613f1682051d4794a","datavalue":{"value":"nonuniform finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q503467$162985DD-3A03-4108-838B-E787150C6AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q503467$8A3711EB-65CD-48B6-AF53-5BDF5D90C06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7548428d15fa3ebd0c09a30299ff80b7c7017e35","datavalue":{"value":"ordered binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q503467$3EA0D567-50CC-4952-A317-739834A74CA5","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":"Q503467$55118F90-727B-4F69-A11D-85F02FE73952","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"265dccdebb20a8fe1bd47cc261212144f89933f0","datavalue":{"value":"https://doi.org/10.1007/s00224-015-9657-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q503467$DF92FF57-1708-40DA-B212-54CEE483F576","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aebf73af65af6742bb978e9d45278c0e24dfd5c7","datavalue":{"value":"W2186363574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503467$220FED32-3B27-4134-83A4-161CE7BFC78C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f9c056427ba7a9ba64152f302c93efb2f489b69","datavalue":{"value":{"entity-type":"item","numeric-id":987805,"id":"Q987805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503467$8135096F-58AC-4F73-B223-B3BFE4812603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9b42d5efaf419eaba6a2503b09ac6b00b5f0c29","datavalue":{"value":{"entity-type":"item","numeric-id":2922601,"id":"Q2922601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503467$807514F6-F466-43A3-931D-9CAAE5CCEA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7c69cc2bd43960678d5a3fc6b52ae77c4ec2bf","datavalue":{"value":{"entity-type":"item","numeric-id":2942417,"id":"Q2942417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503467$BD0EEA0E-9B94-4AC0-BDF4-C641DE1605BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"734041ee6c77f0cbcfba7edb19b95c9fda087f2f","datavalue":{"value":{"entity-type":"item","numeric-id":1959388,"id":"Q1959388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503467$565B66E5-29E9-4ACF-A63D-A3202E7CACCF","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":"Q503467$06A1C496-0E76-4101-806C-CBD7AB44567E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfeba2c93b05bb00c4e72504a34410d0fd3444e2","datavalue":{"value":{"entity-type":"item","numeric-id":5929919,"id":"Q5929919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503467$A301FD83-AD45-49E1-8E57-7149B1B53FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e69426fa1b59b9c66ca7416a17bee35625b09d","datavalue":{"value":{"entity-type":"item","numeric-id":3010413,"id":"Q3010413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503467$68C5DC6D-0FE8-4C16-AFAC-DEFBC15B2483","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":"Q503467$6000DBA7-77B2-4F0B-AA2B-453A65BE0B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb311be784120e3c267a3604c5f89ac2adc9189","datavalue":{"value":{"entity-type":"item","numeric-id":2465997,"id":"Q2465997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503467$04D2DFD8-BEAF-449B-A084-502132CE7759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67782435c81856906476d249cbb89a86efd5732","datavalue":{"value":{"entity-type":"item","numeric-id":4160379,"id":"Q4160379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503467$56EEB711-6154-4E53-898D-04F84037B71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"441c2439c76352d90f8a50b29d3e757d2f530259","datavalue":{"value":{"entity-type":"item","numeric-id":3588436,"id":"Q3588436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503467$482BD278-4E7D-4820-BC33-D3ED8F003A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"489eba1baee128beadc60730959b25199e852bf8","datavalue":{"value":{"entity-type":"item","numeric-id":3149882,"id":"Q3149882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503467$4D113938-951C-498A-B7EC-2D97DA9E3C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f0cf953aa0a91431af1dfcaf3773839b5f4023","datavalue":{"value":{"entity-type":"item","numeric-id":764366,"id":"Q764366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503467$BE054A9B-E32B-4486-A9EC-43EAC21C122E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee3ce514299b0260ffc055a8d19bb7a89063b03d","datavalue":{"value":{"entity-type":"item","numeric-id":5897999,"id":"Q5897999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503467$F544FE1F-94A9-42B2-B9BA-BD4BFE035289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34101ed4e8ce2c8bca9fc7197b2b3a43ba98e34d","datavalue":{"value":{"entity-type":"item","numeric-id":1854498,"id":"Q1854498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503467$08D6EA72-307D-4AEE-B826-5C75AE549741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7444e974a633833efedd6059662195a8c31635","datavalue":{"value":{"entity-type":"item","numeric-id":4419798,"id":"Q4419798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q503467$B9C086EE-7530-4218-83E6-91CDCDC4E637","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":"Q503467$15C05E62-42C7-417C-9B1F-FDFCCBCCD9C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bf68d8e0bea0835107a1502086d585219636607","datavalue":{"value":"10.1007/S00224-015-9657-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q503467$CCE58580-7B56-47A4-A24D-25BD22D2E619","rank":"normal"}],"P1643":[{"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":"58602ba9474db415d8d6f955365485032139d084","datavalue":{"value":{"amount":"+0.9379311800003052","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":"Q503467$DA9DA4CB-1B01-407F-AC10-56A09D4742FD","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":"feec7b8ca8930a4f22584e0be3b19cde9a913bb2","datavalue":{"value":{"amount":"+0.8834035992622375","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":"Q503467$C173A86F-BC6B-4B36-9367-D5E2659235BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40d57abc841ec10c256301f182c122e19e7c568","datavalue":{"value":{"entity-type":"item","numeric-id":2922601,"id":"Q2922601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe33640174fead00a81f397ddcd3ac05c05e590","datavalue":{"value":{"amount":"+0.8753534555435181","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":"Q503467$0F433E13-F9EF-4FAB-ADA3-805CC6E8735F","rank":"normal"},{"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":"903939fc027e315f1878dc4477fe88eec19f8930","datavalue":{"value":{"amount":"+0.8720262050628662","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":"Q503467$7C921DD5-BB87-4B76-9966-FC787E9E37B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739b66e23da840c3b1e8f4397e7ec6d13025cbb8","datavalue":{"value":{"entity-type":"item","numeric-id":5096910,"id":"Q5096910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0295d281edcd59f883f41eb313bc428565bdab77","datavalue":{"value":{"amount":"+0.8662923574447632","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":"Q503467$FBE8A9C9-9E51-4616-B22C-D38A1D1D9707","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the minimization of (complete) ordered binary decision diagrams","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_minimization_of_(complete)_ordered_binary_decision_diagrams"}}}}}