{"entities":{"Q1075756":{"pageid":1086508,"ns":120,"title":"Item:Q1075756","lastrevid":66792597,"modified":"2026-04-12T12:53:18Z","type":"item","id":"Q1075756","labels":{"en":{"language":"en","value":"Description and reasoning of VLSI circuit in temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3951999"}},"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":"Q1075756$76D82110-DFD2-4B21-ADD5-7BF5AA3E031E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7449be250bbf64ea9305c94ac7babe605d15ef7d","datavalue":{"value":{"text":"Description and reasoning of VLSI circuit in temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1075756$CBF7AB44-CE3C-488F-8DED-FE5E81BD4404","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"233af052017bbf6e90a14e55bf7ed4b1fc6deb25","datavalue":{"value":"0592.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075756$E942B459-9C08-4240-A243-B45A1E5DA5E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22c73db19bd58c5f04c3863e37a5b9d895b32acf","datavalue":{"value":"10.1007/BF03037053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075756$C27CAF2D-C2DB-4E00-97C7-FF25222C6E6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e82b4bace3a02bad7d839b30747e01158267f77f","datavalue":{"value":{"entity-type":"item","numeric-id":1075753,"id":"Q1075753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075756$0A622C6F-EC60-4D18-9619-6F1E77FD42F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a32b8a393a965407422b1e26ed1865f6e692ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1075754,"id":"Q1075754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075756$CD74A55D-CDD5-4B18-A67A-49B4A0481524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e25f807cd6b61f7e27c5f5daab1868447eba32f4","datavalue":{"value":{"entity-type":"item","numeric-id":1075755,"id":"Q1075755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075756$3AF99CE1-EEB0-4C71-A988-4E349C426621","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075756$7E53238E-9ECA-4DBB-ADE4-90205DAD2678","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1075756$1A320E66-B7E2-418D-803D-732F7BDC8CA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075756$29F2C252-7BCB-4309-9E8E-AB8F39792806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"007f7f82691f1d7656215e5be329d57b0bfdf5e7","datavalue":{"value":"94C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075756$0E4DC4C1-A1F8-43C1-AB29-6C6D34E8819C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075756$F0939771-CE41-4281-A8A5-2E6E19345C37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14414a818728499aeb2354da00497bc83ec1d441","datavalue":{"value":"3951999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075756$77C98172-95A2-4D33-AE9C-19DD89433115","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c12312448cd7f2eff3c4212b5a1053bc0d0dd15d","datavalue":{"value":"design verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075756$CB6FFB6B-8404-4902-9D62-2D5ECF234D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"099c96ba438b36a73d53dd45880927d1a6e3045e","datavalue":{"value":"hardware specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075756$ABA36493-EFAF-4E9A-961B-6B489E566F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38dd5c31d373d76e6308be0f17a0875fd182b166","datavalue":{"value":"VLSI design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075756$1D4D3BF2-5DCF-4A27-8802-45309013E1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd351de93916b9b97ae6d1e5de1ba8cb1e641a9a","datavalue":{"value":"automatic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075756$753CB5CA-1A37-4DE0-9373-8D8BF929A361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075756$64211312-2B69-4DE9-8242-EC482391D810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3473e72f1ac4c3f7048fbcd9eea66e6efc810d4","datavalue":{"value":"behavior of VLSI circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075756$4E90EFBD-6C1D-4E4A-AA4C-5557AF36CDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4db85992d766e3fad715743440494d332d79d042","datavalue":{"value":"extended temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075756$0F9EBE93-1EC6-4FA7-82D2-234191FD0359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"035ab4f7bd2cc0ce30ba1ef510b929a747bde4a7","datavalue":{"value":"expert system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075756$83536338-6330-487D-B9C7-E96934AE3DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bef53ed0323d5835334503d8cdb12a7bbfbb437","datavalue":{"value":"VLSI CAD system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075756$1927C77D-7A85-4092-B40A-F77AD500B814","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":"Q1075756$71E5C87F-2E24-434C-AB93-5C07FDE2B10A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a358a7e0cfe385397b6ee7256bfda7621794063","datavalue":{"value":{"entity-type":"item","numeric-id":3948585,"id":"Q3948585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075756$C6A746F5-95D9-4B70-93C3-7C5393AF0C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075756$B581E374-4593-49E3-BCB5-D160659C17DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075756$2532DAB8-F31D-4474-81D8-677AD085B14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c10d78f61c35518c095f8a531c88c7ff985b7c3","datavalue":{"value":{"entity-type":"item","numeric-id":3934310,"id":"Q3934310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075756$0F6D3246-641B-434E-94CB-C9BA1E2160E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41da88234adbed83efe7412ca5c92908a4dda70","datavalue":{"value":{"entity-type":"item","numeric-id":1240574,"id":"Q1240574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075756$E7C8D763-3FC1-49BF-AD19-415D557BB386","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c45505bfc8398de88ab48b5b1410bdaac103eee","datavalue":{"value":"https://doi.org/10.1007/bf03037053","type":"string"},"datatype":"url"},"type":"statement","id":"Q1075756$40B6D6D3-FF66-42E2-85CF-37D56E98698F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de0864b783e496aa1b44a55eed26ca0346205f82","datavalue":{"value":"W2032056625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075756$5059D1F0-904F-4765-8D60-A44C4E54C74F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52d955002b9064e226e396365b35b7e63d4c2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3743249,"id":"Q3743249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e263fb1d3f6438faf43a857c25ab1ac8920a6830","datavalue":{"value":{"amount":"+0.7455551624298096","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":"Q1075756$70112ED7-7933-40B7-A883-20842FED60F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a65d1b4d0c4b2b38621f18bb0d3fe2100d3e38","datavalue":{"value":{"entity-type":"item","numeric-id":3469043,"id":"Q3469043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2deafd29904f8ce39acae47dc489d63a46e991","datavalue":{"value":{"amount":"+0.7414202094078064","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":"Q1075756$7AA3A8DE-62C2-4305-A167-6E5CA1CFB234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4922076434762d4aa7bb6d25e7222d16232fe0ec","datavalue":{"value":{"entity-type":"item","numeric-id":1088971,"id":"Q1088971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a31fdb1ad2101db9eb140c45842412f25041658","datavalue":{"value":{"amount":"+0.7204464673995972","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":"Q1075756$EBD61D94-59AA-4DD2-9093-4B19E3C07719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"078215821e91a0f9b381e271544609d639a013a1","datavalue":{"value":{"entity-type":"item","numeric-id":5394231,"id":"Q5394231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"331e1e29c427721781f8499e4bc3c35f7faedaf8","datavalue":{"value":{"amount":"+0.7122496366500854","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":"Q1075756$204EC50D-FDAD-4408-B388-56602CA41AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c65462ceba66f4461063591fe338308ce739c29","datavalue":{"value":{"entity-type":"item","numeric-id":3030255,"id":"Q3030255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"353ee9ae71190b278394c1b63c50093ae4c272e6","datavalue":{"value":{"amount":"+0.7109813094139099","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":"Q1075756$01322192-CBA5-4583-AFB4-C47EF5B3E36E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Description and reasoning of VLSI circuit in temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Description_and_reasoning_of_VLSI_circuit_in_temporal_logic"}}}}}