{"entities":{"Q859966":{"pageid":861814,"ns":120,"title":"Item:Q859966","lastrevid":64920693,"modified":"2026-04-11T23:06:56Z","type":"item","id":"Q859966","labels":{"en":{"language":"en","value":"Abstract interpretation of combinational asynchronous circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5117729"}},"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":"Q859966$4A5E8523-B826-4FA3-92C1-A58F59E6578E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bccc8a5a97f05d634d26d4a289d8a080edf0e4d9","datavalue":{"value":{"text":"Abstract interpretation of combinational asynchronous circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q859966$B58AB3ED-3AC9-4070-AAEF-45C1F07255DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb6e5c0e8b729f817d4999c805463359bff36cb9","datavalue":{"value":"1129.94049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859966$1A3D714C-561D-4A97-A590-7CF13B53347E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f20bec59c3303a1f35eaee8066cfbcb5b01b47f","datavalue":{"value":{"entity-type":"item","numeric-id":859965,"id":"Q859965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859966$05FAB5C7-187E-4112-9686-905959FEBCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd9eeea77fa294e9bccf24578b7f90fc51f99d2d","datavalue":{"value":{"entity-type":"item","numeric-id":796311,"id":"Q796311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859966$1D1412B0-040F-4EDF-9563-10D2506C6D24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859966$AD13BDBC-2742-4E5B-AA1D-57A1C20882E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8717bd621ac828fb200d97d6d2f52c061cac920b","datavalue":{"value":{"time":"+2007-01-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":"Q859966$CB263B4E-3CAE-4A98-A3EF-E7B93C620F6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d65091154bcdcd55b19c17aadaa169aee2e3523","datavalue":{"value":"94C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859966$084FD9B6-50A4-4EF1-A335-1634375FA48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859966$8C5498CE-FB86-47B2-A774-228467AD5E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859966$5994B175-A187-4CBE-B71B-E9867CD3F5D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c631036605cbc0658e9b83222bdd30764b17a79b","datavalue":{"value":"5117729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859966$3894BC72-D658-4BC6-BE25-29A452E679B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q859966$D201CDA2-2C6B-4350-81D6-D28195A859DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fe85ae8d4a7293b26db13c88d4f499a668dd17e","datavalue":{"value":"asynchronous circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q859966$C33F0B44-392B-4920-B619-6D47ACCFCC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da103fd23edaca866a4a5250644d998dce9761be","datavalue":{"value":"transitional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q859966$D11B5D45-9E65-4671-8E52-2F1E0277C52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb8e46d9b8035108ace18db22ed940c9dd3916c6","datavalue":{"value":"multi-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q859966$2CAC1692-7D9F-40EF-ABD9-5A175526C19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc10ac5af242f499221bf2c34cc3867a20f5a0ab","datavalue":{"value":"achronous analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q859966$B78BEC16-94BA-4904-9D29-4390EFB231D3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c2a2b2e4e44e298302f00f4462bf8e65234ee033","datavalue":{"value":"Q59505626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859966$AD242740-33E5-491B-ABA2-B7D8852AC720","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":"Q859966$6B4D2248-7153-46D4-9FCE-6255B426EE7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c14c60b1e6b4dc060cf2cf1ee199a73cd5f24eca","datavalue":{"value":"https://doi.org/10.1016/j.scico.2006.03.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q859966$2B9FA890-CE3B-4ACF-BA5F-7754053718F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01ffa6b11c54e8d32ac7d1010edfd688b46d2202","datavalue":{"value":"W2042714874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859966$CAFF10CB-AF73-4AC3-9CD0-E817BF25CA2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c86a32d4dc42ec0b85d62da95f0c1bb49a42faa5","datavalue":{"value":"10.1016/J.SCICO.2006.03.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859966$07A3D5BA-9EFF-40A2-B3D5-5D638EC039E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0095c99d58edb4105e6daad70783a1c60a1bf8f3","datavalue":{"value":{"entity-type":"item","numeric-id":5466559,"id":"Q5466559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b50fadb7123a391b4c671455a2b9632eba68f9","datavalue":{"value":{"amount":"+0.9776482582092284","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":"Q859966$ED560490-881C-4098-9D8B-F0DF80C35F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d412134f5211f7be5fc7b57a50858a42cec6b06f","datavalue":{"value":{"entity-type":"item","numeric-id":2535930,"id":"Q2535930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa536d5050f885161da1e837a716f7cc3e083761","datavalue":{"value":{"amount":"+0.7554200887680054","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":"Q859966$EA872B20-2DF9-40ED-88FF-7F712C7CEEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e89fda66502fe440e8ea0739bbb87926dc74c3f","datavalue":{"value":{"entity-type":"item","numeric-id":3971274,"id":"Q3971274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af8c9627435f27250b28a384848c937612c1fd17","datavalue":{"value":{"amount":"+0.7509996294975281","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":"Q859966$8086FB9A-6276-443F-BE7F-ADAE149AB336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83788130b07741bc8729a9367b03d4c8a703ef9","datavalue":{"value":{"entity-type":"item","numeric-id":3602748,"id":"Q3602748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c0a09140bdc9f83f1f941658411b64735c340fa","datavalue":{"value":{"amount":"+0.7503952980041504","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":"Q859966$129C6DA3-542E-4079-9453-B7BDCD72978E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d29988ac2a7f96e70a2d42c06480b87a5f8fc4","datavalue":{"value":{"entity-type":"item","numeric-id":4419716,"id":"Q4419716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e460dc8dd5fa51593133d0beec0f0f97d9c015","datavalue":{"value":{"amount":"+0.7441320419311523","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":"Q859966$CF4CC0C0-DF47-476E-ABC2-A9FC3539EDB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract interpretation of combinational asynchronous circuits","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_interpretation_of_combinational_asynchronous_circuits"}}}}}