{"entities":{"Q3628525":{"pageid":5658431,"ns":120,"title":"Item:Q3628525","lastrevid":87536114,"modified":"2026-06-04T11:55:39Z","type":"item","id":"Q3628525","labels":{"en":{"language":"en","value":"Sequential Equivalence Checking Using a Hybrid Boolean-Word Level Decision Diagram"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5555546"}},"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":"Q3628525$0679C3DD-64BB-4B38-9217-AD034FEF348F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c511100ab14f8538a704a348017f0355cda7675c","datavalue":{"value":{"text":"Sequential Equivalence Checking Using a Hybrid Boolean-Word Level Decision Diagram","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3628525$69EB9C86-4D2C-41C4-BF96-3ED966270029","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97f0ad4128064b2c8474ec728f9ae66d2ed3b021","datavalue":{"value":"1188.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628525$E7867908-C952-48F2-A996-D44DD68326D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"066cdeeaaf8d12c19e412ad7bbc610577783d724","datavalue":{"value":"10.1007/978-3-540-89985-3_85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628525$6D8FB929-0601-438E-A27C-681E98089F89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fac2688ba0f82b209faa2296c370ee798768029a","datavalue":{"value":{"entity-type":"item","numeric-id":2982232,"id":"Q2982232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3628525$C52B1DA7-29EB-4E8C-B39A-E33985A69193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7e9556fdf51de0d72d9c6d19343bfd14f1e1dd1","datavalue":{"value":{"entity-type":"item","numeric-id":728779,"id":"Q728779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3628525$270D7255-FD1D-455F-9E25-320C48A9D7DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4077ffb18414bbb2357751629d411d50e25c5a0","datavalue":{"value":{"entity-type":"item","numeric-id":345896,"id":"Q345896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3628525$790548F0-55F4-444B-AF56-CC5E9055E7FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156a3c6661c249635ccf68f02d9443cc24aebf14","datavalue":{"value":{"time":"+2009-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3628525$FB87F8F3-A8E2-4AB5-AB02-F5D4AC484246","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628525$882F35CC-59EE-4C11-98D6-D85E35F56923","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5d19e66a379c4e750cde4f5e88cefecac390f1f","datavalue":{"value":"5555546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628525$0B62E2B6-E73D-4DC6-A3B3-676B8AE97530","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf70e3f4f3149f0ef3e1a196eca896ac05891bcc","datavalue":{"value":"sequential equivalence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3628525$D78EA95D-732F-4D26-BB4C-687BA94FC673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3628525$E14F0523-D59B-4667-82D1-D35378F20964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11fb6f355ebdefde96a101efd6d0b385dbcabf6c","datavalue":{"value":"system on chip and canonical representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3628525$AE291CB8-8DD2-4F49-8FDE-36079D1FBFF0","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":"Q3628525$25E2F0DB-ECB6-44C1-8E94-7751163A01CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5144a1b1a3c62c190bc4872f935eb2915fbe095d","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89985-3_85","type":"string"},"datatype":"url"},"type":"statement","id":"Q3628525$96BB0E6C-690A-4401-AAC3-BBD7BCCD7763","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f3eab102fd252cf1b5a41e8be9ce2fcc92ed405","datavalue":{"value":"W828287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628525$E9FC1941-2E3B-417B-A299-BF802604AC98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a56b756fcb81161749b861092c1cc65647dd9b99","datavalue":{"value":{"entity-type":"item","numeric-id":2369884,"id":"Q2369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3628525$0F05AC21-45A2-48BC-A75C-443B4C030F06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65dc50fa68ce24046feb85c49d1d9575e87561ac","datavalue":{"value":{"entity-type":"item","numeric-id":3510792,"id":"Q3510792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2711ea62810e35154c80ce004a25364f59cd2b2b","datavalue":{"value":{"amount":"+0.7841887474060059","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":"Q3628525$C6B13A3B-7843-4646-AA10-C8CB40294023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d96b7548c1a7539d92f24bd1b60d54b5e9a694","datavalue":{"value":{"entity-type":"item","numeric-id":2783110,"id":"Q2783110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf3c635b04300077101a3a7e8cec9a87e4cc99c0","datavalue":{"value":{"amount":"+0.783966064453125","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":"Q3628525$8ADC2E5D-A4FC-4350-99E1-7C80E3739295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a9e85c383fe41407b3aa61df74a39f4733a69a","datavalue":{"value":{"entity-type":"item","numeric-id":2746577,"id":"Q2746577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fddf49678f768130ad7cddc56470590c395d4a36","datavalue":{"value":{"amount":"+0.7713600397109985","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":"Q3628525$D37C7FA3-0269-4A21-A718-E73039AB880E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15ebd5378f9b7d5c2cb4f37c84a8854576f84c08","datavalue":{"value":{"entity-type":"item","numeric-id":3574330,"id":"Q3574330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af468d0077bfc56f0e20654cde0997f9eed59ff9","datavalue":{"value":{"amount":"+0.76922208070755","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":"Q3628525$3A745A44-AFD7-444A-87DD-660A24D6A9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd409c17aa4be5206703b529c25236352fd49eec","datavalue":{"value":{"entity-type":"item","numeric-id":3842661,"id":"Q3842661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb8c6a27300f24b677d514110ab66e9a24d40ac","datavalue":{"value":{"amount":"+0.7567839622497559","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":"Q3628525$78A9CCFD-6B5C-4520-BE79-63904663A933","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sequential Equivalence Checking Using a Hybrid Boolean-Word Level Decision Diagram","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sequential_Equivalence_Checking_Using_a_Hybrid_Boolean-Word_Level_Decision_Diagram"}}}}}