{"entities":{"Q4788463":{"pageid":6818043,"ns":120,"title":"Item:Q4788463","lastrevid":74784420,"modified":"2026-04-15T00:19:34Z","type":"item","id":"Q4788463","labels":{"en":{"language":"en","value":"Verifying integrity of decision diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857263"}},"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":"Q4788463$9A4C4F9D-8AA7-461F-A993-40F195FEDE64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d46735ead26bbd6bb1c0a1dee381283fd385abfd","datavalue":{"value":{"text":"Verifying integrity of decision diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4788463$62DB9218-FE77-470D-B700-E17C3E363899","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d94f266c0203c3cb2cd0ebaaccb7df42b11d18a2","datavalue":{"value":"1011.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4788463$FDE43BA3-BEB5-4380-BBC9-B332EC122DAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae012827c559cafd7a860080da152c63064c76a6","datavalue":{"value":"10.1016/S0167-9260(02)00042-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4788463$70DF1E59-77DC-45DB-8B3D-76B5F02C989D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8557fccb2ce533d97ebf9c091249964e10d21dae","datavalue":{"value":{"entity-type":"item","numeric-id":294812,"id":"Q294812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4788463$D13A467A-F953-461B-A8CF-7512E739836C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"addc2942fedafeb72529951bfc3e796c4ffe6a9a","datavalue":{"value":{"entity-type":"item","numeric-id":2734603,"id":"Q2734603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4788463$714CE674-AE44-40F7-A64A-F1439AEF44FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe4d656bc753de8fe63b9c6415e1533c06bac5d3","datavalue":{"value":{"time":"+2003-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4788463$A642AC07-852E-49BA-9FE3-26CB4BC197CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ba0db88ec1d9208c9b2d78c4b1e523872c7ec39","datavalue":{"value":"68U07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4788463$5D296885-8626-4DAD-BFDB-82E659FB5016","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c159dbdbb17ff0dfd847ac1ee650bd127d4999f7","datavalue":{"value":"1857263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4788463$7D0B2B6B-5176-49E6-989B-ADC569866195","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac96a2f22a70bfd38f9cadedd5174277da29a40","datavalue":{"value":"VLSI CAD","type":"string"},"datatype":"string"},"type":"statement","id":"Q4788463$FDD2E820-A1E3-4F7D-8E84-3A50B29F41C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24e39077ae5c4d0280d57eeaf4e158673ab046be","datavalue":{"value":"symbolic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4788463$EB5163D3-CD77-42C9-A657-3B126269BA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f1e501aedff2a30d1cb7cf8206bed958b714c69","datavalue":{"value":"manipulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4788463$33127B48-8AC3-4754-8D92-60D768087B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4788463$AD6A00F5-11BC-4DFD-9A18-414719937847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"065949c64c7f74796926d91a1655ecb44111ae56","datavalue":{"value":"decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q4788463$D2E8C126-2D16-4082-96FF-7D3180F696C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a0a073691266b0ecc66980e46d2aca401a95ab","datavalue":{"value":"BDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q4788463$48379FD6-61A3-4268-B415-19C95FE0805D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e0556945995cd296f0ecbb5642fd104a89278e","datavalue":{"value":"integrity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4788463$205238CD-29CD-4E2E-9803-48DA9C83DBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q4788463$3CD4FB2C-FB6A-45F0-BDDB-7F23B52191EB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dcc33fa262101091a7ff9c3589d5d4e67dda83f0","datavalue":{"value":"Q59242964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4788463$FE08D926-F2A9-4F11-949C-5F6D91A25026","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":"Q4788463$39F5650E-DAA3-47FB-BBCB-A20F384CE91E","rank":"normal"}],"P1643":[{"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":"c4616a1c010dd0a595b5b32dac79eee38fe90bf7","datavalue":{"value":{"amount":"+0.9320747","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":"Q4788463$F54942EB-FD4A-4EF8-B969-B9B0F23DE16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d151127caf5d52f51d15c6d3ded25e9b45a78283","datavalue":{"value":{"entity-type":"item","numeric-id":1354851,"id":"Q1354851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea435fa947b27ecffd66510fe8a3788631f8cbba","datavalue":{"value":{"amount":"+0.85532695","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":"Q4788463$611C9F5B-5D79-47FD-A981-F2714F5E492A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"862af84f9dd5a97161e856e2ed74bd2a8c4b3100","datavalue":{"value":{"entity-type":"item","numeric-id":5323450,"id":"Q5323450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b41e690cab370f936b3b4fa2d891101497f47e","datavalue":{"value":{"amount":"+0.8496242","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":"Q4788463$1249F7A6-E598-4F42-BD6B-9951C319D471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d402d3128056cea002509d365282cf1f6da3259","datavalue":{"value":{"entity-type":"item","numeric-id":3517238,"id":"Q3517238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a423c310341c143a7e8a72833329ded5cf3e8842","datavalue":{"value":{"amount":"+0.8426667","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":"Q4788463$26C51895-B387-4238-8D23-4B3315F9D452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6c8f860296e03d76c141184e3c9e0f3abe5da4","datavalue":{"value":{"entity-type":"item","numeric-id":4420904,"id":"Q4420904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af1fccf2e5c8f7d9d68b8916afc58c29f3ea466","datavalue":{"value":{"amount":"+0.8405304","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":"Q4788463$3C87AE87-9FFB-4D7B-96CF-93CD2B4BBC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aeca630ad325fa329c07a458c3a5b9870101628","datavalue":{"value":{"entity-type":"item","numeric-id":4809071,"id":"Q4809071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a83a178962d9355b181937e4402890431255a9d","datavalue":{"value":{"amount":"+0.83816874","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":"Q4788463$05507326-F5AF-4922-AE2A-080142A3FFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd22d3506c673255f8a54ba91ef67c56d97fc42f","datavalue":{"value":{"entity-type":"item","numeric-id":2754111,"id":"Q2754111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf49fe1da2305315a5a61b0145d1ef1bfcc1c5ca","datavalue":{"value":{"amount":"+0.8349993","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":"Q4788463$AA280C70-CC5D-40DE-8201-00DA9B20830F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7cc02d0ff6261e63ae865751d8ffc8ed4d82af1","datavalue":{"value":{"entity-type":"item","numeric-id":5394618,"id":"Q5394618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354b5f492e14c107e7655d5e2d238d788f22f7b9","datavalue":{"value":{"amount":"+0.8329341","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":"Q4788463$7605D324-D0A7-4FFE-A72F-EF477ACF17DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe4506a2931479d63e7cbb10f62b0d5481622479","datavalue":{"value":{"entity-type":"item","numeric-id":2848058,"id":"Q2848058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"039f7c0d8c182f3a0e1d87491dd3fdc55a11ae5e","datavalue":{"value":{"amount":"+0.83146304","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":"Q4788463$2B950D9F-479A-44BF-AE48-25ECF116E902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f3b5f5a7acbf6d479d7510ebdb142240a0895c","datavalue":{"value":{"entity-type":"item","numeric-id":2277862,"id":"Q2277862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2baad0b60ce735c69ae50b78fe6a76ee3b7755","datavalue":{"value":{"amount":"+0.8305687","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":"Q4788463$4A70C35B-9248-4D17-8D3E-8FC6A91B656E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying integrity of decision diagrams","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_integrity_of_decision_diagrams"}}}}}