{"entities":{"Q3934310":{"pageid":5964215,"ns":120,"title":"Item:Q3934310","lastrevid":55028578,"modified":"2026-02-02T23:21:41Z","type":"item","id":"Q3934310","labels":{"en":{"language":"en","value":"Hardware Specification with Temporal Logic: An Example"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3750864"}},"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":"Q3934310$359267E5-524B-4000-B33D-255290172ADE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5be469bd170dd121b4197715fb5ed3d44c925c73","datavalue":{"value":{"text":"Hardware Specification with Temporal Logic: An Example","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3934310$C17AB18A-25B7-4AA9-938E-0656AF326E6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6274ad9ac41ebc7e3bc03aa59083fc85771be8d0","datavalue":{"value":"0477.94036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934310$7724C7F9-560D-4C46-B2D3-4252F8F7EE52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b3fd9e1610c0820f8638920c7597d63c984f698","datavalue":{"value":"10.1109/TC.1982.1675978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934310$9B6E8BB1-E8F7-40F2-8460-8A72F1153794","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fc9133a22d314c8b19fc72b80095b0ea33899b2","datavalue":{"value":{"entity-type":"item","numeric-id":455929,"id":"Q455929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3934310$58E6F203-426D-4AD7-872D-BFDDF8E96A1F","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":"Q3934310$C6D62925-58AB-49C9-8F22-852F1DD3DFB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3934310$4D9693C1-6988-4CA2-9C5A-02DB0431A0B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934310$99A86DF6-6809-40E8-A0DD-A6F81E981A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934310$A9061F11-90DD-4311-9DD3-9C4070C93137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934310$F06D2EBC-BBD5-4106-AFC6-2AF413CC225A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934310$5F451BDB-4123-40D1-A399-3FD47A79F47C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05b4b13d6a31c82f1418cfb5874b20f320c61d7e","datavalue":{"value":"3750864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934310$C77D8975-69C7-438A-97A0-89A9FBFB7680","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f80bc29ef211e9897e871b86c5dcd9f8a0fecc93","datavalue":{"value":"specification of memory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934310$A872C680-675E-4600-BA53-2D7C5144E893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdb1fccea9893a75d0edb01779fef607bc38eb63","datavalue":{"value":"safeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934310$852D8903-A807-49A0-B3AF-DDBEE47BE2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934310$C04795BC-3B64-4545-B645-757919DF4F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86386dea54b6254359f881cc69999713023a98d6","datavalue":{"value":"active circuits representing processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934310$D0B280BE-7504-4EBF-9635-1F11C51ADD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7505d217a4bdd95ba5e9d4cc8975596d402625e8","datavalue":{"value":"self-timed arbiter","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934310$D1ADBBDC-661D-4F0F-9ECC-B37375480E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934310$EB1A69AF-B077-447F-8D67-9AE57D72C142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934310$A6F96DDE-8351-4E89-B87E-8B4D02C1E802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55a1fed7a21adc523e40bd66e0bbd392a8c74c0a","datavalue":{"value":"finding design errors","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934310$6A846518-9C86-4087-88D4-F467B58C6BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1be1484d315990346b05e061d6177a3bb0ae0fa9","datavalue":{"value":"logic design","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934310$E7A01BF4-91CC-4018-80AB-7B58751F1CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38dd5c31d373d76e6308be0f17a0875fd182b166","datavalue":{"value":"VLSI design","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934310$8303B3C2-07FD-4281-9A83-08719D65BFAF","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":"Q3934310$DCD9B974-2DE7-4A9F-8203-6B134E417D45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"906a2f15c792e87b3ca6d86ceddb1c3262eae92b","datavalue":{"value":"https://doi.org/10.1109/tc.1982.1675978","type":"string"},"datatype":"url"},"type":"statement","id":"Q3934310$FE84835F-062B-472E-9670-BB80CB5771DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db0b7bb33af5e4e5f3a279c50a52282c1d4391b8","datavalue":{"value":"W1967686058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934310$60661E12-A954-4776-9491-F676F1BC566E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3934310","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3934310"}}}}}