{"entities":{"Q698440":{"pageid":700289,"ns":120,"title":"Item:Q698440","lastrevid":47988979,"modified":"2026-01-03T07:00:32Z","type":"item","id":"Q698440","labels":{"en":{"language":"en","value":"Efficient combinational verification using overlapping local BDDs and a hash table"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1803026"}},"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":"Q698440$3C70507B-7E1C-48C1-9661-FEF257DE3EFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"191f448acbc710b3227544db3604b4b1fbe2f636","datavalue":{"value":{"text":"Efficient combinational verification using overlapping local BDDs and a hash table","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q698440$A0E338F9-2B5B-45AD-8989-1D25E2F49D0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edc2aba8c446d29554439f23a58f24997821cc87","datavalue":{"value":"1018.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698440$A722DB0E-32F8-4C79-B639-9C20459E6BEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af9541d45ef2bf49a62da83a85a9e1f7f038f65c","datavalue":{"value":"10.1023/A:1016096020556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698440$F8F742CE-D19A-4DE4-92A5-6C7BAE0BE625","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bc124ce89fa598d1dffe7cbb2a96b89f25ba6c4","datavalue":{"value":{"entity-type":"item","numeric-id":698438,"id":"Q698438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698440$69E1DC8B-152D-41BB-8CA7-1E528AB957DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85ea4d300ae65ad1b522cf8654fbcb97fd2ceeea","datavalue":{"value":{"entity-type":"item","numeric-id":685116,"id":"Q685116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698440$8BBC6613-B80C-4185-9438-D8AE946CBAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76d01ab1d969d377df54d6d1e957f4f9f2a29d78","datavalue":{"value":{"entity-type":"item","numeric-id":698439,"id":"Q698439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698440$FF3B6C58-8C6E-46A4-B216-B7CE1AAA8B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97346ca568957bf7c5a6464e2f971d2747a363f8","datavalue":{"value":{"entity-type":"item","numeric-id":685117,"id":"Q685117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698440$DD4D0602-9E32-4E56-BFFC-501A63D64668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18497b56571cbb8acaaf01463edf6d21e46cae13","datavalue":{"value":{"entity-type":"item","numeric-id":685119,"id":"Q685119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698440$E9ED09CB-33A4-45DC-8AB3-357827774B21","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":"Q698440$A6CAE45E-5D21-4B32-9DC8-E03DBD8A9F96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b7d40e35d39a6c5a15c7832f15c6b676b96fd9b","datavalue":{"value":{"time":"+2002-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q698440$32C06C89-0E55-4FEB-823D-7159D0D1B4C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698440$5CF5B9F4-3366-4B9B-9B85-1C9076FB4B8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7c4b8764124e02be03eb74e555e7eebc415fd3f","datavalue":{"value":"1803026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698440$0FD6F34A-94AC-4FA2-9258-2018D423C6BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q698440$F7D00A41-3482-4618-A31E-2DB2E2BAA503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc102e0449916bed142c6bca8e97fe39d159071d","datavalue":{"value":"BDD's","type":"string"},"datatype":"string"},"type":"statement","id":"Q698440$672AB224-4080-46AF-A549-3289882B63C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0884c5f990da54fd3eced7d9df20aa72bf4df34c","datavalue":{"value":"internal correspondence-based verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q698440$0603AC12-EC87-41A8-B85A-FDDF1462613C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"721cd3f771a73322a1a8673acde2a092cdadd158","datavalue":{"value":{"entity-type":"item","numeric-id":22040,"id":"Q22040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698440$BA923302-2943-4297-9D70-4A822C9D4DBE","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":"Q698440$65C7AEDF-9BD0-4AF1-AA82-E4CE255EF213","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f22dd2c0f1a7cd26a6386915c5bf9bbd06131c3","datavalue":{"value":{"entity-type":"item","numeric-id":1606811,"id":"Q1606811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"839a9a69a6e242d747fec6205f8934c3fb222230","datavalue":{"value":{"amount":"+0.7646164894104004","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":"Q698440$A6DA7780-2B70-4939-A647-95CB29AE632C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92b0bf50d5aee346649c1877247469d3c39f1cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5492975,"id":"Q5492975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bd3e0a0ee965657c80614f379701a8b75850db5","datavalue":{"value":{"amount":"+0.7515271306037903","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":"Q698440$EC2AFE08-5072-473C-BC4E-F2A034371C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f2c64ccd62c5b7d5be36bad70e40e75676affc5","datavalue":{"value":{"entity-type":"item","numeric-id":3840902,"id":"Q3840902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771bfaba0331c5f29ff226fb81a710c3e4f9e6e3","datavalue":{"value":{"amount":"+0.748870313167572","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":"Q698440$F73A3966-B782-4B40-A4CC-F0942972BBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83df5d4a9b7f9eacddfaf2aa8cd86bbb7e52e021","datavalue":{"value":{"entity-type":"item","numeric-id":4551143,"id":"Q4551143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eacef80186ab80a19a592dea2ba8d4a6ccef8c88","datavalue":{"value":{"amount":"+0.7478242516517639","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":"Q698440$58BDFB2E-D6C6-49BC-A335-3E05C836E6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c789d9a6d2ec93ba00de3ca763678a1cf6dfee","datavalue":{"value":{"entity-type":"item","numeric-id":5899154,"id":"Q5899154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cbb377c480d9b1d0e4d3ba7c79d7c5338d274f3","datavalue":{"value":{"amount":"+0.7322249412536621","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":"Q698440$EBDAD58F-70A2-4E26-840F-B187D4C1CC05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:698440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:698440"}}}}}