{"entities":{"Q266875":{"pageid":268642,"ns":120,"title":"Item:Q266875","lastrevid":60596088,"modified":"2026-04-10T17:56:54Z","type":"item","id":"Q266875","labels":{"en":{"language":"en","value":"A multiple-valued logic approach to the design and verification of hardware circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6566310"}},"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":"Q266875$5DC090F0-7FE5-43C3-9BA1-29FB517BAC83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"638207ee71099ca41256912fc8d86041d92b39d9","datavalue":{"value":{"text":"A multiple-valued logic approach to the design and verification of hardware circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q266875$2D57BAE8-48A0-4A7E-A4ED-755E8DEC33C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c861f497afc8221fb5870eaebbcbad071716a44f","datavalue":{"value":"1436.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266875$65959FD6-04C9-4E67-8C75-6BB79A9235CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f118bee8514fe95ca1e5b026656ae6adc8a6dedf","datavalue":{"value":{"entity-type":"item","numeric-id":266874,"id":"Q266874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266875$3B14BD1C-46E0-46FB-B198-0F88991088FF","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":"Q266875$7F5D6C8E-01CB-4504-8944-82FF7824E173","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64bf554456e45f50d4461f4a22c88ea8b86e4044","datavalue":{"value":{"time":"+2016-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q266875$1625E24C-961D-4D96-AFE8-FF3EC983E514","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"affd06ffb6f18a0ec72caea7e4485cead3ba5cb5","datavalue":{"value":"https://arxiv.org/abs/1502.05748","type":"string"},"datatype":"url"},"type":"statement","id":"Q266875$944D1BDD-24A6-44A7-94E0-D9EBC45983DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266875$18C20BBF-9D32-4593-9B4C-4008712BA94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266875$51D6941D-504D-4C17-8335-AF971E1E3FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266875$C75F1A47-7A60-42C9-80FB-56D1ED6108F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a2e089d6fe4d322f8516af2d689405986486f96","datavalue":{"value":"6566310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266875$0592B306-3041-4A4B-A87C-0CC799C5CF3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92262fe3d123f83e7de6552d156514506c90093f","datavalue":{"value":"multiple-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q266875$0D77E70F-A603-444D-AC39-E9FF471571A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac52900f9c775a1c2e9b77521a060cf4681ca7f4","datavalue":{"value":"hardware verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q266875$EDAF3B94-7795-432E-A2A9-C0B48A6DFEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ac7d45e2fd990646f3254027de68b824846a3a1","datavalue":{"value":"hardware simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q266875$D8C36724-3075-4B7E-865C-F0AE6FD43B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49ee788a249e73bac4c2b631ca1b0c61d6e51e23","datavalue":{"value":"verification complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q266875$757D5299-9F13-49D3-842D-AB6B20E72BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6784dae5f1de54a2114a2c1023ab1c137dad9bd5","datavalue":{"value":"De Morgan canonical form","type":"string"},"datatype":"string"},"type":"statement","id":"Q266875$02CE641D-5DEE-4FD1-B6F1-C6C529133C06","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":"Q266875$03A0C543-F44A-46E3-9601-DEB4ADC2A014","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55e847de1acfa7cd60a08fc672e38ffbc0464da7","datavalue":{"value":"W2962748773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266875$73A9A0C5-20AC-4F9C-8FE2-99AE43689A50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8bc78f431ccae9a857e05e249ada0d94b22ca7","datavalue":{"value":{"entity-type":"item","numeric-id":5387443,"id":"Q5387443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266875$4271D0CB-F43B-4C14-9E61-542606FF0812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca78335e7d64e072ca542079ca2fa130778e237","datavalue":{"value":{"entity-type":"item","numeric-id":4750621,"id":"Q4750621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266875$0F3FDA2C-F96F-43AE-B7F1-D8238DCD4638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b70805b996ac71796cbf64a76b6ecca1430283","datavalue":{"value":{"entity-type":"item","numeric-id":3680754,"id":"Q3680754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266875$68293E1F-7638-4A30-A8FB-91A9D10784C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae16952a7c24ccc9fcb723a162581a6a06b64568","datavalue":{"value":{"entity-type":"item","numeric-id":764284,"id":"Q764284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266875$82174354-0A82-47ED-A61E-59D83F9E038F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266875$9297A260-73B3-447F-84D5-65CEBAA0CD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef88c4a1ef40e208862c168eb829caaba70b0325","datavalue":{"value":{"entity-type":"item","numeric-id":3269132,"id":"Q3269132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266875$E4EF8C85-1829-4C8F-89A6-B66D5C61A779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437329fbe1874c3df0014b9270301ec7c179dd5d","datavalue":{"value":{"entity-type":"item","numeric-id":5900667,"id":"Q5900667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266875$640BCF89-BAA4-447B-B079-69DD7004E925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb8206136bb1a3e3206c15b8c3fd64eecf1b0ab","datavalue":{"value":{"entity-type":"item","numeric-id":2757760,"id":"Q2757760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266875$FDBDE567-CA0C-4617-9F23-8FE2CD8A29BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acee2312434dac7ace5d908b77ac11beda01fe36","datavalue":{"value":{"entity-type":"item","numeric-id":5271072,"id":"Q5271072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266875$BE237DD2-AF8F-44E5-BF5F-8811E1CD62C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266875$AB5D1429-1F90-4090-BAB9-55C1975760DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0cb44035057e1e6e235dc5a7c1eafecf1a36554","datavalue":{"value":{"entity-type":"item","numeric-id":4825215,"id":"Q4825215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266875$CA9A87FD-4464-477B-A124-83B5C3CCC6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4971710e4358cd9ca63b9a295e880af2959f4d","datavalue":{"value":{"entity-type":"item","numeric-id":4269081,"id":"Q4269081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266875$576C17D9-1B41-4717-8715-786B8D7CACC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574a6599f545ec08b9afa71a7573eae29e700904","datavalue":{"value":{"entity-type":"item","numeric-id":5166888,"id":"Q5166888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266875$DED37588-A93B-43FF-843F-3B48233C8C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a322072d61e727264c22e3579c7d0b7212edd6f","datavalue":{"value":{"entity-type":"item","numeric-id":5814795,"id":"Q5814795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266875$15BA7BE7-F79E-4406-9AB3-5C0356B20589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8624ac8b08c43bff2290ca70392ccbd3bba72141","datavalue":{"value":{"entity-type":"item","numeric-id":3762226,"id":"Q3762226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266875$004079C5-39B7-45F7-8392-AA5F0F906E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266875$FD349953-FCC4-48B7-83FA-19DB3C43EE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48d94de02e6c6f1b71fd5271d6b37382c1bbcfcc","datavalue":{"value":{"entity-type":"item","numeric-id":2793232,"id":"Q2793232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266875$E6C2A987-2AE4-4D54-8DF8-2C768986A41C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4de18319bd3974d628f7508f1737a68477e96cf6","datavalue":{"value":"10.1016/J.JAL.2016.01.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266875$8A1D6F7A-D973-40F2-8B4D-2D1C6EA7A23F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a009210232de500721e233f93acc0d291c9b144","datavalue":{"value":{"entity-type":"item","numeric-id":4282514,"id":"Q4282514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d23bd2e90ff0a2e660ba5e65d1f0ab83c9767355","datavalue":{"value":{"amount":"+0.9280454","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":"Q266875$C1051051-2B19-41F1-8D14-946A320BDB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abb9b96ea0d085057e9288367af58ca9ef1e5138","datavalue":{"value":{"entity-type":"item","numeric-id":4000468,"id":"Q4000468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa8c8792d55e8c3cb1ea386164b8d7527e8abe06","datavalue":{"value":{"amount":"+0.9250859","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":"Q266875$DB0CD4F7-0464-4D05-BACD-ED57602B4E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac8b021e3c809e504c58ab555a4b955def6a85e3","datavalue":{"value":{"entity-type":"item","numeric-id":4583790,"id":"Q4583790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b1ae26f15ba4ed7c7aece80c2f358bc23570bfa","datavalue":{"value":{"amount":"+0.91276145","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":"Q266875$897B1D2B-0E70-4789-BB68-BA56F41ACCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc7dc083ea654acad1dc61b04cc121509ed6f289","datavalue":{"value":{"entity-type":"item","numeric-id":4380579,"id":"Q4380579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c043c66c26401f619a6bcad5ddcdafe3fa3432ff","datavalue":{"value":{"amount":"+0.9001369","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":"Q266875$C0DFEAD9-DA52-4E10-80A4-D7ED85E4FFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85cddde72cf78b1c919f8b5a99cd5d64094917a5","datavalue":{"value":{"entity-type":"item","numeric-id":3479979,"id":"Q3479979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e8f6c0c15c687a436a736288772637d8a24c2eb","datavalue":{"value":{"amount":"+0.89710295","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":"Q266875$5ECA4392-26D9-4222-B6BE-6BD5D4BE7CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c78ebb52e23a4d5b5c1522dee54285a9d18b8db3","datavalue":{"value":{"entity-type":"item","numeric-id":704651,"id":"Q704651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a5eef6cc4777156252376d3a32aee6c275f40a9","datavalue":{"value":{"amount":"+0.894746","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":"Q266875$881D5725-12DA-4862-B163-B2AAAAFB8DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241f31726a253979c127783c5d5fe8a15074ed90","datavalue":{"value":{"entity-type":"item","numeric-id":3688319,"id":"Q3688319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f0839538c73d811b6d6f6dc2159aeef31a8cfd","datavalue":{"value":{"amount":"+0.8910438","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":"Q266875$B03F9FDF-4CE2-4F97-9E0F-DF0E0623A2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40e001df7eb21a925102dc99deb32428b9b764ec","datavalue":{"value":{"entity-type":"item","numeric-id":5184825,"id":"Q5184825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f37cce24dee7c4dc3f2f17ecafa5fb7a042c1947","datavalue":{"value":{"amount":"+0.8907908","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":"Q266875$540DAF4C-6262-4072-8D14-F78F5C952C66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A multiple-valued logic approach to the design and verification of hardware circuits","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_multiple-valued_logic_approach_to_the_design_and_verification_of_hardware_circuits"}}}}}