{"entities":{"Q5866338":{"pageid":7895889,"ns":120,"title":"Item:Q5866338","lastrevid":102071732,"modified":"2026-06-06T03:25:26Z","type":"item","id":"Q5866338","labels":{"en":{"language":"en","value":"Formal verification of three-valued digital waveforms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7589526"}},"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":"Q5866338$49A48A3B-0D0B-4AE9-9363-BF9BB3A0258D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3744d7db76cce06559f71430302972089d8067c1","datavalue":{"value":"10.18255/1818-1015-332-350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866338$11D82FEE-844D-4D99-80B4-8A8AB14DA2A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c13a5b0b6625757475a48a752bbdc3de64933f4","datavalue":{"value":{"entity-type":"item","numeric-id":5866337,"id":"Q5866337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866338$A31DBDF6-EC7A-445F-B230-67C4511B62E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09250e68a98794abbd0c7f37d6f4260946a7b666","datavalue":{"value":{"entity-type":"item","numeric-id":357922,"id":"Q357922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866338$75462D18-8A19-4F1F-A8B4-95692983EFEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9610eb65351985422b2f79d640ee515b1fce57f8","datavalue":{"value":{"time":"+2022-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5866338$5BF72DDA-9496-402B-A70D-FD35604133AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32069a176308a0a5716dea381a215dd3a6bc625c","datavalue":{"value":"http://mathnet.ru/eng/mais683","type":"string"},"datatype":"url"},"type":"statement","id":"Q5866338$0830482C-0297-4905-830B-EA0315779DDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4db3fc3244f368e49336c7e23443d11b7d69297d","datavalue":{"value":"94A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866338$EB218EBE-080D-472B-9F21-7F387BA88F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d65091154bcdcd55b19c17aadaa169aee2e3523","datavalue":{"value":"94C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866338$2B676320-F38D-47C6-88A0-2CDA366BDFAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0069f3804ba114711252d46489030dd76e1169dc","datavalue":{"value":"7589526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866338$E87BD689-8349-41DE-84F5-1397E1A7166D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866338$BFCF0396-C960-40CF-AA49-2228B06CD456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"174ead33409afe707b2d43fcf09c306179c87003","datavalue":{"value":"digital signal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866338$A8671B33-9B39-400A-B4B3-D45C6AB419A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866338$3078CACF-EB4F-4B08-9FBA-5CACB0A14308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866338$536A29DA-DA16-4829-8C72-17189F39F40D","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":"Q5866338$D944621D-CC3F-4D5E-9B2B-005F2BEFF812","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866338$0CA19406-2385-47A6-B11A-3E21EE8A03F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c047d925b5cc83a1e636eca8beda0b4db8d93d25","datavalue":{"value":{"entity-type":"item","numeric-id":4388806,"id":"Q4388806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866338$7C12261F-4EDD-4E0A-A3C9-98C690D0A8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de5feb4c46bee8b8f76000d9de8564377e360b7","datavalue":{"value":{"entity-type":"item","numeric-id":4261335,"id":"Q4261335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866338$21379135-8F8E-4D96-8132-FCF55F42E6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b12e4d13409c587eb5699e3108701b4a389bff4f","datavalue":{"value":{"entity-type":"item","numeric-id":4037372,"id":"Q4037372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866338$D18F6919-D6C4-4DB7-9013-A0247879EB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d26add700d8428f74555e0cd00e74b761943fc","datavalue":{"value":{"entity-type":"item","numeric-id":1647773,"id":"Q1647773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866338$5016AD74-29A6-48C4-ABA5-81AC65730ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b71a33295add0f3a050c8e80d06a58f73f338868","datavalue":{"value":{"entity-type":"item","numeric-id":3815241,"id":"Q3815241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866338$75427617-A48C-4E53-9F13-D320EEE761D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866338$F1D2AC89-22A1-4DE3-9E5F-5F7CA824DBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb46b665c4d01cdd72f034cac6c7dac8481fe1b","datavalue":{"value":{"entity-type":"item","numeric-id":4818796,"id":"Q4818796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866338$39A5BE4A-B6A9-498C-8AD4-2B65B2FDB60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6d2db3368a3e599316e7e7ac61a76cea0dd8c2","datavalue":{"value":{"entity-type":"item","numeric-id":4531751,"id":"Q4531751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866338$333AC8DA-5D7A-4414-A199-91A7B1B4E6CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aca5cc289be4a8a1a484d5edcdbaeb09301b7f64","datavalue":{"value":{"entity-type":"item","numeric-id":4302838,"id":"Q4302838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb3bb615abfe5a0a7af0d093624e78a50b3e6b1d","datavalue":{"value":{"amount":"+0.7223582863807678","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":"Q5866338$5849EC35-0C11-4878-AC6D-89C5ED5383E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52d955002b9064e226e396365b35b7e63d4c2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3743249,"id":"Q3743249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d33294e3011d4aacb5e95371b1566ea082d6de60","datavalue":{"value":{"amount":"+0.7190725803375244","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":"Q5866338$31DE4828-FDA1-4A4C-A238-3E151F17CA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258c7de8e5a04024a1b093271ea7fe394d9af3bb","datavalue":{"value":{"entity-type":"item","numeric-id":4721964,"id":"Q4721964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d93c3e60fdfecaa2e458bbc95f330333e515c0e1","datavalue":{"value":{"amount":"+0.7145790457725525","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":"Q5866338$C51C9618-1F3F-44BA-B67F-F47FA19CA090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bf956b8b56f9371aa645fcd4dcde9a6e27d197","datavalue":{"value":{"entity-type":"item","numeric-id":4873998,"id":"Q4873998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6f144a9f3c71b9e94ebaebff9faa93924b7878e","datavalue":{"value":{"amount":"+0.7139390707015991","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":"Q5866338$E3713B7A-5571-48C4-995D-D78A602DB886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c62f48f675c04ec4b6475556d4b03f2718b7c9b","datavalue":{"value":{"entity-type":"item","numeric-id":3199186,"id":"Q3199186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b0c8e216a559c2e4e71cf653e49cd460c1d12f","datavalue":{"value":{"amount":"+0.6996168494224548","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":"Q5866338$D0BE9193-BA4F-4633-B365-D10C36F8B50B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal verification of three-valued digital waveforms","badges":[]}}}}}