{"entities":{"Q453539":{"pageid":455306,"ns":120,"title":"Item:Q453539","lastrevid":51563489,"modified":"2026-01-18T19:29:04Z","type":"item","id":"Q453539","labels":{"en":{"language":"en","value":"Constructive Boolean circuits and the exactness of timed ternary simulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6087633"}},"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":"Q453539$F99A9677-173E-41DC-B9E6-081D4D7B60BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f6674dc82b49455a3c9ff9236ed112812ba88ee","datavalue":{"value":{"text":"Constructive Boolean circuits and the exactness of timed ternary simulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q453539$E30CB94E-A279-485B-A999-F4053CA71FBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d422154410fbf0838d7bedbaa6d3b48de314afb9","datavalue":{"value":"1303.94148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453539$626D06E1-9650-48AD-B934-6E3C98FCBCED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04db4e76afd2cfb9a7b7465aba3c3f1bfee9640","datavalue":{"value":{"entity-type":"item","numeric-id":453536,"id":"Q453536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$ECCDC317-3AB3-4532-AD6B-9D0644291722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"979de187157b90d79f3ebadcfdfcce809985a776","datavalue":{"value":{"entity-type":"item","numeric-id":453537,"id":"Q453537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$3D95EF6B-9A6E-48CE-BDAC-60F41A7D54BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b8ec1468d428238f8d4531c8e2ef03fc061c69d","datavalue":{"value":{"entity-type":"item","numeric-id":453538,"id":"Q453538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$C402887C-3D2B-4C99-91EB-DFD603B14FBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$4A16036C-2ACC-4D1C-A876-0BAF98CC8029","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fc6cf2e793ffe0cfa0f8a10182fc08299b3419d","datavalue":{"value":{"time":"+2012-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q453539$506F0FAC-3CD6-4FF7-943B-000C70A3D57F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453539$C9414305-E48F-4380-A985-604C2B2754A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453539$933E75E2-62A2-4D6D-98CC-CF00CB10F944","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a4fc0b1df578b8374d339e68a01ef1ca30c1105","datavalue":{"value":"6087633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453539$2A01C659-213E-42FE-B3B2-886A90CF9F90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3255bcab155270a1b334b8e3a8663d48491c84f5","datavalue":{"value":"combinational circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q453539$FE70F07E-F584-4DFE-B889-EA7D13CD92A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc3d6f3eff9a5725d16b5a6334bd1df15c97024","datavalue":{"value":"delay models","type":"string"},"datatype":"string"},"type":"statement","id":"Q453539$E5663DEF-6053-480F-A23C-B4CC35AFC481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7084aded5e93c2dde19043454db0ff8a82a3ef05","datavalue":{"value":"ternary simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q453539$1FC65E98-538B-4572-8063-492A8E232A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q453539$D92B4029-F83A-4CBE-B7BB-74E17C84D558","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$76684E2B-1CF6-4B14-9AC7-CE37E299D484","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":"Q453539$33C0D08A-4B94-492B-B1DD-8D78179ED79B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b816dbc2f0e245d12d0639e861a82c1a30c07e5b","datavalue":{"value":"https://doi.org/10.1007/s10703-012-0144-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q453539$CEF963D4-3EB3-4A59-85CF-68BF57C5D134","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f055493dae04e77248334d786cc7f07f9008825","datavalue":{"value":"W1978909743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453539$58F4A800-485D-4831-919B-CD3FCC046117","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5816e8cea351467082b7a5d92b3a51075f22cd29","datavalue":{"value":{"entity-type":"item","numeric-id":5636789,"id":"Q5636789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$55E028ED-F29D-4ABB-8884-99BB71BD14F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1dbacdf8df7ef1c59595214b8a9ff568b586aca","datavalue":{"value":{"entity-type":"item","numeric-id":4450438,"id":"Q4450438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$5FFDE824-D27E-4A94-9A3A-237A641BA8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa0ec0a91008b0f2b79b315aea2a22adb3b679a","datavalue":{"value":{"entity-type":"item","numeric-id":4196352,"id":"Q4196352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$377327DE-F76C-4526-8E6A-8A327C848CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$BE9AC823-F54E-4BF9-93C6-B4EDBF87FDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df3bbf76d1cf56d734b855affe040b343b8dfdb","datavalue":{"value":{"entity-type":"item","numeric-id":5342140,"id":"Q5342140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$02339B3B-9BB3-4A07-B48B-24CDE7A1F74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bb526784b7bc0517d99805eff98b4a5f58f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$24F75683-CBA2-40FC-98E1-9C7D55D03E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62aedbd59da703b6a13d2a6df683f16fb928eb18","datavalue":{"value":{"entity-type":"item","numeric-id":4199490,"id":"Q4199490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$656DE583-1EC8-4F6A-AB72-E04419ACB1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73040415c37f2644c9f81652299c17145fd4d0ac","datavalue":{"value":{"entity-type":"item","numeric-id":4319803,"id":"Q4319803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$7502942C-F7B7-40CC-8D4D-665FAE32D34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$74B23D27-A22E-4B02-9F69-51270A7C71AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b299fbe2ab76cabc8a179ecf220f70e6aad89ce1","datavalue":{"value":{"entity-type":"item","numeric-id":4845010,"id":"Q4845010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$8AF8223A-72B1-402C-9E63-D1A569660F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$55129EB3-8A5A-490D-850E-CF779383F74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f70df03408efde10538b5850eb7ec92cf3ca64","datavalue":{"value":{"entity-type":"item","numeric-id":3546383,"id":"Q3546383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$8FC6DE6F-F450-464C-886D-12FCC95AC8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"489fdea0dc50bddb022e24f1fd5b55591d16610e","datavalue":{"value":{"entity-type":"item","numeric-id":3904524,"id":"Q3904524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$34812E00-105E-41A9-9240-DEF8FE682A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e4a6e0f81732aec9d8afc289ee8654cc5c74e7","datavalue":{"value":{"entity-type":"item","numeric-id":4521287,"id":"Q4521287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$BC72DA06-DB21-4721-88D3-8744A066387E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$0B6F083D-A39C-4E5D-9D26-0AEE12425145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f9ee99b035ff48a1637fcdd4accf9c4b3700553","datavalue":{"value":{"entity-type":"item","numeric-id":453539,"id":"Q453539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$95D63191-4D01-458C-8730-59F20085E5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b254e974387da43d2fa56774e1353f16b68fa066","datavalue":{"value":{"entity-type":"item","numeric-id":4818807,"id":"Q4818807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$B4F8E185-5F74-464D-83FA-4D5AF8EDB45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$C51E5632-A7AA-456C-BDB6-90E794ABBA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$B15D7841-AE36-439B-9811-0209443B6FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"683e88d272120b53feb98a6c27be9031b8a960f0","datavalue":{"value":{"entity-type":"item","numeric-id":4419716,"id":"Q4419716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$8FC1456A-9E6F-4157-ADCB-D18A0D1BF49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cfd53c7c9401f4b21bb90a6408b74c4746c65ed","datavalue":{"value":{"entity-type":"item","numeric-id":4141110,"id":"Q4141110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$67133DFF-911C-4864-8599-C72C643C6845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3770afe6fac28b24959deaab89e54c1e7b1953f","datavalue":{"value":{"entity-type":"item","numeric-id":5511649,"id":"Q5511649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453539$FA64DF1E-DE98-4E5C-9DE1-9DC0DE06B27B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa5f18e5d2d457cdfe16904f82143686f99d9871","datavalue":{"value":"10.1007/S10703-012-0144-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453539$97CD1FB2-3B2D-405C-BD8E-EA0FDC2177E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc50dfeaddd6c45ec090011c9ad65666e5d49fb1","datavalue":{"value":{"entity-type":"item","numeric-id":4365005,"id":"Q4365005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5202a473647def8f6afc97479a15be216d82edc8","datavalue":{"value":{"amount":"+0.7752058506011963","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":"Q453539$0D7D60C3-A78A-4122-9402-961DB3884A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaf44e452c61ba1f63cfd4f519a7413cd24c7569","datavalue":{"value":{"entity-type":"item","numeric-id":1575731,"id":"Q1575731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a1f4a515c44797b7257b42e6738ef245ac3743","datavalue":{"value":{"amount":"+0.7639682292938232","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":"Q453539$AC6FE6C3-5677-4E94-A836-219A68441402","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":"732187980ef52bbab1c923a02a84765e6e465aa1","datavalue":{"value":{"amount":"+0.7579264044761658","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":"Q453539$4B45AC52-4CE0-4023-A770-4A5FAEB1B351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608a169544245944e0eea2e29bf7e0bb3fd76490","datavalue":{"value":{"entity-type":"item","numeric-id":3783220,"id":"Q3783220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"329194cf6db02ae5a05177ff2b4825830920bf30","datavalue":{"value":{"amount":"+0.748997151851654","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":"Q453539$85D3E9A3-864A-420A-B818-CDD01E94D279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c430527a1df10a9e7d0f6693aa497f023398376a","datavalue":{"value":{"entity-type":"item","numeric-id":1106812,"id":"Q1106812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74d10402b39ba2d0baa02ddfc4d741615f9bf13","datavalue":{"value":{"amount":"+0.7440299391746521","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":"Q453539$25BF8DD9-ED5C-40C8-8D9F-18B7AF9E0606","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:453539","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:453539"}}}}}