{"entities":{"Q5902419":{"pageid":8011630,"ns":120,"title":"Item:Q5902419","lastrevid":97530425,"modified":"2026-06-05T14:57:48Z","type":"item","id":"Q5902419","labels":{"en":{"language":"en","value":"Event-driven traversal of logic circuits for re-evaluation of Boolean functions in reactive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5653041"}},"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":"Q5902419$C807E7F8-F7F0-44A5-9A5E-6D7A8A1ACAC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05848c7ea3b914ee978c2b33555f525d5007e233","datavalue":{"value":{"text":"Perspectives of System Informatics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902419$F40C2315-9012-4660-93E3-8F44AC7C82FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"414a18a56ae7577ef32a0930af6ad341f05d2f00","datavalue":{"value":"1254.94053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902419$AD1DAA5B-9351-4F77-B1D3-DDC928466737","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d7f1ff3d17e9b10ab214d9458005cff7ffba021","datavalue":{"value":{"entity-type":"item","numeric-id":3043801,"id":"Q3043801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902419$42552FCC-20E5-4761-830F-C17E0549A737","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902419$50992A28-26D1-41D1-8BF4-F8C6FFCE521E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a298e5caca0f42371daea3257fe0d30ab5b1de8e","datavalue":{"value":{"time":"+2010-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902419$69D9185B-5FF7-4363-8C7C-F3AF89BB9DB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902419$0B03BB53-E6AC-4688-B8C5-03C33898DA97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12c0d19fb4b0d6a5c29a4b43476176dbc5e05d21","datavalue":{"value":"5653041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902419$41159C9B-F4FB-4642-A017-0DC0F137F82D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b1afd6691ebb516b3033b192203a0a8f48738d2","datavalue":{"value":"Boolean computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902419$10A874AF-6DA1-4161-AADE-29C3CCEA1186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d88bc2b74e3b1de6499293d89dfd17939b3a890","datavalue":{"value":"logic circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902419$ED5554D1-1881-4F9F-A516-5A62DF43CE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"140a86685526f7d0ed5cbf8fb56d7e4fa636f714","datavalue":{"value":"incremental computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902419$5238B486-E05A-4865-9272-31A3FA2CEBD4","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":"Q5902419$EE117304-3835-44E4-A1BD-B8C98304553E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be4a721e4afdca1f9528dba142eeaac0c54430b9","datavalue":{"value":"https://doi.org/10.1007/b94823","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902419$8ABB54A7-DCF5-48D4-A5D9-A28684481E48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"641058c3b146cc75e3236969f7902b48493a9107","datavalue":{"value":"W4234004114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902419$9CDCA117-3790-4108-8F60-9490199CD5AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a8e7a7b1767d6589ae9f2811979f84202d95069","datavalue":{"value":"10.1007/B94823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902419$CDDC6816-E200-4EDD-81D3-F84040B062ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6611493139102bc15986349105ef128fec73e54","datavalue":{"value":{"entity-type":"item","numeric-id":3043802,"id":"Q3043802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4854ebe7654301c79dc3dd97fa16c20653ca86b1","datavalue":{"value":{"amount":"+0.7731862664222717","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":"Q5902419$3493E53F-1C2E-4EFE-AF1A-632228EA0609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaea0953ae6c10369c1f8aacd62d1412843a005a","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3cd88392af855f82d14d6ff6b4143a953d53e8","datavalue":{"value":{"amount":"+0.7105786204338074","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":"Q5902419$FEC0E93C-E7BA-4517-A136-0B198543CD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8859382bc41d8a50dd37a131d8e86d0b0084a719","datavalue":{"value":{"entity-type":"item","numeric-id":4964007,"id":"Q4964007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea10ca992cbd59169adcc62a6d4a1f45ffef5fb","datavalue":{"value":{"amount":"+0.6862604022026062","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":"Q5902419$0E72B537-83CB-44AA-B6E9-E41229FB0F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88194500c99dd2b413bcc188512e785d34a7e71d","datavalue":{"value":{"entity-type":"item","numeric-id":2304557,"id":"Q2304557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39271b357ddf8b8d384c1d114eec9145addf0448","datavalue":{"value":{"amount":"+0.6841473579406738","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":"Q5902419$B7097811-0E6D-458F-8B0E-E43A01E28BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65816408e62c0a23b10485c0b2a38faf9b70232c","datavalue":{"value":{"entity-type":"item","numeric-id":2909178,"id":"Q2909178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e361020953b0090c4adec6c0c852a1834f5f284","datavalue":{"value":{"amount":"+0.6799596548080444","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":"Q5902419$7B957F92-5E2C-4837-8D86-EE6A445287AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Event-driven traversal of logic circuits for re-evaluation of Boolean functions in reactive systems","badges":[]}}}}}