{"entities":{"Q4645202":{"pageid":6674783,"ns":120,"title":"Item:Q4645202","lastrevid":53315558,"modified":"2026-01-24T17:25:24Z","type":"item","id":"Q4645202","labels":{"en":{"language":"en","value":"OKFDDs versus OBDDs and OFDDs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999456"}},"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":"Q4645202$2AB71127-A770-4C18-8DCE-E1181A62D6FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9f8746b193ff389192c3ebc999ed536751dc2f1","datavalue":{"value":{"text":"OKFDDs versus OBDDs and OFDDs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645202$B1D49806-0F9B-4B8B-981A-DEC50F12A0F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d0633f9782c5753646ca208cb58422a8bf50e27","datavalue":{"value":"1412.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645202$483FA928-6561-4EE3-83BF-F756A7A641F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3ccc86e1b7908ac0706d0f1667d17d4933040ae","datavalue":{"value":"10.1007/3-540-60084-1_98","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645202$CDDE501D-23A4-428E-BA4A-F9BF77E6A262","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0db1c1d4758cc84ba91e5181bfa794ba378ebc68","datavalue":{"value":{"entity-type":"item","numeric-id":402124,"id":"Q402124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645202$02D0A8AB-945B-4D7B-87DE-AA490900B2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8557fccb2ce533d97ebf9c091249964e10d21dae","datavalue":{"value":{"entity-type":"item","numeric-id":294812,"id":"Q294812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645202$C3D0265A-2A9F-4F7B-94DF-303657803C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fa93541590d82299746591cd06aaa4d51169a4f","datavalue":{"value":{"entity-type":"item","numeric-id":1000406,"id":"Q1000406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645202$45E39C61-B2B4-4DDE-AD72-52EAC60B1015","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645202$5327395C-4D17-4AA6-B656-A40168758B6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645202$1D6F50B3-AB7B-44E5-821D-DE5F5B48F2C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645202$539C1984-9E3C-4F00-8761-D35148977B70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06b9508f6277b1b30068a06a14f93c376dcefedf","datavalue":{"value":"6999456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645202$82DACCE1-1296-4D81-915F-68A31FAEA20D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645202$64578AC9-132F-4994-821E-E0CCCAB6E35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3b55ee4188e69dcab1110cea1e3b6d41f8d2d65","datavalue":{"value":"design automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645202$EF78C5AD-4AB2-4189-8E34-F69DA1CA7609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8ff9835d0ce14c1e0e97361ac98ceb82a1a5521","datavalue":{"value":"terminal vertex","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645202$EDD44437-A2CC-4378-97AA-D3A2D690B7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21d12200322c1c48b47bfea571d0812935e9db22","datavalue":{"value":"efficient representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645202$83E95844-0142-4054-8039-13FD291EF2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9534f5f2c0178e77efb395c4a24bf7260f7768b4","datavalue":{"value":"polynomial size","type":"string"},"datatype":"string"},"type":"statement","id":"Q4645202$1F6CFAB3-B9A1-48FD-8697-34BE6A813A6C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a4f30f50d04a0164bb80f6f40e509f5c2fb97ea5","datavalue":{"value":"Q59243126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645202$706CF5E0-A067-4ACE-A45E-B287243E69FD","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":"Q4645202$C9778C80-F1E9-4C76-AF53-8B9E01913B40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d72bce934f7acaf309f4c57a3896a709e7613b22","datavalue":{"value":"https://doi.org/10.1007/3-540-60084-1_98","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645202$1B2AAB5F-38FD-4FBF-A7DD-0E13E93F2E95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d026dcfaab63572c25e56f949525e3aa52961642","datavalue":{"value":"W1524912049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645202$B103F2E7-A754-4F36-AD8C-6CA1B01858BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a25cb2b7c4b0e1fbf01fe9284c5c60664f98f2e4","datavalue":{"value":{"entity-type":"item","numeric-id":1908345,"id":"Q1908345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645202$58934240-EEB3-4C59-995A-3BD89B5D566C","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":"Q4645202$CA44E8C4-3C20-4463-B0DE-9E959FFE194C","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":"Q4645202$C1B499E9-C5D1-4511-B3B6-5115080AD59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b7988c704034e177d52c75fa599b21cdd056785","datavalue":{"value":{"entity-type":"item","numeric-id":4420806,"id":"Q4420806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645202$A4B4DD47-E372-4B67-8EE0-9602913574F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8624ac8b08c43bff2290ca70392ccbd3bba72141","datavalue":{"value":{"entity-type":"item","numeric-id":3762226,"id":"Q3762226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645202$56DC0B05-EEF2-4ECE-B52D-5133AA53477A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddfab81485ed471bff36b896f23e3dac1d1eab21","datavalue":{"value":{"entity-type":"item","numeric-id":4885887,"id":"Q4885887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f719d2d1f06aaf914a0996a6c3671cb6f9ab38a7","datavalue":{"value":{"amount":"+0.9157408475875854","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":"Q4645202$4BDED807-8E68-40E3-96BA-7089BAC9B446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1dca324120ddb9e7c2aafc7ee4afa691ffaf39","datavalue":{"value":{"entity-type":"item","numeric-id":1908345,"id":"Q1908345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e31eab47537893dc833eb6bbb204a864704ca6","datavalue":{"value":{"amount":"+0.8814264535903931","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":"Q4645202$D808FF8A-6582-488F-B10E-B10E4CB851AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b23a66b3ea8973f6022153552b744b9ae0fc541","datavalue":{"value":{"entity-type":"item","numeric-id":5096325,"id":"Q5096325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ad1911c508b1a9ac0beafea9e9c6555a1bdf86","datavalue":{"value":{"amount":"+0.873540997505188","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":"Q4645202$BDC6168C-51AD-4596-8C77-5AA8657CD9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a803327d011e6106c33ff7686f353408035a198","datavalue":{"value":{"entity-type":"item","numeric-id":4511219,"id":"Q4511219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3311e1e18aa629d99b6cda1bb0ea15d8f963b2de","datavalue":{"value":{"amount":"+0.8734164834022522","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":"Q4645202$CE307045-FD84-44BB-91AE-AB2B8224D3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f38647e215ffa0eb6960a2c3a6a4765d300310fa","datavalue":{"value":{"entity-type":"item","numeric-id":4885895,"id":"Q4885895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb93c6678e0422046487701980e427bdd61b3d5","datavalue":{"value":{"amount":"+0.8641471266746521","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":"Q4645202$E6FE0C8C-4053-4A08-8F0A-55C1959845B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645202"}}}}}