{"entities":{"Q5747668":{"pageid":7777219,"ns":120,"title":"Item:Q5747668","lastrevid":41887316,"modified":"2025-05-09T10:54:43Z","type":"item","id":"Q5747668","labels":{"en":{"language":"en","value":"A Mechanically Verified AIG-to-BDD Conversion Algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785358"}},"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":"Q5747668$A17B2958-A68A-4156-939A-86020249AF06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"710bd735e05ff7f26a1305020306ade19f36dabd","datavalue":{"value":{"text":"A Mechanically Verified AIG-to-BDD Conversion Algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747668$5504AC32-5F4C-4FCB-94B8-1C92B9FD068F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16c2486e451ad8977a5922b309483f60b3af7a68","datavalue":{"value":"1266.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747668$F9CEB3FE-7C6E-4C50-B38D-F6862EF0249E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4aca65055a820d35d7c88f17d848824acb00982a","datavalue":{"value":"10.1007/978-3-642-14052-5_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747668$096E0C8A-7DD5-4E46-AFCD-3733B9FD7708","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"adc349d912c88af52e08d65ed04aff6f75f7b039","datavalue":{"value":{"entity-type":"item","numeric-id":5747667,"id":"Q5747667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747668$7DF2A9A1-54D2-48F9-98A2-ADE961D16AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c816a025bc6f755e450b819056444c0dbde28149","datavalue":{"value":{"entity-type":"item","numeric-id":1327710,"id":"Q1327710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747668$2EDFDDAC-6D1B-4D13-A0E1-DA2E0E50D795","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747668$30CE47EF-6485-40F6-837D-F82FC5D79624","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747668$078288EF-34D8-4D2E-BF8F-4C2FFF71A425","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747668$E31370A1-D5D3-49E5-A933-B43B89C7FDBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b587db75bd877cbff0065d03208c76095c44dd3","datavalue":{"value":"5785358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747668$96850736-E511-4EB0-893D-CD421E13E42E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747668$FED2FD1E-7E3B-4561-84F8-F52489F04E0B","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":"Q5747668$220A0876-6479-4B8C-939A-740ABC350C80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5daac4294876b12d0be7c5a845dc805d50d1af9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14052-5_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747668$99294E08-49CC-4C53-BE88-C958505AF121","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e558fcb93dcdbfc1e05e56b5550b5be6073c6683","datavalue":{"value":"W1534871961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747668$26E4EAFD-2144-47B8-8DE3-DE8D0B8F283C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d613a0cb227f616c14f21f539ade199217403f","datavalue":{"value":{"entity-type":"item","numeric-id":2754095,"id":"Q2754095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8c1d00e66f6721e505fe006bc544424062fbd3","datavalue":{"value":{"amount":"+0.8079065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747668$B7563049-C5A6-475C-BA4F-41F08BDD2BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7407d5e0c1e7e2bb076ee64005c0e540ede77cf9","datavalue":{"value":{"entity-type":"item","numeric-id":1810852,"id":"Q1810852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39e3707307c82b8b8334f4fb24d755a75a6e5854","datavalue":{"value":{"amount":"+0.8079064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747668$6908D960-BD0C-4EF7-A711-643CCE446663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efd67c0f7e76c76ece8bed463c26443822fdc8fc","datavalue":{"value":{"entity-type":"item","numeric-id":1595926,"id":"Q1595926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e0ace7445b549f87bdd0d11bc09104f28ed6dbf","datavalue":{"value":{"amount":"+0.80303067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747668$FCB8C801-DAFD-4318-897C-DCFB300C7643","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":"4426a5b06874f3d7df109dcc446e4249dffa1b80","datavalue":{"value":{"amount":"+0.8002663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747668$76820504-9273-4DB9-946A-CAF5193DCE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"550bf230c50f1f956056b5b02f6f2b9b40d15d07","datavalue":{"value":{"entity-type":"item","numeric-id":820129,"id":"Q820129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d21a3a566acb6d91c5fadb19d983aee1f6c6acf","datavalue":{"value":{"amount":"+0.78866297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747668$EC9C50BD-007B-4885-9EC1-F01192C42473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9eaf945a21b4d5816b4dc2ceff4d3180779f4c0","datavalue":{"value":{"entity-type":"item","numeric-id":4472456,"id":"Q4472456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be1673804c9ddf2973d3cf42e3860acf3c837e1e","datavalue":{"value":{"amount":"+0.7869106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747668$2B4368F3-F4A1-4C07-9EF0-ADAD98419F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb22bdcdf246b48fc2c2b9aeb88cd212c0a9535d","datavalue":{"value":{"entity-type":"item","numeric-id":2576574,"id":"Q2576574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b267fa97a2ea6039f3fcd8bd25f968dd98e8227","datavalue":{"value":{"amount":"+0.7858255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747668$D9576AF7-E52C-400F-9B10-01EAEB20F66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8615d19d270bc0a9f6a9844c46bfec5f803022ee","datavalue":{"value":{"entity-type":"item","numeric-id":2844927,"id":"Q2844927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c2f946583b03bc216f1118536ad91cd69485968","datavalue":{"value":{"amount":"+0.7849065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5747668$71119719-DE7D-4448-8ED8-F63ADAD6E777","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747668","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747668"}}}}}