{"entities":{"Q462034":{"pageid":463801,"ns":120,"title":"Item:Q462034","lastrevid":62123616,"modified":"2026-04-11T03:55:00Z","type":"item","id":"Q462034","labels":{"en":{"language":"en","value":"Detection of false paths in logical circuits by joint analysis of the AND/OR trees and SSBDD-graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6356088"}},"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":"Q462034$32A8E4CC-8840-4FDE-A896-91C2CD2BD5C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bc770da8ee267933d9f356c66374ce70549deb7","datavalue":{"value":{"text":"Detection of false paths in logical circuits by joint analysis of the AND/OR trees and SSBDD-graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q462034$04D552DB-ED7A-4AEE-88C9-DD6C3BB8F0B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62cadcb8d4a12522917185c221e6617e968aadf7","datavalue":{"value":"1302.94075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462034$40813700-91CD-4A28-9CE0-F5172ACB0FB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f04dfc060bf6279068d252fe13c5ab9bcd95e6d","datavalue":{"value":"10.1134/S0005117913070084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462034$BA97D509-631D-47D6-AC7B-3CD90A9C5257","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33359fd8a77e9cce0cfaf7c91dc047e11a0fed75","datavalue":{"value":{"entity-type":"item","numeric-id":109332,"id":"Q109332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462034$AF2F64A7-4747-432B-94B6-FE0DABF0216C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f1275091ce559d46cc515623c1cdc4ddb8cbc05","datavalue":{"value":{"time":"+2014-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q462034$4CB0426E-94CA-4B70-A1C7-E6079A177458","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462034$76017266-A7C2-4005-81E9-ABD546C1D896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"007f7f82691f1d7656215e5be329d57b0bfdf5e7","datavalue":{"value":"94C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462034$BDEA340B-271D-4D11-AAF1-605A779A729F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae8e5c41a67d4257d124c7f69ad49cf92285d42c","datavalue":{"value":"6356088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462034$9358A68F-1D12-433E-B264-A613805CC759","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":"Q462034$38D6C6B4-1A35-4781-B525-6547CF55510A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1df122c4e7321f61ad248c4374e6f0439d3211","datavalue":{"value":{"entity-type":"item","numeric-id":5543091,"id":"Q5543091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462034$43044B31-4A66-4000-87F9-56BE08FF4BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4b0108279b01028f1a6f5b8002bf505aa5a7cab","datavalue":{"value":{"entity-type":"item","numeric-id":4946961,"id":"Q4946961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462034$58F3DE87-027E-4AB8-BDA4-456EA0656532","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0711372e21a10322200ae6e31a1dd7c253cc1cb1","datavalue":{"value":"https://doi.org/10.1134/s0005117913070084","type":"string"},"datatype":"url"},"type":"statement","id":"Q462034$8B0EFB5C-AF7C-4777-9288-AFA2F15B69C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10a83799963583e1f8b8c4c17e07748dbf285a9e","datavalue":{"value":"W2027149430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462034$ADCC2ECC-1259-4CC5-A773-389EBFBF817D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca9dfeada230ee47829e0f81294b8f170c865f96","datavalue":{"value":{"entity-type":"item","numeric-id":500122,"id":"Q500122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462034$F7A3FCBB-EFFB-4194-97D7-A6676340D079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00f9f506ea95d3a639c1ca5a1467c7886e803d39","datavalue":{"value":{"entity-type":"item","numeric-id":1882092,"id":"Q1882092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462034$D984C4AF-0D65-4025-BD9F-412F9493C0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9d1641f18e890ed463570fb32f3719c0d5a68d","datavalue":{"value":{"entity-type":"item","numeric-id":6244488,"id":"Q6244488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462034$35C5261C-0296-4EE1-BF48-FD9CFC34F88C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"566fb7993f32e0d323ce0e34e8165b4cc6f44ba5","datavalue":{"value":{"entity-type":"item","numeric-id":4002327,"id":"Q4002327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8981dfa2e2ac6bf617d0e93a1adaf203f337838","datavalue":{"value":{"amount":"+0.760243833065033","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":"Q462034$AD003FA8-5DEC-4544-81D6-F2A9DFE9F1D5","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":"a8981dfa2e2ac6bf617d0e93a1adaf203f337838","datavalue":{"value":{"amount":"+0.760243833065033","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":"Q462034$905F6379-0F25-4774-B8E9-3485A036A684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e51de4795ed907d16f9f11f02568cf2dab40ef6","datavalue":{"value":{"entity-type":"item","numeric-id":4419665,"id":"Q4419665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b1a9661505c86606b2b488741450adae0148276","datavalue":{"value":{"amount":"+0.7580005526542664","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":"Q462034$5AF30B50-1249-40BE-AE34-838BEEBF7E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d032f34b252a434ee5e35339b9c3590e1acfc40","datavalue":{"value":{"entity-type":"item","numeric-id":4419633,"id":"Q4419633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d28c7bf9aa4dd5281f07d8f319d21f2d94d0757e","datavalue":{"value":{"amount":"+0.7326831221580505","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":"Q462034$2AA06072-0343-4832-86B7-D27C859557AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d0c0b31a85366a7d2f177bd7d37b93caa00ae20","datavalue":{"value":{"entity-type":"item","numeric-id":500124,"id":"Q500124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e91391f701f0bc93a8e32b51e39a6bfd8e2f46","datavalue":{"value":{"amount":"+0.7269383668899536","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":"Q462034$25F1D1E1-E157-4ED9-BE70-1FEA11533A11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Detection of false paths in logical circuits by joint analysis of the AND/OR trees and SSBDD-graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Detection_of_false_paths_in_logical_circuits_by_joint_analysis_of_the_AND/OR_trees_and_SSBDD-graphs"}}}}}