{"entities":{"Q3026918":{"pageid":3037634,"ns":120,"title":"Item:Q3026918","lastrevid":85857419,"modified":"2026-06-03T12:02:12Z","type":"item","id":"Q3026918","labels":{"en":{"language":"en","value":"System Semantics and formal circuit description"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014618"}},"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":"Q3026918$1CF0407A-787F-4D82-8525-53770C25051F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"772c236ee5b1e8ba2a84f6b733fd78f8a6202f82","datavalue":{"value":{"text":"System Semantics and formal circuit description","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3026918$390B4523-C7AD-4D66-801F-FD7BF469D840","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f51e7a13bd36a28258a5511b730dcbb1dd94338","datavalue":{"value":"0624.94020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026918$E127EF2A-15CB-48F7-821A-E5A72C95B7BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af3c8bd1a8994941d59cc637b90358e27ae7b24d","datavalue":{"value":"10.1109/TCS.1986.1085878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026918$91816ABC-CC6D-4B43-921C-3111D715C277","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d5b20ad68ed7429ae213f640b19bc5378d1aa0c","datavalue":{"value":{"entity-type":"item","numeric-id":633282,"id":"Q633282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3026918$976C617F-4D33-4458-8F6E-4F86B03CD6EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5f8d8eee56859b7d1e93804ca94ac081e554cb10","datavalue":{"value":{"entity-type":"item","numeric-id":2710104,"id":"Q2710104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3026918$B702EBE2-501D-4567-B25E-3A124F9E0309","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":"Q3026918$701CBB38-FD0D-4FCA-8E89-7156C5FDBF09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10b85655aba2fdb6347555277df2ffd39ea1a82a","datavalue":{"value":"94C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026918$07EDAEB2-A025-4EFF-881E-22109288D4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026918$2D0D1181-AD88-4529-AE92-A04B3F29EBEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c44f156afb7b1cc6d2fedcbe7218c70ad89c0e2","datavalue":{"value":"4014618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026918$C57F6E21-8906-4D5D-8463-C8008CCD205D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c118ee27134658bb7ff454a654735747ef52e487","datavalue":{"value":"system semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026918$CE8429D2-925E-40A6-B296-0A4F4C22AB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ab7afb514e2b94395d51d1b58320ff2741c32a","datavalue":{"value":"meaning functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026918$B36DEB54-C09B-4787-8895-84DF8ED886DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb111f358878095d3946009d8137cbd7bc3b8f1c","datavalue":{"value":"formal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026918$7503E1EF-97E9-4883-9EBA-A43FFC5E2B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd48ce8c228f01bdabe7caeb1da52a94db58974","datavalue":{"value":"digital systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026918$DCFF49A1-D303-4ABE-B732-EA6C76FFC445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a80e21dd9d9eea5b8d7d85bf9ba354a112f417c","datavalue":{"value":"unidirectional information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026918$09CE25EE-0D31-414D-B274-E0F4D1516A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0367317597a2480297351120afa3a1ac98b1fe9b","datavalue":{"value":"analog circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026918$97F035FE-C0CD-4B7E-B092-538F3686D0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecbe1cfaeaa6b8a40c9eb73cb074bcb1911d55a8","datavalue":{"value":"bidirectional","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026918$FFE3A8FA-BA06-4816-A5B4-1CBC534ACA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6444bfd6c253e1dd7ebe9e0d3bc7dc84255fa98","datavalue":{"value":"semantic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026918$95C7DCFF-3115-4725-836E-45ECFADD6450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98cf45d14f94ea160c8afd664a949e1e1e819689","datavalue":{"value":"circuit theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026918$9674FE50-1A39-48F4-AF64-C7A8899135DF","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":"Q3026918$931551E6-6822-4B28-AC4C-DB9F49BC7ED5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42002bcc8215a1a9345b81a639f2707fa65bae7f","datavalue":{"value":"https://doi.org/10.1109/tcs.1986.1085878","type":"string"},"datatype":"url"},"type":"statement","id":"Q3026918$AA057EFE-F0C6-4613-A071-5C2851CB25BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1efd670b5a9c37cc3cf0a5da6c68a035bc12ff47","datavalue":{"value":"W2117611429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026918$AC5CD4BA-6CF0-4D3B-8ECD-93BD9275FFA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d8084b7a9f7ff94b593dfa5c11d1b70ba3ef54d","datavalue":{"value":{"entity-type":"item","numeric-id":4721962,"id":"Q4721962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"908d5473db0b4bbddf907eb615a1ebf3cb8eb91a","datavalue":{"value":{"amount":"+0.8345085382461548","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":"Q3026918$82748274-B268-4863-AA10-F3C30BF54079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7cf5034f9a228a676d4c06d8c4621db4f9a9c48","datavalue":{"value":{"entity-type":"item","numeric-id":1099132,"id":"Q1099132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60a1fa0a9155c0801a431da1e4c9093cac8f0111","datavalue":{"value":{"amount":"+0.7647706866264343","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":"Q3026918$ABEF069C-7DDE-4F96-A5DB-1C6CD142552D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806602fc7daf24c050d2c203dfd111ae30216068","datavalue":{"value":{"entity-type":"item","numeric-id":4028147,"id":"Q4028147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2837e9d8fec12ff090700a552a055f72a5ca5f","datavalue":{"value":{"amount":"+0.7346463799476624","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":"Q3026918$E9AC6E20-30A1-40EE-9EB8-AF64CED2DAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84ab27eed3ac6daaf882aa5761a264cdedcee66a","datavalue":{"value":{"entity-type":"item","numeric-id":4764183,"id":"Q4764183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2837e9d8fec12ff090700a552a055f72a5ca5f","datavalue":{"value":{"amount":"+0.7346463799476624","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":"Q3026918$1016174D-8A4A-414F-87D7-EF8C74083CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc3ac044e76f1d2bcaaad5bae3d89ef8629ec184","datavalue":{"value":{"entity-type":"item","numeric-id":3043815,"id":"Q3043815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e6dd5c69c06ac46dd4704260b304d793eb0e2b","datavalue":{"value":{"amount":"+0.7342722415924072","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":"Q3026918$B7105565-5A89-4D7A-A535-D237EFC7FBA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"System Semantics and formal circuit description","badges":[]}}}}}