{"entities":{"Q4420904":{"pageid":6450503,"ns":120,"title":"Item:Q4420904","lastrevid":48156736,"modified":"2026-01-03T19:44:56Z","type":"item","id":"Q4420904","labels":{"en":{"language":"en","value":"Formal verification using edge-valued binary decision diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1966830"}},"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":"Q4420904$940502C9-C298-45F3-97C9-EAAD86764342","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12b86e8d801a3716313e1611294b314b227fcd69","datavalue":{"value":{"text":"Formal verification using edge-valued binary decision diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4420904$467CF504-4A44-4F62-8149-4A293187E1A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d11468c7675fd7f8372c3503a499bdce779cbb0","datavalue":{"value":"1068.68658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420904$3C3D98B6-0F92-48D0-959B-850586F41569","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d88a91368c256f9bffe8bd69dca9cd4ee3abc8df","datavalue":{"value":"10.1109/12.485378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420904$E554149E-93A0-46F4-9E68-62539BB5F184","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"495371b2ad8a5a0ce0712d396059ac9b2f4aaa37","datavalue":{"value":{"entity-type":"item","numeric-id":4420903,"id":"Q4420903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4420904$C7487A97-7336-4133-AB31-2EF18650CB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c07583ff6efa6ff9078defc141bc1e808ec012c5","datavalue":{"value":{"entity-type":"item","numeric-id":1965270,"id":"Q1965270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4420904$2F2B6D7C-2019-4E13-B847-F806A1C8C44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f8db6f5cb3d37e636cb4bf1cf03b59594659c49","datavalue":{"value":{"entity-type":"item","numeric-id":4419637,"id":"Q4419637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4420904$88171522-EE91-46FA-9AE3-055F8C74193D","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":"Q4420904$2CA31DAD-9485-4A32-80F2-60F4C2814B29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdcbbe6751005b5a25abaf14031c72afec06c29d","datavalue":{"value":{"time":"+2003-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4420904$E960F309-9FDF-4ACD-A285-CB44F99BFD4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420904$854F65FB-EE44-45A0-94C9-AF7A4F7377F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420904$92DCAD60-93E2-4F62-B7A1-8EE2A817C02A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0531694e498e264e9afa1725580133991fc7f199","datavalue":{"value":"1966830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420904$06749B7C-8C0D-4248-A7C3-EA9EB5CAFEF9","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":"Q4420904$E7A7C9CB-7030-4713-891D-EB6D8804A169","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"620ced2e97c4732a42598a438cff57702679f13d","datavalue":{"value":"https://doi.org/10.1109/12.485378","type":"string"},"datatype":"url"},"type":"statement","id":"Q4420904$D0B7883C-0455-4862-BD91-D2484F80505D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"daccc051321bf2aefe9597dd068ee69eb5dbef18","datavalue":{"value":"W2118235397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4420904$F86E9DE4-2808-4B0C-AE43-7C59AFA9B9D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d11de59f44ce3143ea2402e91e66ec1108d27ba","datavalue":{"value":{"entity-type":"item","numeric-id":4885885,"id":"Q4885885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"090f5c8948137c766ad08547b55fad0660158af2","datavalue":{"value":{"amount":"+0.8652620911598206","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":"Q4420904$8AA17FB5-D40C-4037-8419-7BE975434749","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":"0421876cfbbf6868bd56e710cfe3719a4ec544c5","datavalue":{"value":{"amount":"+0.811587393283844","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":"Q4420904$7ECD5FE1-69AE-48E4-ABA3-FD9C819097C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea6c8e2af9fafe1ccc5cada5a80331595eb199c2","datavalue":{"value":{"entity-type":"item","numeric-id":4931290,"id":"Q4931290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f37d2f25db051ca873525300f78bb3ddb0fe4cbe","datavalue":{"value":{"amount":"+0.8090459704399109","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":"Q4420904$3EA0496B-C676-4831-B6C6-F5490ACC2833","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":"2312b621f69e99b3cc78ea8b78c09fb3bd8b49f5","datavalue":{"value":{"amount":"+0.7985855937004089","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":"Q4420904$7C2314A4-F339-4D33-BEAA-58F2EEE70F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce67737928309119a68430e16d51b9628f737f31","datavalue":{"value":{"entity-type":"item","numeric-id":3176365,"id":"Q3176365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee5eb0c248f72eb9c9e808ea302f47a87adb577","datavalue":{"value":{"amount":"+0.7985544204711914","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":"Q4420904$B8355201-908D-458F-8944-48A1191487B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4420904","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4420904"}}}}}