{"entities":{"Q1146161":{"pageid":1156910,"ns":120,"title":"Item:Q1146161","lastrevid":66241608,"modified":"2026-04-12T08:29:38Z","type":"item","id":"Q1146161","labels":{"en":{"language":"en","value":"Probability approach to checking of sequential circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3698873"}},"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":"Q1146161$C3A4222B-DE2C-4EFC-A445-788A01F603B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16b018c2b772df125f41f9e5a7aaf3e1c220ae45","datavalue":{"value":{"text":"Probability approach to checking of sequential circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1146161$8938628D-26A6-451A-8865-7578D88D5082","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7665572034de4a72adceb4d45809dd84c3a6c756","datavalue":{"value":"0446.94026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1146161$9AFE93DE-7D4E-481B-B817-AA85F5C9CCEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"171ecf50239c79809cbeb2451fe09a2f26a91acf","datavalue":{"value":{"entity-type":"item","numeric-id":1146160,"id":"Q1146160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1146161$2123F7BC-BA39-47EA-8C18-678291910FDE","rank":"normal"},{"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":"Q1146161$C65B7DD0-2AB5-45A5-BE3A-4DB39F124548","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":"Q1146161$8CB33EC8-ED46-4806-9B3A-AD54BD53B784","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1146161$DF41FE67-DAF0-4A24-866A-1499028AC28C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1146161$F0C20246-A0E4-4F80-89A3-4680AEA532E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0358d4dac67518365352b0200a6456b5ab24b61b","datavalue":{"value":"3698873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1146161$19FEC649-A65B-4CDF-BE59-5708FC42A4A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd25a5715230757e80b56d8f7cc5e95e1391b898","datavalue":{"value":"technical diagnostics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1146161$8C58FE4F-AC14-4B4C-8184-CD8413937E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c638507ff192295fec1564f163271ef13a62fe8","datavalue":{"value":"checking of sequential circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1146161$2BD8A3F5-6F77-4D6E-A034-15033FE478A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff63870b1be4db3f2899825634808bb0dc52c559","datavalue":{"value":"circuits with memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1146161$E5E7F1CA-2B1F-4E76-8480-DB2C83BB1523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c9b8eda85f31b6c1b3ede12bc5e84850c49084e","datavalue":{"value":"circuit behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q1146161$34BEFA0A-4CA9-4D09-9F3A-C2710DADD72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89012ed559aec0644ddaae34e71c4db049a33b0","datavalue":{"value":"unit signal probability distribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1146161$81C1A60D-8985-4A2D-B5EB-C5E85F64C5D7","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":"Q1146161$F386387C-40E6-4426-B189-A54D63E62B50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probability approach to checking of sequential circuits","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probability_approach_to_checking_of_sequential_circuits"}}}}}