{"entities":{"Q3887350":{"pageid":5917255,"ns":120,"title":"Item:Q3887350","lastrevid":88973240,"modified":"2026-06-04T16:00:12Z","type":"item","id":"Q3887350","labels":{"en":{"language":"en","value":"Output-signal processing algorithms in statistical checking of logic circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3693157"}},"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":"Q3887350$64A7663C-0A89-4C4F-A02E-F80961ACDF83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8037d6c997171fa394e39c6b301dabcf3ac8d8c5","datavalue":{"value":{"text":"Output-signal processing algorithms in statistical checking of logic circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3887350$619F4B94-C596-48E7-882D-E9CE522B5DFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"996f0648494a21f73a3eb1bd2ce7c3dc1e38a4d5","datavalue":{"value":"0443.94023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887350$E612CFD0-804F-4FDF-804A-CFB3546DD058","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"398a3d003afdf8d9e8d1a8fcce767e84b4616ca7","datavalue":{"value":"10.1007/BF01068898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887350$ED5A5608-78D8-4804-B44E-D5AC54168110","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b7a3c4bb624f78dd33dbc8f48f6156f0ccc555b","datavalue":{"value":{"entity-type":"item","numeric-id":3887349,"id":"Q3887349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3887350$AF0B995B-7FB9-4972-B5D5-2241FAEC36EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3887350$A6EF0FEB-23CA-48FB-A7A6-4C81912D2C0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3887350$A1833DE3-56A3-489A-84A4-8752E993D9E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887350$6BBDFA24-A498-4F88-AE1A-22FDDCB615B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d16ef8c0c565443afae235267bbfd523b08f5dde","datavalue":{"value":"3693157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887350$184E3D13-DDBA-4E4E-A228-C0EFB75CEDD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ef8b2c374e6977a545177366f6e29c38d329942","datavalue":{"value":"output-signal processing algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887350$C213B12D-4E8C-4172-A771-3DF2F7AA707C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bbee8442563953721f5b1e1a2ec7d76354977b6","datavalue":{"value":"statistical checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887350$D6E7E17D-8BA5-42B3-ABE9-C6174FFD52BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d88bc2b74e3b1de6499293d89dfd17939b3a890","datavalue":{"value":"logic circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887350$0B416E30-AEEA-433F-ACD2-833BA1E24E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb4cb2f3f6bb782dafd63baf4444e8fc11b4da6f","datavalue":{"value":"counting changes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887350$033B9FDA-42D5-42C9-9A90-C81AFE44F33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce26f6424a78c076735216b65c86a1871b8b9631","datavalue":{"value":"counting units","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887350$15C3BCD9-134E-4098-BFE8-6E5B27728DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efe8805af5e494651a823b55c8d3c32afe27ea05","datavalue":{"value":"test sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3887350$281AE2D8-CE12-44FC-A2D3-0D6E7E1458BE","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":"Q3887350$D2AFEE8B-4B3A-42B5-8639-BEBA5273DFA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d635990cfd6081d4ba27653ed06c4d6c2607d14","datavalue":{"value":"https://doi.org/10.1007/bf01068898","type":"string"},"datatype":"url"},"type":"statement","id":"Q3887350$4024B9AA-5915-4B1C-ABD6-F609941C236A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d91b0c4a85611b054bfa45fc1a6c3a47fa9dc2db","datavalue":{"value":"W1985371968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3887350$0A2CB334-82E3-48B9-A7FB-1F743742A705","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0c5a57c5630c89832cdddb48902947ad332371e","datavalue":{"value":{"entity-type":"item","numeric-id":3765707,"id":"Q3765707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e159f5217af71c9e680dd56eb81b3130039fcb9","datavalue":{"value":{"amount":"+0.8314007","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":"Q3887350$5DD4AA37-D919-4B0D-8C96-B2F44A999780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b33904bb11fccc6657fb058cfc558891ff01df1e","datavalue":{"value":{"entity-type":"item","numeric-id":427733,"id":"Q427733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd432855d8c611b704166b76832180b2dd9cbf7a","datavalue":{"value":{"amount":"+0.8277683","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":"Q3887350$B8C309C8-B306-4D6E-856D-8338E5638B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1c2caddfe9f5549bef79bd9a21dd3d12cf9a8c","datavalue":{"value":{"entity-type":"item","numeric-id":3912736,"id":"Q3912736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff945c984a8f8610a4d48238166c66bdf01388d","datavalue":{"value":{"amount":"+0.826121","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":"Q3887350$531F458C-11F3-407D-8399-6BE3ECE4F52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24e61e37342b0a9f13812adb02c6973c3b4cedd","datavalue":{"value":{"entity-type":"item","numeric-id":3693451,"id":"Q3693451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"585d21db68d813fc1ecf97c0d0c28c096fc1f02c","datavalue":{"value":{"amount":"+0.82582706","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":"Q3887350$57F06455-8ECC-4774-A235-42129EC5C56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"026ee998b473fb7e2d4774dfea7e66ad12fc2239","datavalue":{"value":{"entity-type":"item","numeric-id":4378519,"id":"Q4378519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06d8112488e76c83eda5c46d463b53aa3a578c3e","datavalue":{"value":{"amount":"+0.82421327","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":"Q3887350$081A48F2-5DB2-4604-B195-858A50176648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7188f8b1500182fec82b2878566351c21945c894","datavalue":{"value":{"entity-type":"item","numeric-id":4834185,"id":"Q4834185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15669af78bdb55956ba642d85049f956d7eda5a2","datavalue":{"value":{"amount":"+0.8214972","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":"Q3887350$916A54F9-D023-4870-A72A-034A9B212993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5516816f4a5660e4fa77e3c80fe36ee1ce716be8","datavalue":{"value":{"entity-type":"item","numeric-id":1767902,"id":"Q1767902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39c9161aada309f98662f4cd05207b2406aaf004","datavalue":{"value":{"amount":"+0.81956804","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":"Q3887350$0AB361DA-6F81-4908-AEAF-016025812409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab174e3f849cbd3845d6d2f43db4699237b0631","datavalue":{"value":{"entity-type":"item","numeric-id":3486520,"id":"Q3486520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11914b0be8a3484afe9aa63f9862305950b7f771","datavalue":{"value":{"amount":"+0.8182719","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":"Q3887350$D1BC73DB-AD3F-41EB-952F-FB0F85406C0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Output-signal processing algorithms in statistical checking of logic circuits","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Output-signal_processing_algorithms_in_statistical_checking_of_logic_circuits"}}}}}