{"entities":{"Q3724245":{"pageid":5754151,"ns":120,"title":"Item:Q3724245","lastrevid":50733512,"modified":"2026-01-14T23:43:15Z","type":"item","id":"Q3724245","labels":{"en":{"language":"en","value":"Graph-Based Algorithms for Boolean Function Manipulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3954822"}},"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":"Q3724245$0C11A18C-1396-4BD7-8B7B-AC58648C92BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00a70fe1583303f0b8ffbe8e27cc34efd6d0bb38","datavalue":{"value":{"text":"Graph-Based Algorithms for Boolean Function Manipulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3724245$B95879AD-46E6-4456-81E0-E71794432786","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee4bf70d317f5eb05731b85512d3630e782c8572","datavalue":{"value":"0593.94022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724245$7B9B1B99-B5DB-4B90-8751-FF197A02DD6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9c245b3355af341dc370a63abe9a67985c71fc1","datavalue":{"value":"10.1109/TC.1986.1676819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724245$F1AA4A3B-D1CE-49D2-BABE-78D554B26ABB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c27d3e0e0b5520ffb8ac40111c3ffad759a39f","datavalue":{"value":{"entity-type":"item","numeric-id":1426129,"id":"Q1426129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3724245$A065D90A-635D-4322-ACCF-60D1A874DFDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3724245$B95107C4-AD15-4BCB-80F4-4CC04709D132","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3724245$31A86222-C09C-43B3-BBF6-D60F6CC47543","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724245$C4DC52E1-9DF3-4835-B6B4-8B5977F61CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"007f7f82691f1d7656215e5be329d57b0bfdf5e7","datavalue":{"value":"94C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724245$3B21C05F-7FD2-42A6-B5F8-AC23DF736FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724245$626F4729-2B78-4D80-A71D-0E21EE40FC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724245$2AA8827A-26AE-47A3-8228-F58E934D0BC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13dd790793bceb37dbf9918795e94f4c92e1ea2d","datavalue":{"value":"3954822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724245$13AC8952-ECE7-4CCF-91F9-D752363B5C43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ce3cac313acf0460c2295aff6a788e3763a112e","datavalue":{"value":"data structure for representing Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3724245$21D174FD-058D-40DB-B9A3-E7BF935B8014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b798b25d6e738f3a2f0694bdef764114298f652","datavalue":{"value":"directed, acyclic graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3724245$469135D0-78D4-4D37-9A61-9C7AC1D6DA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53064f6609fb5177611c085d6f78e739c7e3f7f6","datavalue":{"value":"time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3724245$C4E9A4FE-44C8-48C8-92EE-0B301C96E7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7dcc168e995df46ecdd8dde2ed6392f83743c74","datavalue":{"value":"logic design verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3724245$8D9F7B44-3076-4050-A290-DC025A3C7353","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0d119665f797d364319f4ee3771b49409896a203","datavalue":{"value":"Q56028213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724245$22CADB52-89C9-4DF1-9E24-D1A69FDC7466","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":"Q3724245$9EE6C275-55CD-4F03-94CD-1054CC3782FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9dbed7d5cdb2235aeef8958e766b845adadfdaa","datavalue":{"value":"https://doi.org/10.1109/tc.1986.1676819","type":"string"},"datatype":"url"},"type":"statement","id":"Q3724245$596A5B5D-F3E1-4622-9698-E9C90A414338","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f63ed85ef417b0192f7035ed67300a08e79503b6","datavalue":{"value":"W2080267935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3724245$EF6E90E8-E1CE-410D-A461-7330B52C913A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f629899c30d9b52679db7067f9532ddef1ac3fd","datavalue":{"value":{"entity-type":"item","numeric-id":1330665,"id":"Q1330665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ddeb1acda2cebdca64713b44d4afafe59255cf","datavalue":{"value":{"amount":"+0.8623270988464355","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":"Q3724245$2EF3AFB3-5DF2-4CAF-B33E-3477E4E23CF3","rank":"normal"},{"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":"b5ddeb1acda2cebdca64713b44d4afafe59255cf","datavalue":{"value":{"amount":"+0.8623270988464355","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":"Q3724245$23838A96-FBFF-4D1F-8AE3-2E9BA56B5180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b96257b64e53cd1ec7fc5a13141ee0036d5a393","datavalue":{"value":{"entity-type":"item","numeric-id":3783976,"id":"Q3783976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7c343e7034193b81d511e2abc2396158a5606de","datavalue":{"value":{"amount":"+0.8477600812911987","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":"Q3724245$5E111992-CC88-4F66-B84A-102037D70370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"525cd79179a87d0fbcd0cbac1ef38caca4d35aef","datavalue":{"value":{"entity-type":"item","numeric-id":4934627,"id":"Q4934627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e9d309e4dc8b22fd84561860c9ddf810daf969c","datavalue":{"value":{"amount":"+0.8395191431045532","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":"Q3724245$1306093A-945E-4C20-A1B2-7D6612826B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"884b5fb583b3564661e83be3959fce7d4aed8cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4281654,"id":"Q4281654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70d4cc49d4ae5f0f36a2cdae82aa4121b09f4dad","datavalue":{"value":{"amount":"+0.8372417688369751","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":"Q3724245$5C792AF4-05FA-45A3-9E53-0812B1DCCEB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3724245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3724245"}}}}}