{"entities":{"Q1313758":{"pageid":1324508,"ns":120,"title":"Item:Q1313758","lastrevid":68720790,"modified":"2026-04-13T01:39:35Z","type":"item","id":"Q1313758","labels":{"en":{"language":"en","value":"Reduction of OBDDs in linear time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 500545"}},"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":"Q1313758$7F5A70CE-8FC4-40CD-BB22-4EA7BD8C2A58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a834afd5e05be021fbc703d33dee2cf6c4cf6fb5","datavalue":{"value":{"text":"Reduction of OBDDs in linear time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1313758$CF0A4505-7CB4-4F2F-8305-A452A3331CE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a1afbd71fef715ca80098a94d690fff128f0c24","datavalue":{"value":"0787.94027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313758$6DC02D4C-0339-4A2D-A1DD-87EC78B37CCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adcb5c3f10619d43d763cf482d854a59c322987b","datavalue":{"value":"10.1016/0020-0190(93)90256-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313758$6E88C6DC-B54E-4FC1-97F1-C199E04A5907","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":"Q1313758$7C784DAC-6C5A-4740-8145-01207F08B0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b3e57da97cbc00a7ce7385e258f05ae9a6ec6b","datavalue":{"value":{"entity-type":"item","numeric-id":171935,"id":"Q171935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313758$E147679A-85DC-4873-A027-BE0F65ED301B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313758$8E5BB29F-3C4F-4489-B2F2-47C67CDB2FC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84bd89f27c8cb1358368760527e3f52344795b6d","datavalue":{"value":{"time":"+1993-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1313758$FF15A55D-CC9D-4E2B-A662-0A43D8C219AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313758$E22C1C8A-865B-4C2F-B9AB-7BE8BA880A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313758$DB8141A3-0A0D-4370-8E38-93FD2360AECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313758$489E0A9F-353E-4738-8487-BC98861E47C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d898d4dd9bfab8db1fe6d5654d885cd38b5c8e71","datavalue":{"value":"500545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313758$3BD37586-92DD-40A6-8CAA-8480A59DA4FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7548428d15fa3ebd0c09a30299ff80b7c7017e35","datavalue":{"value":"ordered binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313758$B27A33CB-A18D-4A38-84CF-8EE29CEDE51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12c0fe133dccaa24238ce144e455bfa0f915d705","datavalue":{"value":"data structure for Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313758$1EF65BCE-A397-4845-BCA2-CCCC9D469DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313758$41CA6FF0-8967-44C7-8717-3EF42A620C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60940348bf99798225a0530a526ee0a90d1684d9","datavalue":{"value":"test pattern generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1313758$A15AA3ED-F33F-4C04-8BE1-742728F157C9","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":"Q1313758$CAEBA6CA-8FBC-4FDA-8E80-FD6493D85C96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fa16a9505a647dd5b21b1c4d2bd4bdd84966637","datavalue":{"value":"https://doi.org/10.1016/0020-0190(93)90256-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1313758$E96BA3B8-74B5-48A3-8902-E81A9B500382","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c77771d518d418391487a331aaa064fb42fe3b27","datavalue":{"value":"W2090233333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313758$157CCB3E-3289-486D-BC65-F9A0332ACF00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313758$651A8496-5158-4812-BF1B-622FB66C16FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0144faf3da4de6d410c51d8371e21d8e32667277","datavalue":{"value":{"entity-type":"item","numeric-id":4156322,"id":"Q4156322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313758$D93E851E-E0BE-4CAC-8C8E-24E05727E658","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":"Q1313758$D3BA89B5-0DAF-4888-ACAF-ED6309AB831A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1cdfb5536a521f63363e276a66d5cafa5c7f9ba","datavalue":{"value":{"entity-type":"item","numeric-id":5628016,"id":"Q5628016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1313758$BC87E7DF-80AB-453E-B9ED-C75C2181EA2C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e72d4a851a4b0e11cde82303b71c18fe87dfb0cb","datavalue":{"value":"Q127723507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1313758$D6469255-C924-4422-8252-5AA5DEA6A7BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9700d50c042f4f1875f2d5f3467ffe9b1fa68f66","datavalue":{"value":{"entity-type":"item","numeric-id":4388806,"id":"Q4388806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd9265e340c8e480bb0d3f8f09b954f497aac9cb","datavalue":{"value":{"amount":"+0.8544774055480957","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":"Q1313758$6CDF7D1E-6905-4059-BD87-FF431DAA024C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f48e731387f559dedd06f31275aaa5710239067","datavalue":{"value":{"entity-type":"item","numeric-id":1570838,"id":"Q1570838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aadfba43bd64da3f50e24ecc0b30554f2082d1e","datavalue":{"value":{"amount":"+0.8504089713096619","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":"Q1313758$09777DC4-FCE2-4C5F-A433-5B00642D3E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e8aefffb2860dc377eddf8a21726151305e1ed","datavalue":{"value":{"entity-type":"item","numeric-id":2754143,"id":"Q2754143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2dc165e13c076e370d92184b68447052697b0c","datavalue":{"value":{"amount":"+0.8486282229423523","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":"Q1313758$D511AEA5-B002-4461-96A1-6A4A962C64EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"472924d7015dceb57255dade52a4621a8ca78f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5929919,"id":"Q5929919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e4a7761e3e1e8c70762f16ccb7a6d950863e6c8","datavalue":{"value":{"amount":"+0.8457710146903992","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":"Q1313758$A937D076-6C0B-41D7-9BA7-DC975579253F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"000c6ff4f507c3c3701af2690d05cbf5c3055643","datavalue":{"value":{"entity-type":"item","numeric-id":4470521,"id":"Q4470521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5cdcf85284d6eb42a44e833f3291e2c25cf3748","datavalue":{"value":{"amount":"+0.8410026431083679","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":"Q1313758$3CE1FE35-0E32-4E05-8D49-71F6C1EE0936","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reduction of OBDDs in linear time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reduction_of_OBDDs_in_linear_time"}}}}}