{"entities":{"Q3807646":{"pageid":5837552,"ns":120,"title":"Item:Q3807646","lastrevid":53436197,"modified":"2026-01-24T23:14:33Z","type":"item","id":"Q3807646","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4076679"}},"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":"Q3807646$42C6847F-A8F4-46FD-8BCC-4441A932FA95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7570478dff6ad7ea0e40d2c0eac9434f91ddce80","datavalue":{"value":"0658.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3807646$2D22FB7E-4518-4782-A6DF-4035EA305187","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db853f8e007b670c6dac605d72d16982b4bc5768","datavalue":{"value":{"entity-type":"item","numeric-id":3807644,"id":"Q3807644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3807646$22A99412-BEE8-42F7-A06A-E2C1161A6BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d4f6ee956474bdd8a950976eeaade7e6f46d326","datavalue":{"value":{"entity-type":"item","numeric-id":3807645,"id":"Q3807645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3807646$B122BE86-3C16-40CF-BEB3-BC6C833F81EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"485a0bde9a63ac7b9eb294a8bc8f08974aca6844","datavalue":{"value":{"entity-type":"item","numeric-id":1112569,"id":"Q1112569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3807646$7D678AF9-9C9B-4871-80CC-DF84981D2802","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3807646$C79EA42C-BFFD-439D-ABD0-B3EC061C4ADC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3807646$79A10148-BBB3-463A-AEE6-A0E74253BE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3807646$84617A13-F5B6-46DD-9064-60CBBC81BAC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87981e1c34ccb9decac549bec7ccf76014b41ca1","datavalue":{"value":"4076679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3807646$B050B96C-6A43-4E23-8D05-005E125B4D80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7dcc168e995df46ecdd8dde2ed6392f83743c74","datavalue":{"value":"logic design verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3807646$1178C474-C76B-4D52-A854-65CFA31B9BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3807646$DAFC3F87-03C1-4F11-B3B2-E748160ACB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f570d95bfe3d12ec162782b015fc49f552f80532","datavalue":{"value":"connection graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q3807646$96B81074-400A-4A0B-9E48-58C04CAD48E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278504ddaf00ed6886282ad3cbc4ec4ecf70a5ac","datavalue":{"value":"proof strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3807646$EEA3964F-EB40-40AF-8B14-81C9D0DDEB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d88bc2b74e3b1de6499293d89dfd17939b3a890","datavalue":{"value":"logic circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3807646$E7CBCDBE-09EC-4F36-A16D-C961119CF60B","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":"Q3807646$30404453-182D-4C76-BFF2-84CF32523B9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e95534a651efba3d65a2767b50c89b962d50b1d8","datavalue":{"value":{"entity-type":"item","numeric-id":3021914,"id":"Q3021914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c81c0eecbc9a2c38d6d596b0ab0e31cfc907f548","datavalue":{"value":{"amount":"+0.7597368359565735","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":"Q3807646$F946442E-3BE7-4ACE-808B-05091CEEB937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8162a59b8a13ef31c7b2c2cfc782b60b654f3a3","datavalue":{"value":{"entity-type":"item","numeric-id":4503919,"id":"Q4503919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3352b5bdfac8fcd2fe13ed428520dd6e4cc893a2","datavalue":{"value":{"amount":"+0.758125901222229","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":"Q3807646$C5BDD387-CE21-4DDA-9B0B-E70CB95D435C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d0a40ad484bcf9fbae2150c0ef6cb3eabb7b53","datavalue":{"value":{"entity-type":"item","numeric-id":3682397,"id":"Q3682397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dca358c93b37b2fe5732adbc10398a93c1e36e2","datavalue":{"value":{"amount":"+0.757761538028717","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":"Q3807646$9E3C36EB-846F-40B6-9B49-46EE7E314AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27834f8881d79d504650b55693f4830b894523f6","datavalue":{"value":{"entity-type":"item","numeric-id":4530805,"id":"Q4530805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a30a9deff5d6759377911042e81921278ca418b","datavalue":{"value":{"amount":"+0.7520313262939453","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":"Q3807646$1E758440-DE3A-4125-BDA2-21E684D01BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62d3c74f1452c00e4d697b29b4b03afa7c01b35","datavalue":{"value":{"entity-type":"item","numeric-id":865629,"id":"Q865629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e5b366e7f91bab99d0a6a952bf26eaacc0db87","datavalue":{"value":{"amount":"+0.7492855191230774","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":"Q3807646$4320D6E0-9491-4778-A96B-536CC0547283","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3807646","badges":[]}}}}}