{"entities":{"Q3743249":{"pageid":5773155,"ns":120,"title":"Item:Q3743249","lastrevid":50962616,"modified":"2026-01-15T23:06:50Z","type":"item","id":"Q3743249","labels":{"en":{"language":"en","value":"Automatic Verification of Sequential Circuits Using Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3976934"}},"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":"Q3743249$6E0DF8BE-7000-4DD9-9891-CB38AF4731DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7760a3be10283e9aabf0d144d23415819ed39a3","datavalue":{"value":{"text":"Automatic Verification of Sequential Circuits Using Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3743249$F584EDA8-C4E9-44EC-BB70-0082EE6B9855","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc56ac3d812cea412191bcedea7086754ffbae38","datavalue":{"value":"0604.94011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3743249$08EA48C0-3920-44EA-B2AA-3FA2FB96982A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"778a96837e3fc813a0835a2aebcf31741ca3c101","datavalue":{"value":"10.1109/TC.1986.1676711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3743249$B5A51100-D795-4536-8D31-6A473DA81140","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ceb18c0108d8c6a9d9ebd01a688a1f6ba61ba85","datavalue":{"value":{"entity-type":"item","numeric-id":921981,"id":"Q921981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3743249$C8FC2BF3-6322-4ECC-AD93-D3E279CB7D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e2c7512c148e94813534cd39eeccb8bf8f433e6","datavalue":{"value":{"entity-type":"item","numeric-id":999261,"id":"Q999261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3743249$F2A06539-D1A9-4E85-A8F3-65146E2125AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3743249$2ACBE15F-E0DD-43D0-AC79-429D56DFF397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd061ef340feff0cbd009fd7ff490684b9da51c","datavalue":{"value":{"entity-type":"item","numeric-id":685109,"id":"Q685109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3743249$E78D7207-EDDB-4A23-9B2D-8C8B8414A13E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3743249$637F17FF-B926-4B6C-92FA-28F569603CAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3743249$1BAAB293-BCF0-4EF6-9651-C83C69F4B485","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3743249$AAEBBB0C-C542-4CD6-B693-813F5DD394AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29f26afb7c031d24f77d018583c1189892785acb","datavalue":{"value":"3976934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3743249$C4A1DB65-65FC-45E7-A1D1-AC44DA583FD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fe85ae8d4a7293b26db13c88d4f499a668dd17e","datavalue":{"value":"asynchronous circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743249$AEF3DB65-0B66-428A-8005-92364AEA8149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac52900f9c775a1c2e9b77521a060cf4681ca7f4","datavalue":{"value":"hardware verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743249$A046A04A-BE17-4465-BC1C-B47280A72A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bfe0f34c239a9d3e97d00642ea053b6d98f73e1","datavalue":{"value":"correctness of sequential circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743249$9D44F398-C9A8-4317-8388-B99982EF8286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f0a0d846f96d0ad21fc394acb3c1906b48ab4b","datavalue":{"value":"propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743249$89B5334A-E50E-478D-AE9D-04BCB6003F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f00349da537437f5b33a2c7f379598a422d5058a","datavalue":{"value":"state-transition graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743249$A28442CD-1C07-40CD-8C5B-C175B33ABEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b003af971dbfe7ea1c5a453b84b0437c2c1f46e9","datavalue":{"value":"truth of a temporal formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3743249$78E9D643-DAE2-494F-B69F-786442BB7265","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":"Q3743249$EE4A7B9F-2B71-4ED1-A8C5-2B5DC71F730F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03365cca812058c65420ab8d3a92853d1b932e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3704886,"id":"Q3704886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45bea276ee2b0f70fe4f49f43f7c646763ba635a","datavalue":{"value":{"amount":"+0.8905343413352966","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":"Q3743249$3D9AFB1D-38FA-4160-ABAD-8580DEE405ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc9c7adf0165f357f42a19f4bf038f7028a3a74","datavalue":{"value":{"entity-type":"item","numeric-id":3329397,"id":"Q3329397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f3fbf688d6054ec5178dbc883a35fa85ce96384","datavalue":{"value":{"amount":"+0.8649595379829407","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":"Q3743249$3C588F68-0647-41A3-B9D0-DB10B51E4592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94845cb0192c44f2f405da435c6139e86c20e67c","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85db88f7eefd5d870a9d386f64ae306644795d4a","datavalue":{"value":{"amount":"+0.8624700307846069","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":"Q3743249$01A79577-7FD6-432D-AB08-8B96C6CD5919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cee5d9fabe03aeab4e9fdd7f9e1e9604515583c","datavalue":{"value":{"entity-type":"item","numeric-id":1070998,"id":"Q1070998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"602a571ba6921187855f8096042301d8e36a9a8f","datavalue":{"value":{"amount":"+0.846006453037262","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":"Q3743249$3F769DB0-E184-474B-969F-C16D2FDF03A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2d534ea1babd9385eb562ff47f5de8989c34b45","datavalue":{"value":{"amount":"+0.8450186848640442","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":"Q3743249$BA8DAE41-F431-40C9-B5B2-00275306E04E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3743249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3743249"}}}}}