{"entities":{"Q960509":{"pageid":962357,"ns":120,"title":"Item:Q960509","lastrevid":50531009,"modified":"2026-01-14T07:41:25Z","type":"item","id":"Q960509","labels":{"en":{"language":"en","value":"Hiding propositional constants in BDDs."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5477975"}},"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":"Q960509$28545254-5DD7-4012-9617-B828FAD85ACE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a7291c8dd6edfbd6633d79bacbff364aa6577b6","datavalue":{"value":{"text":"Hiding propositional constants in BDDs.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q960509$4857A53B-04D9-41C3-A613-6E2ABB30A765","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd26c20e5f7658d85bcb489f571a08b26a1a9c34","datavalue":{"value":"1425.68088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960509$332AFD3E-2EF9-4273-8653-D1EC6BCBD016","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdf8fd95bd52785555cd43a518fea64be68bbc49","datavalue":{"value":"10.1007/BF00121264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960509$A244D298-E3B8-4B46-9FE4-6B665D145EFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960509$46D4BCC7-4A8C-4A8F-B652-0E542A2F7F1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q960509$E96C6330-C087-4E7D-BD5B-9F32CBFEB955","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e585f09c3e724b05f201668ef36e38cb4b3cf3a","datavalue":{"value":{"time":"+2008-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q960509$3FE5475F-8986-4D0C-B35D-AC22BBB6D796","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960509$59D3F549-1DFC-42E9-920F-C7647AB66590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960509$640428DE-204C-4477-A2C7-AB46ED2DA042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960509$A78156F0-2A81-4509-B5FB-13915BF825A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e9457ce97fa60c5bbab6bdecc1a3e5c30ba644e","datavalue":{"value":"5477975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960509$C88A1BDF-BD66-4096-992C-8DF7CB713F68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5670d071866a3d53f623260620b05efb6ac7d49b","datavalue":{"value":"binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q960509$B5F1D817-125C-43B2-8932-6DE6D32202D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q960509$5655DF97-2DF1-4C3B-9D8F-BD64AEBB99AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da8d3ed2d75a186d489c0b3ad36ff6622fe69c87","datavalue":{"value":"satifiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q960509$7018129D-6364-4107-81FA-5C629CB1300C","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":"Q960509$068E9FBE-1C48-46D7-989C-E94B877281FD","rank":"normal"}],"P223":[{"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":"Q960509$3D8A3400-BD2E-4084-8390-F14F1B1AA72D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"014138d2ca6439611c95f279432e2fb07d3e7634","datavalue":{"value":"https://doi.org/10.1007/bf00121264","type":"string"},"datatype":"url"},"type":"statement","id":"Q960509$0E621955-9028-4C08-9DBD-D0803464E408","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"829c4f27c57454f9f164ffef49339d0513b0b2ab","datavalue":{"value":"W3016442180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q960509$B5DC56C2-B436-409F-8E5B-6ADB56074475","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7e5f2222166d346b9ba8eac3f106e551b834a0","datavalue":{"value":{"entity-type":"item","numeric-id":1426055,"id":"Q1426055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"861818aaf771528857e04d9b8efcaf10e3f00993","datavalue":{"value":{"amount":"+0.7371546030044556","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":"Q960509$ED36E771-3AD1-4613-BF9C-1A9CC6C45C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86572fb6fb3c840ab9b63220bf0ccf1b10386756","datavalue":{"value":{"entity-type":"item","numeric-id":3434726,"id":"Q3434726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a40d61677b2addb56fe37951cbca30e4c754a930","datavalue":{"value":{"amount":"+0.73602694272995","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":"Q960509$0E641A20-9B2E-4B9A-85C8-DA6096BD33AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22d4cde8cf626bcd748856e695edd6b05609d4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1428568,"id":"Q1428568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc6a7f9eb1d1045d4170a1f3f52dfaed955209c","datavalue":{"value":{"amount":"+0.7288091778755188","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":"Q960509$FA51108C-E0F2-4D0C-851E-B576D50FA746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f62e583904d8d233223712bb75b6d1a87ffc311","datavalue":{"value":{"entity-type":"item","numeric-id":3543649,"id":"Q3543649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b03c32c5a14f5050b8af6bcda55709fe5feaf03a","datavalue":{"value":{"amount":"+0.7122082114219666","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":"Q960509$85A41351-23DF-4DB2-A5CE-30218BA967C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb99e5e0ba057c6fe232d3763db011a9f9be580b","datavalue":{"value":{"entity-type":"item","numeric-id":4791838,"id":"Q4791838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94fd28edd491b4649a0046524f3411fbbdde7389","datavalue":{"value":{"amount":"+0.7097252011299133","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":"Q960509$2A67BD6D-1986-4157-BDD7-ED2ECC22F17F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:960509","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:960509"}}}}}