{"entities":{"Q1115174":{"pageid":1125923,"ns":120,"title":"Item:Q1115174","lastrevid":77753345,"modified":"2026-05-06T09:58:58Z","type":"item","id":"Q1115174","labels":{"en":{"language":"en","value":"Time-optimal short-circuit evaluation of Boolean expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4084992"}},"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":"Q1115174$8431269D-CB2B-49DE-9CBE-1671287BA810","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"310ab513af57698fee608bca94df3da610e2492e","datavalue":{"value":{"text":"Time-optimal short-circuit evaluation of Boolean expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1115174$21642F37-B579-4067-9E10-F7EDF0E249A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7eb8de04db3986b1817115606b7ece2ad36642b4","datavalue":{"value":"0663.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115174$F082A453-7DDB-4BFA-8A12-F54A90B14B22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ed84de0f6bfb4a66d18eefce416bf8e1c961150","datavalue":{"value":"10.1016/0020-0190(88)90132-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115174$3E96F5FB-FE19-4B6F-A7F1-A23BC3D2834A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5875de9c373d1037dd5b7683c9a250c66412774","datavalue":{"value":{"entity-type":"item","numeric-id":287101,"id":"Q287101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115174$BD95621D-16D7-47F6-BA2E-41022A741731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33882afba0be0adbeae814a07817730df6b7171c","datavalue":{"value":{"entity-type":"item","numeric-id":239057,"id":"Q239057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115174$110A1DF2-2FC7-4D92-A440-8E69DFCDFA98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115174$01B799D0-1AC6-4BD9-980B-20D4EC410EF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1115174$8447CBCD-8095-4A10-AE1D-D3151ECE223D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2ff6a387fa4812e8ccb357d002f7fd077e148fa0","datavalue":{"value":"Das Verfahren der Berechnung Boolscher Ausdr\u00fccke duch ``short- circuiting'' wird durch Einbeziehung der M\u00f6glichkeit, durch Umordnung unter Verwendung der kommutativen und assoziativen Gesetze f\u00fcr ``und'' und ``oder'' zeitoptimale Berechnung zu erzielen, weiterentwickelt. Dabei wird die mittlere Zeit und die wahr-/falsch-\\(Wahrscheinlichkeit\\) abgesch\u00e4tzt und unter Benutzung des Verfahrens der dynamischen Optimierung die mittlere Zeit minimiert.    Im Mittelpunkt steht dabei das Minimierungstheorem, das im Anhang bewiesen wird. Anwendungen finden sich sowohl in den Programmiersprachen und ihren Compilern als auch in den Datenbanksprachen. Ein ausf\u00fchrlich behandeltes Beispiel zeigt den Minimierungseffekt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115174$B18A8483-2AC4-41BF-95AB-411BDD3508DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115174$6D6F828A-22D9-4F45-BCBB-3511F6EEF4B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a4dcbf4860fd9c3794cbda2de845326ea4fb3b6","datavalue":{"value":"4084992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115174$51E9AAC9-7598-49FB-B770-019782486C68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf666add3e3bec5fada9c8d8bb3a06a07354729","datavalue":{"value":"short-circuit evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115174$35926ED8-3F6C-4F64-8A58-14A08DF56F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82c57f1aef24e8b9bfd4065665df523e5193ac40","datavalue":{"value":"Boolean expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115174$C1A3B4D3-71E1-4426-B0DF-D4F29AA4C36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f8631fe41403ae026ec9683f27947d17221ee8","datavalue":{"value":"expected execution time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115174$491B6A64-1EA6-4773-BD6E-455D5736E754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115174$9413690E-E327-4D79-BC6D-15EBC1F67641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6bc6768f771e8ae47ba1683cf1d33a808061abb","datavalue":{"value":"code generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115174$BC0532AC-1370-4C3B-A06C-24A9EE732785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"875cd5fb6d931edf780d89ebdeeec14b9b363161","datavalue":{"value":"short-circuiting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115174$4C101273-C240-46B9-9D19-1149EA66A1B1","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":"Q1115174$E5789B2F-F3CC-4656-9341-64735DD68048","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3bbaba825ee64e740b1d2deb65182887c8fcbef6","datavalue":{"value":"https://doi.org/10.1016/0020-0190(88)90132-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1115174$AB557638-2FE7-4400-AA96-120AE7754C02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fdda9e3032ed6221ca8e509b1f6f5f1ab962753","datavalue":{"value":"W1978969061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115174$175E9406-B6C8-4EF8-A951-B903693277EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"227765e918e2cda93c0ddfc2c5f43766fe78d791","datavalue":{"value":{"entity-type":"item","numeric-id":1393275,"id":"Q1393275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115174$11277327-7100-4891-823D-3528F83F7611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7298a071f32ab6c166d60412c46374fd86bd6f","datavalue":{"value":{"entity-type":"item","numeric-id":5180391,"id":"Q5180391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115174$4BA77A64-2A83-4FCA-8770-D63477524388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ec61962be1ac6183d0a27f9d017d9ab542d3f1","datavalue":{"value":{"entity-type":"item","numeric-id":3925156,"id":"Q3925156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115174$F1801612-0006-4670-9092-C147EB881825","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd7c89cb63190227fd4c5b348e9ec1f624c40a29","datavalue":{"value":{"entity-type":"item","numeric-id":2403571,"id":"Q2403571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d9a73d43039667de5bfa9fbea7d743d383cfc3","datavalue":{"value":{"amount":"+0.86145633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115174$6E70EFAA-9E68-46F0-85F2-8CE2D8EDA700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d93e2a180b6592cdb96c10ed7fe97c470e34ed1","datavalue":{"value":{"entity-type":"item","numeric-id":4345298,"id":"Q4345298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c3bec157acc0f24a351475fc71501c21fc3ea3","datavalue":{"value":{"amount":"+0.8605312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115174$32443D0A-5BBD-472E-9A2F-C2DAB59AF33F","rank":"normal"},{"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":"84277d351c4c212ce2d79567b6b4bb5de24a7185","datavalue":{"value":{"amount":"+0.85711217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115174$36B1175B-9684-4B13-B94C-8232B5E525BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2420cc2fef88f4197a26ee41f250e175a698b94c","datavalue":{"value":{"entity-type":"item","numeric-id":4242300,"id":"Q4242300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96d7e42fb1d6a653370181205dc4a2f32d5eddba","datavalue":{"value":{"amount":"+0.8565597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115174$EFBEEA87-809F-4E25-953A-83EB840221B5","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":"bbef2b7aaaaa46ec07c00612cc57e0c2fe145b2c","datavalue":{"value":{"amount":"+0.85325384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115174$78DE18AA-DA5F-4497-A2AC-D4869730A393","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":"bbef2b7aaaaa46ec07c00612cc57e0c2fe145b2c","datavalue":{"value":{"amount":"+0.85325384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115174$9DA92BE6-340F-4065-9A0A-64192104C772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6abc1de7d21f12ad3b0fe5c78de3c37e51ced702","datavalue":{"value":{"entity-type":"item","numeric-id":2377493,"id":"Q2377493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a3cd59bd7ead482c9d253bb606522384a832fc","datavalue":{"value":{"amount":"+0.8522831","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115174$3790AA56-6959-4271-8222-228C5CDED87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11bde825c637b96ba83735b8f49702b5a49cdcb8","datavalue":{"value":{"entity-type":"item","numeric-id":3726119,"id":"Q3726119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4482747144aaec1c436a5b3769bfa4560fd6815a","datavalue":{"value":{"amount":"+0.852048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115174$24E7B363-2D71-412F-B683-A17A0F1AD82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c7c95240e207c0d8b24c33c19beb8f00c024a9","datavalue":{"value":{"entity-type":"item","numeric-id":4804883,"id":"Q4804883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7500b1d97c198fa7679c3f8242d20f656682ca9f","datavalue":{"value":{"amount":"+0.8503484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1115174$04F1B5B9-5437-4422-AAE5-423932A66606","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Time-optimal short-circuit evaluation of Boolean expressions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Time-optimal_short-circuit_evaluation_of_Boolean_expressions"}}}}}