{"entities":{"Q545153":{"pageid":546920,"ns":120,"title":"Item:Q545153","lastrevid":51274148,"modified":"2026-01-17T13:34:36Z","type":"item","id":"Q545153","labels":{"en":{"language":"en","value":"Formal reliability analysis of combinational circuits using theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5911157"}},"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":"Q545153$BC9D2CE3-A7AB-4F59-A8F8-78954E95D9C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c859469910d08287d7787de6ca18bf24988d05d","datavalue":{"value":{"text":"Formal reliability analysis of combinational circuits using theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q545153$20DA9A47-4281-41E8-B4C7-27A3F0B7D196","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd13edbdcda887934c66430af1a01312b225cda1","datavalue":{"value":"1217.94140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q545153$183B4EC0-9B68-49E5-AC27-4C071F1B3449","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"393ef07e7673f4510d0e5689d2d44001b3ecc236","datavalue":{"value":{"entity-type":"item","numeric-id":246140,"id":"Q246140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545153$8173AA5D-A5D9-467E-BCFE-CAA39B1E4383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc69eab29b5e68607873297aaeadeecbc314d12b","datavalue":{"value":{"entity-type":"item","numeric-id":545152,"id":"Q545152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545153$ADA45F4D-F61F-464F-B624-29E1D8BF3CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d2c11253a443ddc53e205509995096ef6b865e","datavalue":{"value":{"entity-type":"item","numeric-id":246141,"id":"Q246141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545153$6D55F16A-C927-4972-AD3C-FE86AE1F2D30","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545153$26BD64C8-B4CD-4B26-B560-E401C70E181C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac42a1c605d71bb96049969d8ffb67993ed74b9e","datavalue":{"value":{"time":"+2011-06-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":"Q545153$F8FA35D4-D517-4996-AA2F-143F8D3786B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1f1e3d710214ae6f75776975b8633af35b4f504","datavalue":{"value":"https://spectrum.library.concordia.ca/974497/1/formal_reliability_analysis_of_combinational.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q545153$A21DBB15-BD3D-4663-949C-661A1CB01E40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q545153$E0FD7B84-8DF0-4240-9065-E8C0D634DB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q545153$49480B93-E825-4386-A771-10EC81E6EAC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d473b490859053c0c269851b6aa8e59aebfde5c8","datavalue":{"value":"5911157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q545153$6FB284CA-85BB-406A-A53A-CC444FE19200","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q545153$AA20E157-F12B-43BF-B9B7-C54F13E172C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q545153$8261F5A8-9C5B-401F-9BA2-1317A0821E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5343ecd15a8e87cb138c7d9e4c8f0d52a5afdb65","datavalue":{"value":"HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q545153$59B9513A-443D-4887-BABD-002F26F004FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9f7a31711d3f7635a7a238961297b46eb5d58af","datavalue":{"value":"reliability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q545153$EB43E532-D28E-4CE7-BE31-F8D622A9A8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q545153$79D8C411-D5E6-4756-959F-FEBAD16ECF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3255bcab155270a1b334b8e3a8663d48491c84f5","datavalue":{"value":"combinational circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q545153$9E2E74E9-04DC-4556-AD49-C1F9960FF1A1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545153$4516A397-6D2E-42BC-B0A4-B8BE725796ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545153$CD249D16-19DB-4E67-B1CF-B0B44DCCF9FF","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":"Q545153$5ABFA33F-5126-4E5D-A32B-62366157E0E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91f6ed5eab6c8b169dacf7cf5fa3d0eda183bb35","datavalue":{"value":"W2115026027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q545153$EC6B7566-E273-41AF-9B6C-D64F98A61BC8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6c65b0378ba4e575d0f710131146d59e647cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545153$3742ACB4-76C0-43BA-AD4B-DBC21702E163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367f0a8da73f4a057cbdd5c66548bdb0c84a7bae","datavalue":{"value":{"entity-type":"item","numeric-id":4590265,"id":"Q4590265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545153$90BF9281-B54D-42FD-A71A-41F4DEE95C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5162e20f525969f1bb86ad112e597268f40e51f6","datavalue":{"value":{"entity-type":"item","numeric-id":3723577,"id":"Q3723577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545153$AF7C941A-5280-4417-AC47-5EA81114EFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545153$DAA00FF5-13F0-43CE-AC0D-DA9E315444CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"040249ae52980a0f78a6071647b015d7ce49abd1","datavalue":{"value":{"entity-type":"item","numeric-id":5280761,"id":"Q5280761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545153$BEAE03D5-0F6F-46C6-9AE8-D2581016D191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"816033567eb7d0df67b35249fb59ad6de2e183dc","datavalue":{"value":{"entity-type":"item","numeric-id":4217794,"id":"Q4217794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545153$81BC34B3-7E82-4B38-9BA8-E717DDA6DB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c54cca8381a499b20dd926eb3194476e258fe883","datavalue":{"value":{"entity-type":"item","numeric-id":5634859,"id":"Q5634859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545153$3EECF0A8-5D2B-4C87-BFE0-11B3151F1D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545153$41723957-8BFC-4368-BDF3-FA6EE04DCF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00fe466cbac345e9d90c5d10b0f491bcb2223652","datavalue":{"value":{"entity-type":"item","numeric-id":4055554,"id":"Q4055554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545153$C62959B9-F0EB-4547-B809-141FC50490C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f2f402bb0aaa918a693e06aa64da16c2193f2","datavalue":{"value":{"entity-type":"item","numeric-id":5687569,"id":"Q5687569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545153$D74E6EF3-FBAC-4159-8C54-DD1112E56A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0013b511ea61f98a91c5d9a0683a8656f9dd75f5","datavalue":{"value":{"entity-type":"item","numeric-id":4821979,"id":"Q4821979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q545153$12FE804D-9978-43CD-8D5C-E7ADAA9B7C60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6337161a40e9860a6a7fbfb9924c662a7a767ab6","datavalue":{"value":"10.1016/J.JAL.2011.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q545153$EFA2802C-56E0-4A4E-A2F2-50CE241D3F8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077aefb4f2cbc50d75af1ce74e8a2e8d788164ad","datavalue":{"value":{"entity-type":"item","numeric-id":3453105,"id":"Q3453105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b71ab9b66be44bedac1f1792a5657a96a18baa4","datavalue":{"value":{"amount":"+0.7663313746452332","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":"Q545153$38B7EDE0-EB72-413B-8027-9D7305384AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"869f38ce7fd221ffa7483eae67b897b333e0e2e8","datavalue":{"value":{"entity-type":"item","numeric-id":334147,"id":"Q334147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0848d8f219227eae153a5d0414446fc54f2daa11","datavalue":{"value":{"amount":"+0.7574612498283386","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":"Q545153$D0A1A00B-A2FD-4C30-A475-B544551D6C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26754d5781dcfb2e3711ad30487e78a854fde3bd","datavalue":{"value":{"entity-type":"item","numeric-id":3812018,"id":"Q3812018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71925137aa37a9ca5dcebe658a6530024845dece","datavalue":{"value":{"amount":"+0.7439481616020203","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":"Q545153$20AD8DDF-A498-4E6B-BDFE-FF5E832C70E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7025f29b9a28d2f040c6fe79a07b04abebf580bf","datavalue":{"value":{"entity-type":"item","numeric-id":386029,"id":"Q386029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44bf2ba1d4ce0e979ae08b3b90325139c0a0f6f1","datavalue":{"value":{"amount":"+0.7422879338264465","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":"Q545153$91B4748C-4DA9-4B5F-BF7E-5C59A72142CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d119d47395c0fbef674268e48534c4d80fa4cbed","datavalue":{"value":{"entity-type":"item","numeric-id":2219384,"id":"Q2219384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7b39d69d551090d1ed7a58de576f216424a77e1","datavalue":{"value":{"amount":"+0.7337887287139893","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":"Q545153$3D7F203C-B259-438B-BDC6-14B3A79CE6F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:545153","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:545153"}}}}}