{"entities":{"Q2894547":{"pageid":2905272,"ns":120,"title":"Item:Q2894547","lastrevid":51501599,"modified":"2026-01-18T13:05:34Z","type":"item","id":"Q2894547","labels":{"en":{"language":"en","value":"Proposition algebra and short-circuit logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051373"}},"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":"Q2894547$2020F712-E993-4082-83AF-16472039C055","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"676fea9082079a47584c15469d58b4f8bc6fbc2b","datavalue":{"value":{"text":"Proposition Algebra and Short-Circuit Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894547$4894E786-63A8-47BC-AE31-8509592620C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b90672319a59859f559d23d8849563f3a5ae828","datavalue":{"value":"1354.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894547$86643BFC-9549-43FF-A26D-E1FE1C013389","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"191a26948c9595d7452e04f2e97b4304de8bfd10","datavalue":{"value":"10.1007/978-3-642-29320-7_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894547$826FEEA8-118B-42F8-B31E-6EE3FA3D0613","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894547$7F84AA4A-4580-4D0E-8792-6F7BB5305B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9602bef9505b2e60be78a89c5c30dfa6fcd5c5d","datavalue":{"value":{"entity-type":"item","numeric-id":190307,"id":"Q190307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894547$15207983-8919-4598-AB23-0F4A4D6DA86A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dead0a4f465a856a9668a57715bd30d3d7951a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2894546,"id":"Q2894546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894547$E64AA4D3-887F-4134-8383-8E79E05A786B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894547$5091F0B4-717B-44FC-A240-47A2B36F3472","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894547$E01EC835-A1A1-4F9B-BF35-4ADB269FD1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894547$1727A021-E883-4ADE-89E7-6008F9FB3FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894547$D85F4686-7992-4C95-BEE1-65CF3EFDD585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894547$F74D51F0-DF39-4B58-95CC-1FAA5B2C07CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"470f6d7dd40b68dcb3de178978f63551d637e4f2","datavalue":{"value":"6051373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894547$631BA229-C663-4CB1-8DF1-80C1BE2E9480","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43976fd38afdb40c4983496d0798b11318f0f852","datavalue":{"value":"conditional composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894547$1FE4FE4B-99FE-4403-AE55-1459ECACEB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82a15091cd7e9e3afcb86b1c33940eb033237459","datavalue":{"value":"reactive valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894547$35442ECC-F3FB-4077-927B-261C6FB0DAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd4c56bfbb7cad09288f44d4fd69d2239cefae0","datavalue":{"value":"sequential connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894547$622FF4C8-8225-4AED-AFB5-F69B8E70F37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf666add3e3bec5fada9c8d8bb3a06a07354729","datavalue":{"value":"short-circuit evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894547$0002D80F-65C0-46F9-9D69-13B99776DA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acb930fb9a4b4a4d50c2c8565f744a5c71042408","datavalue":{"value":"side effect","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894547$9600746C-47A3-44E4-97F8-1D0CBE506D73","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":"Q2894547$B17C83FF-C38D-4040-9FB9-76A76D339874","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc6d713b28a32accd29bb227a2ddc7436c9cc827","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29320-7_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894547$5BCDAF73-71E2-4E1C-85DE-4EC37B8B9E33","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b63a624055336ee2703e734af2b53ae85b6e119","datavalue":{"value":"W2147141282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894547$5886FEA0-EECD-4276-B7D4-24D95B2BA201","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5baa5dbfef65a3c1c119c404b94497a6ae05b075","datavalue":{"value":{"entity-type":"item","numeric-id":5862001,"id":"Q5862001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac8bce6247994d19acbebc63db7cacdb215fea22","datavalue":{"value":{"amount":"+0.8580217361450195","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":"Q2894547$2AD42974-D757-4479-86DC-593E74D052FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3854c4f1c6d799232095605e70afd3b4b365d1","datavalue":{"value":{"entity-type":"item","numeric-id":5375874,"id":"Q5375874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da30cf9730c1e069a6dbdacc816a035ded8104c3","datavalue":{"value":{"amount":"+0.824715793132782","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":"Q2894547$01113CF8-49B3-4794-A4D3-5067526F481F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70f6f32328f82c88bddd4b02e1110ae0ebe24ee2","datavalue":{"value":{"entity-type":"item","numeric-id":3449625,"id":"Q3449625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e580b0d4438cfae203ef560df0da44b1197f5e07","datavalue":{"value":{"amount":"+0.8067952394485474","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":"Q2894547$FF88C8C3-16BB-45AD-AC58-72D5DAEB186A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee801dd68db4b13d117c4b0294c50334277a4292","datavalue":{"value":{"entity-type":"item","numeric-id":2946640,"id":"Q2946640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe6252c7060f6470593007e769fbfab0017501b","datavalue":{"value":{"amount":"+0.7990406155586243","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":"Q2894547$0FE748AD-72C8-40CD-B790-3A244F9DD320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1bd2832e47830aa73c18737a48e447d764ac82b","datavalue":{"value":{"entity-type":"item","numeric-id":2310439,"id":"Q2310439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28fa8c08123f5e5fd77787b2bcdaadb54e15d3d7","datavalue":{"value":{"amount":"+0.7117680311203003","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":"Q2894547$5DE01249-9677-4B2B-A77B-EE6CE0C4E414","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2894547","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2894547"}}}}}