{"entities":{"Q4636642":{"pageid":6666223,"ns":120,"title":"Item:Q4636642","lastrevid":90538745,"modified":"2026-06-04T20:38:07Z","type":"item","id":"Q4636642","labels":{"en":{"language":"en","value":"On OBDD-based algorithms and proof systems that dynamically change order of variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862135"}},"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":"Q4636642$C73AA3DF-1D1F-4409-B2BB-BE7D4CA06030","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86ca2d11176532e8cc869c4f053a2f968284bea9","datavalue":{"value":"1402.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636642$CEC6D2AD-71DE-49E8-A29B-35757957A260","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9dd58384b41cd0e0a1a2a3006084e0e7c07e0e8","datavalue":{"value":{"entity-type":"item","numeric-id":413275,"id":"Q413275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636642$C24A1533-A659-4E99-B1CE-50EA63E016D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9ec1f3506837cdbc96572a8b9752777c89e7629","datavalue":{"value":{"entity-type":"item","numeric-id":1635509,"id":"Q1635509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636642$562B4341-73B6-42A2-BD18-D9481A058BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"801443bcdf7411de1b6e68c3a4294f9eec71cb12","datavalue":{"value":{"entity-type":"item","numeric-id":235580,"id":"Q235580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636642$97B26C31-AD05-4C2A-A61B-8F1BA750BF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf90adf2f8c4be6bf83c172c6d96044304e5e2b7","datavalue":{"value":{"entity-type":"item","numeric-id":508471,"id":"Q508471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636642$F1982022-7909-4050-B04C-A9F64B05015B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3ac251e44e84bc30b6cb9875893b13ee454afd0","datavalue":{"value":{"time":"+2018-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636642$2C8A5447-D973-4190-B163-092EAF3590B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636642$339837D4-5C36-453A-89AD-45F10C7BC2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636642$A0538141-F14F-4DFC-9BE4-A3C6328C65E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636642$B0C72732-7014-49B1-A897-2DE5C33ADBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636642$89BE5CA1-2582-41A7-9DD1-76D8F7AA3B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e51adb5fded8427aba510fd00c59eaf339cb8e95","datavalue":{"value":"94B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636642$E45B3A86-251F-4325-983D-6E90646B6C5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f2554ac20ce2a3f69449f649cf0401823ca2bd8","datavalue":{"value":"6862135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636642$B162F5D4-E965-467F-B423-7716387ED899","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636642$DF8FDD68-C4BE-4CE7-A94A-E386268A91DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019fe5dbaa04d87aa1941be9ff79847ba89eafc8","datavalue":{"value":"OBDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636642$A78E1DAB-AF20-43F2-9709-7821300CFD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4771e87024379a127eeb5cb825da92270294fe37","datavalue":{"value":"error-correcting codes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636642$62333D1E-1C97-42EF-BBBA-BBDC8D787B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34ec795426031d68d018b596ca24ac2227ef02e9","datavalue":{"value":"Tseitin formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636642$9B4DB3E0-CCCC-4B4A-8FBE-F33C49E59351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89b097773537f6be57565fe94a10dc3fe9a9882f","datavalue":{"value":"expanders","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636642$57EC47C5-4C25-4507-8D5F-C92A6F36C965","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":"Q4636642$FEBDB1CA-CA28-4AE0-B6A6-6C5C1E0D763C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e33cb46988129421dc69981302f873fd7391ca3c","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.STACS.2017.43","type":"string"},"datatype":"url"},"type":"statement","id":"Q4636642$C64390B7-22A1-4D77-BE44-EA489440AD4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"015d09058c4d95a487290996c703c8ee6f0601e0","datavalue":{"value":"W2604339840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636642$677DD41C-C6DB-4CAE-8C44-174CB7ACB36D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdff4ac5c834de2d478c333e3d4737bded4c2eba","datavalue":{"value":{"text":"On OBDD-Based Algorithms and Proof Systems That Dynamically Change Order of Variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4636642$3F604481-373E-4A3A-86C1-F51EB9A48B6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"149a700818f2635dcc419587cdbef45f0f933164","datavalue":{"value":"10.4230/LIPICS.STACS.2017.43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636642$B42787C5-0F3D-4BBF-B911-0D844F4D036C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c42251eb8c74163d8a65918642b6681c353a8233","datavalue":{"value":{"entity-type":"item","numeric-id":5148102,"id":"Q5148102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f37b12e96b367dab2330108274080c83683f8d91","datavalue":{"value":{"amount":"+0.992486298084259","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":"Q4636642$A9501C12-17F9-4F04-AEAF-946328696351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a9053cd0221d8b2d7979e401c42852b126cc7e0","datavalue":{"value":{"entity-type":"item","numeric-id":5121904,"id":"Q5121904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d145470abb84adf0bdfba673e684ebebf846852a","datavalue":{"value":{"amount":"+0.85817551612854","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":"Q4636642$2F94ECCE-2442-4F4D-8CF4-86D9AA86A854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a031041be2d3201c96b1788bde5872167c8453b","datavalue":{"value":{"entity-type":"item","numeric-id":5056355,"id":"Q5056355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d4984ca8dca86b658c5312b769c118ff9b49c15","datavalue":{"value":{"amount":"+0.8497872948646545","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":"Q4636642$59E26F4B-5569-448C-83A4-9E9EAFDA786E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11507ff6897153303279240edcb405f5eaa09839","datavalue":{"value":{"entity-type":"item","numeric-id":4928478,"id":"Q4928478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188424c64f8a11358bf237f409ac845e98c29b9a","datavalue":{"value":{"amount":"+0.8471213579177856","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":"Q4636642$CBCB3769-2CF4-4DEB-B250-6D3827797DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e7036203ff91a735f5ded6de1fedc2f4aaee29","datavalue":{"value":{"entity-type":"item","numeric-id":3006476,"id":"Q3006476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b9fca508f25521dac710286100037c16353900","datavalue":{"value":{"amount":"+0.8184754252433777","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":"Q4636642$5FE270C9-6171-4C83-A451-3919EAFA0F7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On OBDD-based algorithms and proof systems that dynamically change order of variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_OBDD-based_algorithms_and_proof_systems_that_dynamically_change_order_of_variables"}}}}}